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

Authors Felix Kossak
Editors
Title Landing gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.
Type techreport
Month March
Year 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.