Abstract We present an ASM model for the case study given as a challenge for the ABZ’14 conference, which specifies the digital part of a landing gear system for aircraft. We strove to make the formal model well understandable for humans. We note inconsistencies, ambiguities and gaps in the case study and summarise our experiences during modelling and the proof of safety properties.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Landing Gear System: An ASM-Based Solution for the ABZ Case Study


    Beteiligte:
    Kossak, Felix (Autor:in)


    Erscheinungsdatum :

    2014-01-01


    Format / Umfang :

    6 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    The Landing Gear System Case Study

    Boniol, Frédéric / Wiels, Virginie | Springer Verlag | 2014


    The Landing Gear System Case Study

    Boniol, F. / Wiels, V. | British Library Conference Proceedings | 2014


    Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    Kossak, F. | British Library Conference Proceedings | 2014


    LANDING GEAR DOOR SYSTEM FOR LANDING GEAR COMPARTMENT

    SEAN C WEBB | Europäisches Patentamt | 2022

    Freier Zugriff

    LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT

    WEBB SEAN C | Europäisches Patentamt | 2024

    Freier Zugriff