Abstract This paper describes the Event-B modeling of the landing gear system of an aircraft whose the complete description can be found in [3]. This real-life case study has been proposed by the ABZ’2014 track that takes place in Toulouse, the European capital of the aeronautic industry. Our modeling is based on the Parnas and Madey’s 4-Variable Model that permits to consider the different parts of a system. These parts are incremently introduced using the Event-B refinement technique. The entire development has been carried out under the Rodin toolset. To validate and prove the different components, we use the Atelier B, SMT and ML provers which are plugged to Rodin.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modeling a Landing Gear System in Event-B


    Contributors:


    Publication date :

    2014-01-01


    Size :

    15 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Modeling a Landing Gear System in Event-B

    Mammar, A. / Laleau, R. | British Library Conference Proceedings | 2014


    LANDING GEAR DOOR SYSTEM FOR LANDING GEAR COMPARTMENT

    SEAN C WEBB | European Patent Office | 2022

    Free access

    LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT

    WEBB SEAN C | European Patent Office | 2024

    Free access

    Landing gear bay door system for landing gear bay

    WEBB STEPHEN C | European Patent Office | 2022

    Free access

    LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT

    WEBB SEAN C | European Patent Office | 2022

    Free access