Workshop Paper

Software Faults Emulation at Model-Level: Towards Automated Software FMEA

PDF Online

Authors Valentina Bonfiglio Leonardo Montecchi Ivano Irrera Francesco Rossi Paolo Lollini Andrea Bondavalli
Abstract
Safety is a fundamental property for a wide class of systems, which can be assessed through safety analysis. Recent standards, as the ISO26262 for the automotive domain, recommend safety analysis processes to be performed at system, hardware, and software levels. While Failure Modes and Effects Analysis (FMEA) is a well-known technique for safety assessment at system level, its application at software level is still an open problem, especially concerning its integration into certification processes. Fault injection has been envisioned as a viable approach for performing Software-FMEA (SW-FMEA), but it typically requires an advanced development stage where code is available. The approach we propose in this paper, aims to perform software fault injection at model-level, namely on fUML-ALF models obtained from a component-based UML description through transformations proposed in a previous work. Model-level fault injection allows SW-FMEA to assess the effectiveness of safety mechanisms from the early stages of system design. The work in this paper focuses on how the software fault injection is implemented, and on the study of fault propagation through appropriate points of observation to highlight possible violations of requirements, with the identification critical paths.
DOI 10.1109/DSN-W.2015.26
Event 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015)
Main Event 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015)
Venue Rio de Janeiro, RJ, Brazil
Date June 22, 2015
Pages 133-140
Publisher IEEE
ISBN ELECTRONIC: 978-1-4673-8044-7
Citation
Bibtex
@inproceedings{2015SSIV,
  author = {Bonfiglio, Valentina and Montecchi, Leonardo and Irrera, Ivano and Rossi, Francesco and Lollini, Paolo and Bondavalli, Andrea},
  title = {{Software Faults Emulation at Model-Level: Towards Automated Software FMEA}},
  booktitle = {1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015)},
  address = {Rio de Janeiro, RJ, Brazil},
  date = {2015-06-22},
  pages = {133-140},
  year = {2015}
}

Plain Text
V. Bonfiglio, L. Montecchi, I. Irrera, F. Rossi, P. Lollini, A. Bondavalli. Software Faults Emulation at Model-Level: Towards Automated Software FMEA. In: 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015), pp. 133-140. Rio de Janeiro, RJ, Brazil, June 22, 2015.
 
 

© 2017-2022 Leonardo Montecchi