Title :
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus
Author :
Mizutani, Tetsuya ; Igarashi, Shigeru ; Ikeda, Yasuwo ; Shio, Masayuki
Author_Institution :
Dept. of Comput. Sci., Univ. of Tsukuba, Tsukuba, Japan
Abstract :
A formal verification and analysis of the JAL near miss accident is presented as an example of formal representation of knowledge and belief by N Sigma-labeled calculus.
Keywords :
aircraft control; calculus; formal verification; knowledge representation; JAL near miss accident; N Sigma-labeled calculus; aircraft control; formal representation; formal verification; knowledge representation; Accidents; Airplanes; Automatic control; Calculus; Computer science; Control systems; Educational institutions; Formal verification; Humans; Software engineering; Belief and decision; Formal representation and Analysis; Near miss accident; Time-concerned program systems;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.25
