This paper presents the use of a formal methods-based system design methodology in order to develop a general aviation landing assistance system that is safe by design. Therefore the aircrafts aerodynamic characteristics integrated in a simplified physical model as well as the operational modes during the landing maneuver are integrated into a hybrid system. Such a hybrid system represents both discrete and continuous state dynamics and it can be used to perform reachability analysis. These analyses shall identify invariant sets which represent the safe flight envelope for a certain phase during the landing approach. In this simplified model the operational modes that have to be investigated are Flare, Rollout, Altitude, and Takeoff/Go-Around in case of a missed approach. The resulting invariant sets shall represent all states that allow the aircraft to land safely within a certain target set. Furthermore it shall be calculated whether a recovery maneuver can be safely initiated or not in case of a missed approach. Based on these calculations a discrete system representation shall be used to design a user interface prototype that covers all operational modes as well as the physical capabilities of the aircraft. The benefit of such a user interface shall be an increased situational awareness as well as the reduction of dangerous phenomena like mode confusion.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    General aviation landing assistance using formal methods-based system design


    Contributors:


    Publication date :

    2012-10-01


    Size :

    884603 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    General aviation landing assistance using formal methods-based system design

    Pointner, Wolfgang / Kotsis, Gabriele / Naderhirn, Michael | IEEE | 2012

    Free access

    General aviation approach and landing practices

    Parker, L. C. / Goode, M. W. | NTRS | 1976


    LANDING DECISION ASSISTANCE SYSTEM, LANDING DECISION ASSISTANCE METHOD, AND LANDING DECISION ASSISTANCE PROGRAM

    IIJIMA TOMOKO / MATAYOSHI NAOKI / YOSHIKAWA EIICHI | European Patent Office | 2017

    Free access

    Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

    Jafer, Shafagh / Chhaya, Bharvi / Durak, Umut et al. | AIAA | 2016


    General Aviation Landing Research at Princeton University

    Ellis, David R. | SAE Technical Papers | 1973