University of Hull logo

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

de Oliveira, André L.; 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

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.

Publication Date Sep 1, 2015
Journal IFAC-PapersOnLine
Print ISSN 1474-6670
Electronic ISSN 2405-8963
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 48
Issue 21
Pages 1309-1314
Institution 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 postprint volumes IPPV / International Federation of Automatic Control, 48(21), 1309-1314. https://doi.org/10.1016/j.ifacol.2015.09.706
DOI https://doi.org/10.1016/j.ifacol.2015.09.706
Keywords Safety-critical product lines; Safety requirements; SILs; Requirements allocation
Publisher URL http://www.sciencedirect.com/science/article/pii/S2405896315018352
Copyright Statement © 2016 IFAC. Originally published in IFAC-PapersOnline, vol. 48, no. 21 by Elsevier Ltd. (DOI 10.1016/j.ifacol.2015.09.706)
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