Abstract This paper presents a stepwise formal development of the landing system of an aircraft. The formal models include the complex behaviour, temporal behaviour and sequence of operations of the landing gear system. The models are formalized in Event-B modeling language, and then the ProB model checker is used to verify the deadlock freedom and to validate the behaviour requirements by animating the formalized models. This case study is considered as a benchmark for techniques and tools dedicated to the verification of behavioural properties of the complex critical systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling an Aircraft Landing System in Event-B


    Beteiligte:


    Erscheinungsdatum :

    01.01.2014


    Format / Umfang :

    6 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Modeling an Aircraft Landing System in Event-B

    Mery, D. / Singh, N.K. | British Library Conference Proceedings | 2014


    Modeling Aircraft Landing Scheduling in Event B

    Jarrar, Abdessamad / Balouki, Youssef / Gadi, Taoufiq et al. | Springer Verlag | 2017


    AIRCRAFT LANDING EVENT SYSTEM AND METHOD

    HOWELL GEORGE / HEBBORN ANDREW / BULLEN JAMES et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Aircraft landing event system and method

    GEORGE HOWELL / ANDREW HEBBORN / JAMES BULLEN et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Aircraft landing event system and method

    Europäisches Patentamt | 2021

    Freier Zugriff