Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Case Study Digital Printed Abstract View Cite Source
Type
Conference paper
Publication
4th International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ'14)

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.

Document

Reference

% BibTex
@InProceedings{10.1007/978-3-319-07512-9_3,
author="Arcaini, Paolo
and Gargantini, Angelo
and Riccobene, Elvinia",
editor="Boniol, Fr{\'e}d{\'e}ric
and Wiels, Virginie
and Ait Ameur, Yamine
and Schewe, Klaus-Dieter",
title="Modeling and Analyzing Using ASMs: The Landing Gear System Case Study",
booktitle="ABZ 2014: The Landing Gear Case Study",
year="2014",
publisher="Springer International Publishing",
address="Cham",
pages="36--51",
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.",
isbn="978-3-319-07512-9"
}

Sources

For more information, please contact the authors

ABZ'14

Related