Aviation, both on-board systems and the National Airspace System, can be transformed by many current and future technical capabilities. To name but a few, improved efficiency may be achieved by integrating functions; robustness may be improved by distributing functions; and safety may be improved by building in risk mitigation through not only redundant, independent systems but also through operational concepts and effective interaction with human operators. This talk will review the key aspects of verification, validation and certification for which formal methods will provide a critical function in enabling truly revolutionary designs to enter the operational community, illustrating successes in formal modeling to date and posing further questions for the formal modeling community.
The Nation's Needs in Aviation Formal Methods
2008-04-30
Conference paper
No indication
English
General aviation news & flyer : the nation's aviation newspaper
TIBKAT | 1990,11 -
Western flyer : the nation's aviation newspaper
TIBKAT | 1972 - 1990,10
Nation's passenger service is adjusted to war-time needs
Engineering Index Backfile | 1942
Engineering Index Backfile | 1932
|