DocumentCode :
2547111
Title :
General aviation landing assistance using formal methods-based system design
Author :
Pointner, W. ; Kotsis, G. ; Naderhirn, M.
fYear :
2012
fDate :
14-18 Oct. 2012
Firstpage :
1
Lastpage :
18
Abstract :
This presentation identified reachable sets represent aircrafts capabilities. Safe mode transitions can be determined. Refined model provides greater situational awareness. Verification of usability and accuracy through simulations and test flights.
Keywords :
aerospace computing; aerospace safety; aerospace simulation; aircraft landing guidance; aircraft testing; formal verification; aircraft simulation; aircrafts capability; formal method based system design; general aviation landing assistance; safe mode transitions; situational awareness; test flight;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
Conference_Location :
Williamsburg, VA
ISSN :
2155-7195
Print_ISBN :
978-1-4673-1699-6
Type :
conf
DOI :
10.1109/DASC.2012.6382961
Filename :
6382961
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2547111
بازگشت