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.
| Original language | English |
|---|---|
| Pages (from-to) | 1309-1314 |
| Number of pages | 6 |
| Journal | IFAC-PapersOnLine |
| Volume | 28 |
| Issue number | 21 |
| DOIs | |
| Publication status | Published - 1 Sept 2015 |
| Event | 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2015 - Paris, France Duration: 2 Sept 2015 → 4 Sept 2015 |
Bibliographical note
Funding Information:1Research supported by CNPq grant: 152693/2011-4, and CAPES Brazilian research agencies. Research supported by CNPq grant: 152693/2011-4, and CAPES Brazilian research agencies.
Funding Information:
11Research supported by CNPq grant: 152693/2011-4, and CAPES Brazilian research agencies.
Publisher Copyright:
© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
Keywords
- Requirements allocation
- Safety requirements
- Safety-critical product lines
- SILs