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.

(2014). Modeling and analyzing using ASMs: the landing gear system case study [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/30873

Modeling and analyzing using ASMs: the landing gear system case study

ARCAINI, Paolo;GARGANTINI, Angelo Michele;
2014-01-01

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.
2014
Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
File allegato/i alla scheda:
File Dimensione del file Formato  
landingGearSystem_abz2014_cameraReady.pdf

Solo gestori di archivio

Descrizione: author's postprint - versione referata
Dimensione del file 372.47 kB
Formato Adobe PDF
372.47 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/30873
Citazioni
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact