Safety-critical systems require development methods and processes that lead to provably correct systems in order to prevent catastrophic consequences due to system failure or unsafe operation. The use AQ1 of models and formal analysis techniques is highly demanded both at design-time, to guarantee safety and other desired qualities already at the early stages of the system development, and at runtime, to address requirements assurance during the system operational stage. In this paper, we present the modeling features and analysis techniques supported by ASMETA (ASM mETAmodeling), a set of tools for the Abstract State Machines formal method. We show how the modeling and analysis approaches in ASMETA can be used during the design, development, and operation phases of the assurance process for safetycritical systems, and we illustrate the advantages of integrated use of tools as that provided by ASMETA.

(2021). The ASMETA Approach to Safety Assurance of Software Systems . Retrieved from http://hdl.handle.net/10446/184707

The ASMETA Approach to Safety Assurance of Software Systems

Arcaini, Paolo;Bombarda, Andrea;Bonfanti, Silvia;Gargantini, Angelo;Scandurra, Patrizia
2021

Abstract

Safety-critical systems require development methods and processes that lead to provably correct systems in order to prevent catastrophic consequences due to system failure or unsafe operation. The use AQ1 of models and formal analysis techniques is highly demanded both at design-time, to guarantee safety and other desired qualities already at the early stages of the system development, and at runtime, to address requirements assurance during the system operational stage. In this paper, we present the modeling features and analysis techniques supported by ASMETA (ASM mETAmodeling), a set of tools for the Abstract State Machines formal method. We show how the modeling and analysis approaches in ASMETA can be used during the design, development, and operation phases of the assurance process for safetycritical systems, and we illustrate the advantages of integrated use of tools as that provided by ASMETA.
Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia
File allegato/i alla scheda:
File Dimensione del file Formato  
FestschriftEgon75_Proof.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 1.91 MB
Formato Adobe PDF
1.91 MB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Caricamento 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/184707
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact