Skip to main content

Research Repository

Advanced Search

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


André Luiz De Oliveira

Rosana Braga

Paulo Masiero

Ibrahim Habli

Tim Kelly


Andre De Oliveira

Rosana Braga

Paulo Masiero

Ibrahim Habli

Tim Kelly


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.


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),

Journal Article Type Article
Acceptance Date May 15, 2019
Online Publication Date Aug 12, 2019
Publication Date Aug 20, 2019
Deposit Date May 20, 2019
Publicly Available Date Aug 13, 2020
Journal Journal of software : evolution and process
Electronic ISSN 2047-7481
Publisher Wiley
Peer Reviewed Peer Reviewed
Volume 31
Issue 8
Article Number e2202
Keywords Safety-critical systems; Dependability analysis; Safety; Reuse; Software product lines
Public URL
Publisher URL


You might also like

Downloadable Citations