University of Hull logo

Variability management in safety-critical systems design & dependability analysis

De Oliveira, André Luiz; Braga, Rosana; Masiero, Paulo; Parker, David; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim

Authors

André Luiz De Oliveira andre.oliveira@ice.ufjf.br

Rosana Braga

Paulo Masiero

Ibrahim Habli

Tim Kelly



Contributors

Andre De Oliveira
Researcher

Rosana Braga
Researcher

Paulo Masiero
Researcher

Ibrahim Habli
Researcher

Tim Kelly
Researcher

Abstract

Safety-critical systems are of paramount importance for many application domains where safety properties are a key driver to engineer critical aspects and avoid system failures. However, the integration of safety analyses in the development process is non-trivial. Also, the different usage contexts of safety-critical systems complicates component fault modeling tasks and the identification of potential hazards. In this light, better methods become necessary to estimate the impact of dependability properties during Hazard Analysis and Risk Assessment (HARA). Existing methods incorporating the analysis of safety properties in software product lines (SPL) are limited as they do not include hazard analysis and component fault modeling. The approach detailed in this paper presents an extension of previous work with conventional SPL approaches to incorporate safety analysis and requirements in the development of safety-critical systems. We also outline a case study belonging to the aerospace domain to illustrate how to model and reuse safety properties.

Journal Article Type Article
Publication Date Aug 20, 2019
Journal Journal of software : evolution and process
Electronic ISSN 2047-7481
Publisher Wiley
Peer Reviewed Peer Reviewed
Volume 31
Issue 8
Article Number e2202
Institution Citation De Oliveira, A., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design & dependability analysis. Journal of software : evolution and process, 31(8), https://doi.org/10.1002/smr.2202
DOI https://doi.org/10.1002/smr.2202
Keywords Safety-critical systems; Dependability analysis; Safety; Reuse; Software product lines
Publisher URL https://onlinelibrary.wiley.com/doi/10.1002/smr.2202