Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Formal Verification of a Gravity-induced Loss-of-Consciousness Monitoring System for Aircraft
- Authors
- Kim, Seonmo; Nam, Wonhong; Kil, Hyunyoung; Park, Myunghwan
- Issue Date
- 9월-2014
- Publisher
- IEEE COMPUTER SOC
- Keywords
- aircraft; formal verification; MATRIXx; scientific computing; symbolic model checking
- Citation
- COMPUTING IN SCIENCE & ENGINEERING, v.16, no.5, pp.96 - 103
- Indexed
- SCIE
SCOPUS
- Journal Title
- COMPUTING IN SCIENCE & ENGINEERING
- Volume
- 16
- Number
- 5
- Start Page
- 96
- End Page
- 103
- ISSN
- 1521-9615
- Abstract
- Gravity-induced loss of consciousness (GLOC) due to blood draining away from the brain is one of the main reasons for many high-gravity maneuvering aircraft accidents, with many pilots losing their lives. This article presents a case study to verify a GLOC monitoring system by using a model-checking technique.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - ETC > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.