Landing gear system: An ASM-based solution for the ABZ case study

Autoren Feix Kossak
Editoren Frédéric Boniol
Virginie Wiels
Yamine Ait-Ameur
Klaus-Dieter Schewe
Titel Landing gear system: An ASM-based solution for the ABZ case study
Buchtitel ABZ 2014: The Landing Gear Case Study - Case Study Track at ABZ 2014
Typ in Konferenzband
Verlag Springer
Serie Communications in Computer and Information Science
Band 433
ISBN 978-3-319-07511-2
Monat June
Jahr 2014
Seiten 142-147
SCCH ID# 1415
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.