Skip to main content

Research Repository

Advanced Search

Automatic allocation of safety requirements to components of a software product line

De Oliveira, André L.; Papadopoulos, Yiannis; Azevedo, Luís S.; Parker, David; Braga, Rosana T.V.; Masiero, Paulo C.; Habli, Ibrahim; Kelly, Tim


André L. De Oliveira

Luís S. Azevedo

Rosana T.V. Braga

Paulo C. Masiero

Ibrahim Habli

Tim Kelly


Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under design. However, for a Software Product Line (SPL), the safety requirements that need to be allocated to a component may vary in different products. Variation in design can indeed change the possible hazards incurred in each product, their causes, and can alter the safety requirements placed on individual components in different SPL products. Establishing common SILs for components of a large scale SPL by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to the safety engineering process. In this paper, we propose a method for automatic allocation of SILs to components of a product line. The approach is applied to a Hybrid Braking System SPL design.


De Oliveira, A. L., Papadopoulos, Y., Azevedo, L. S., Parker, D., Braga, R. T., Masiero, P. C., …Kelly, T. (2015). Automatic allocation of safety requirements to components of a software product line. IFAC Proceedings Volumes/ International Federation of Automatic Control, 48(21), 1309-1314.

Conference Name IFAC-PapersOnLine
Acceptance Date Feb 1, 2015
Online Publication Date Oct 15, 2015
Publication Date Sep 1, 2015
Deposit Date Feb 19, 2016
Publicly Available Date Feb 19, 2016
Journal IFAC-PapersOnLine
Print ISSN 1474-6670
Electronic ISSN 2405-8963
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 48
Issue 21
Pages 1309-1314
Keywords Safety-critical product lines; Safety requirements; SILs; Requirements allocation
Public URL
Publisher URL
Additional Information This is a copy of a paper published in IFAC-PapersOnLine, 2015, v.48 issue 21.


Article.pdf (378 Kb)

Copyright Statement
© 2016 IFAC. Originally published in IFAC-PapersOnline, vol. 48, no. 21 by Elsevier Ltd. (DOI 10.1016/j.ifacol.2015.09.706)

You might also like

Downloadable Citations