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.
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
2014-01-01
6 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
The Landing Gear System Case Study
Springer Verlag | 2014
|The Landing Gear System Case Study
British Library Conference Proceedings | 2014
|Landing Gear System: An ASM-Based Solution for the ABZ Case Study
British Library Conference Proceedings | 2014
|LANDING GEAR DOOR SYSTEM FOR LANDING GEAR COMPARTMENT
Europäisches Patentamt | 2022
|LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT
Europäisches Patentamt | 2024
|