DocumentCode
2880228
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
fYear
2009
fDate
29-31 July 2009
Firstpage
311
Lastpage
312
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TASE.2009.25
Filename
5198526
Link To Document