Landing gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.
| F. Kossak. Landing gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.. 3, 2014. | |
| Autoren | |
| Typ | Technischer Bericht |
| Monat | 3 |
| Jahr | 2014 |
| 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.
|