• CiSE
  • PrePrints
  • Abstract - Formal Verification of Gravity-induced Loss of Consciousness Monitoring System for Aircraft
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Verification of Gravity-induced Loss of Consciousness Monitoring System for Aircraft
PrePrint
ISSN: 1521-9615
Seonmo Kim, Konkuk University, Seoul
Wonhong Nam, Konkuk University, Seoul
Hyunyoung Kil, Korea University, Seoul
Military industry has developed many high-gravity maneuvering aircraft, such as high performance fighters and aerobatic aircrafts, which can maneuver beyond the acceleration tolerance limit of human being. Since this high-gravity maneuvering may cause pilots a loss of consciousness due to draining blood away from the brain, the Gravity-induced Loss of Consciousness (GLOC) is one of the main reasons for many high-gravity maneuvering aircraft accidents where many pilots have lost their lives. Therefore, many automatic GLOC monitoring systems have been proposed to prevent these accidents. However, it is not trivial to ensure the safety of the system by ordinary simulation or testing methods. In this paper, we present a novel approach to verify the GLOC monitoring system by using model checking technique. As a result of verification, we report a error case that the GLOC monitoring system misses, in which a pilot loses his consciousness after some intentional movements.
Citation:
Seonmo Kim, Wonhong Nam, Hyunyoung Kil, "Formal Verification of Gravity-induced Loss of Consciousness Monitoring System for Aircraft," Computing in Science and Engineering, 06 March 2014. IEEE computer Society Digital Library. IEEE Computer Society, <http://doi.ieeecomputersociety.org/10.1109/MCSE.2014.31>
Usage of this product signifies your acceptance of the Terms of Use.