Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft
Computing in Science & Engineering
By Seonmo Kim,Wonhong Nam,Hyunyoung Kil,Myunghwan Park
Issue Date:September 2014
Military-related industries have developed many high-gravity aircraft, such as high-performance fighters and aerobatic aircrafts, which can maneuver beyond the acceleration tolerance limit of human beings. Gravity-induced loss of consciousness (GLOC) due t...