Landing gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.

Autoren Felix Kossak
Editoren
Titel Landing gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.
Typ Technischer Bericht
Monat March
Jahr 2014
SCCH ID# 1401
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 present manual proofs and one refutation of a selection of given requirements. We note inconsistencies, ambiguities and gaps in the case study.