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

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: 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
• 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.