Conference Paper

Modeling the Variability of System Safety Analysis using State-Machine Diagrams

PDF Online

Authors Lucas Bressan André Luiz de Oliveira Fernanda Campos Leonardo Montecchi Rafael Capilla David Parker Koorosh Aslansefat Yiannis Papadopoulos
Abstract
Software Product Lines (SPLs) enable and maximize reuse of software artefacts, using software variability as central technique. In Model-Based Safety Analysis, system and software models are annotated with failure models that are used to produce safety analysis artefacts like fault trees and FMEAs. However, little work has been done to show MBSA in product lines, exploiting failure models to create safety analyses for variants in the product line. State machines have been widely used to support both fault propagation and probabilistic system safety analysis. In this paper, we introduce an approach to support variability modeling and reuse of state-machine diagrams used for system safety analysis. The approach enhances traditional software product line cycle with new activities aimed to support the reuse of safety information using state-machine diagrams and facilitates the management of the diversity of functional safety across system configurations using variability models. We evaluate our approach using an automotive braking system where we show reduction of the burden of safety analysis and improvements in traceability between safety artifacts and variability abstractions.
DOI 10.1007/978-3-031-15842-1_4
Event 8th International Symposium on Model-Based Safety and Assessment (IMBSA 2022)
Venue Munich, Germany
Date September 5-7, 2022
Pages 43-59
Publisher Springer
Series LNCS
Volume 13525
ISBN PRINT: 978-3-031-15841-4
ELECTRONIC: 978-3-031-15842-1
Citation
Bibtex
@inproceedings{2022IMBSA,
  author = {Bressan, Lucas and de Oliveira, André Luiz and Campos, Fernanda and Montecchi, Leonardo and Capilla, Rafael and Parker, David and Aslansefat, Koorosh and Papadopoulos, Yiannis},
  title = {{Modeling the Variability of System Safety Analysis using State-Machine Diagrams}},
  booktitle = {8th International Symposium on Model-Based Safety and Assessment (IMBSA 2022)},
  address = {Munich, Germany},
  date = {2022-09-05/2022-09-07},
  pages = {43-59},
  year = {2022}
}

Plain Text
L. Bressan, A. de Oliveira, F. Campos, L. Montecchi, R. Capilla, D. Parker, K. Aslansefat, Y. Papadopoulos. Modeling the Variability of System Safety Analysis using State-Machine Diagrams. In: 8th International Symposium on Model-Based Safety and Assessment (IMBSA 2022), pp. 43-59. Munich, Germany, September 5-7, 2022.
 
 

© 2017-2022 Leonardo Montecchi