Formal Analysis of an Airplane Accident in \(N{\it \Sigma}\)-Labeled Calculus

  • Tetsuya Mizutani
  • Shigeru Igarashi
  • Yasuwo Ikeda
  • Masayuki Shio
Conference paper

DOI: 10.1007/978-3-642-05253-8_52

Volume 5855 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Mizutani T., Igarashi S., Ikeda Y., Shio M. (2009) Formal Analysis of an Airplane Accident in \(N{\it \Sigma}\)-Labeled Calculus. In: Deng H., Wang L., Wang F.L., Lei J. (eds) Artificial Intelligence and Computational Intelligence. AICI 2009. Lecture Notes in Computer Science, vol 5855. Springer, Berlin, Heidelberg

Abstract

\(N{\it \Sigma}\)-labeled calculus is a formal system for representation, verification and analysis of time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena.In this paper, a formal verification and analysis of the JAL near miss accident is presented as an example of cooperating systems controlling continuously changing objects including human factor with misunderstanding or incorrect recognition.

Keywords

Formal representation and analysis Time-concerned program systems Belief and decision Near miss accident 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Tetsuya Mizutani
    • 1
  • Shigeru Igarashi
    • 1
  • Yasuwo Ikeda
    • 2
  • Masayuki Shio
    • 3
  1. 1.Department of Computer ScienceUniversity of TsukubaTsukubaJapan
  2. 2.Mejiro UniversityTokyoJapan
  3. 3.College of Community DevelopmentTokiwa UniversityMitoJapan