Safety analysis is increasingly important for a wide class of systems. In the automotive field, the recent ISO26262 standard foresees safety analysis to be performed at system, hardware, and software levels. Failure Modes and Effects Analysis (FMEA) is an important step in any safety analysis process, and its application at hardware and system levels has been extensively addressed in the literature. Conversely, its application to software architectures is still to a large extent an open problem, especially concerning its integration into a general certification process. The approach we propose in this paper aims at performing semi-automated FMEA on component-based software architectures described in UML. The foundations of our approach are model-execution and fault-injection at model-level, which allows us to compare the nominal and faulty system behaviors and thus assess the effectiveness of safety countermeasures. Besides introducing the detailed workflow for SW FMEA, the work in this paper focuses on the process for obtaining an executable model from a component-based software architecture specified in UML.

Executable Models to Support Automated Software FMEA / Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli;. - ELETTRONICO. - (2015), pp. 189-196. (Intervento presentato al convegno IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING tenutosi a Daytona Beach Shores, FL, USA nel 8-10 January 2015) [10.1109/HASE.2015.36].

Executable Models to Support Automated Software FMEA

BONFIGLIO, VALENTINA;MONTECCHI, LEONARDO;LOLLINI, PAOLO;BONDAVALLI, ANDREA
2015

Abstract

Safety analysis is increasingly important for a wide class of systems. In the automotive field, the recent ISO26262 standard foresees safety analysis to be performed at system, hardware, and software levels. Failure Modes and Effects Analysis (FMEA) is an important step in any safety analysis process, and its application at hardware and system levels has been extensively addressed in the literature. Conversely, its application to software architectures is still to a large extent an open problem, especially concerning its integration into a general certification process. The approach we propose in this paper aims at performing semi-automated FMEA on component-based software architectures described in UML. The foundations of our approach are model-execution and fault-injection at model-level, which allows us to compare the nominal and faulty system behaviors and thus assess the effectiveness of safety countermeasures. Besides introducing the detailed workflow for SW FMEA, the work in this paper focuses on the process for obtaining an executable model from a component-based software architecture specified in UML.
2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering (HASE'15)
IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING
Daytona Beach Shores, FL, USA
8-10 January 2015
Valentina Bonfiglio; Leonardo Montecchi; Francesco Rossi; Paolo Lollini; András Pataricza; Andrea Bondavalli;
File in questo prodotto:
File Dimensione Formato  
PID3474999.pdf

Accesso chiuso

Tipologia: Altro
Licenza: Tutti i diritti riservati
Dimensione 353.37 kB
Formato Adobe PDF
353.37 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/960223
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 10
social impact