Abstract The paper presents an Abstract State Machine (ASM) specification of the Landing Gear System case study, and shows how the ASMETA framework can be used to support the modeling and analysis (validation and verification) activities for developing a rigorous and correct model in terms of ASMs. We exploit the two fundamental concepts of the ASM method, i.e., the notion of ground model and the refinement principle, and we achieve model development and model analysis by the combined use of formal methods for specification and for verification.
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
01.01.2014
16 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
| British Library Conference Proceedings | 2014
The Landing Gear System Case Study
| British Library Conference Proceedings | 2014
The Landing Gear System Case Study
| Springer Verlag | 2014
LANDING GEAR DOOR SYSTEM FOR LANDING GEAR COMPARTMENT
| Europäisches Patentamt | 2022
LANDING GEAR DOOR SYSTEM FOR A LANDING GEAR COMPARTMENT
| Europäisches Patentamt | 2022