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
TitelLanding gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.
TypTechnischer Bericht
MonatMarch
Jahr2014
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.