Abstract This paper describes the modeling, done using the Event-B notation, of the aircraft landing gear case study that is proposed in a special track of the ABZ’2014 Conference. In the course of our development, we discovered some problems in our initial modeling approach. This has led us to propose a second approach and then a third one. Each approach is more efficient than the previous one in terms of proof obligations (roughly speaking: 2000, 1000, 500). All this will be described in this paper. We also try to go beyond this specific case study and give some thoughts about large industrial modeling.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System


    Contributors:


    Publication date :

    2014-01-01


    Size :

    17 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    Su, W. / Abrial, J.-R. | British Library Conference Proceedings | 2014


    Aircraft landing gear system

    PETER SHARPE | European Patent Office | 2021

    Free access

    Modeling a Landing Gear System in Event-B

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


    Modeling a Landing Gear System in Event-B

    Mammar, Amel / Laleau, Régine | Springer Verlag | 2014


    AIRCRAFT LANDING GEAR CONTROL SYSTEM

    SANADIKI M NIZAR | European Patent Office | 2024

    Free access