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

Authors

André L. De Oliveira

Luís S. Azevedo

Rosana T.V. Braga

Paulo C. Masiero

Ibrahim Habli

Tim Kelly



Abstract

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.

Citation

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. https://doi.org/10.1016/j.ifacol.2015.09.706

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 Mar 29, 2024
Journal IFAC-PapersOnLine
Print ISSN 1474-6670
Electronic ISSN 2405-8963
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 48
Issue 21
Pages 1309-1314
DOI https://doi.org/10.1016/j.ifacol.2015.09.706
Keywords Safety-critical product lines; Safety requirements; SILs; Requirements allocation
Public URL https://hull-repository.worktribe.com/output/411124
Publisher URL http://www.sciencedirect.com/science/article/pii/S2405896315018352
Additional Information This is a copy of a paper published in IFAC-PapersOnLine, 2015, v.48 issue 21.

Files

Article.pdf (378 Kb)
PDF

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