André L. De Oliveira
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
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
Luís S. Azevedo
Dr David Parker D.J.Parker@hull.ac.uk
Lecturer
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 | 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. |
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
Variability management in safety-critical systems design and dependability analysis
(2019)
Journal Article
Model transformation for analyzing dependability of AADL model by using HiP-HOPS
(2019)
Journal Article
TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures
(2018)
Conference Proceeding