Skip to main content

Exploring the impact of different cost heuristics in the allocation of safety integrity levels

Araújo, Rui Esteves; Azevedo, Luís Silva; Parker, David; Papadopoulos, Yiannis; Walker, Martin; Sorokos, Ioannis; Araújo, Rui Esteves

Authors

Rui Esteves Araújo

Luís Silva Azevedo

Martin Walker

Ioannis Sorokos

Rui Esteves Araújo



Abstract

Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural elements. Different SILs reflect different requirements stringencies and consequently different development costs. Therefore, the allocation of safety requirements is not a simple problem of applying an allocation "algebra" as treated by most standards; it is a complex optimisation problem, one of finding a strategy that minimises cost whilst meeting safety requirements. One difficulty is the lack of a commonly agreed heuristic for how costs increase between SILs. In this paper, we define this important problem; then we take the example of an automotive system and using an automated approach show that different cost heuristics lead to different optimal SIL allocations. Without automation it would have been impossible to explore the vast space of allocations and to discuss the subtleties involved in this problem.

Publication Date Jan 1, 2014
Journal Lecture notes in computer science
Print ISSN 0302-9743
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 8822
Pages 70-81
Series Title Lecture Notes in Computer Science
Book Title Model-Based Safety and Assessment; Lecture Notes in Computer Science
ISBN 9783319122137; 9783319122144
APA6 Citation Azevedo, L. S., Parker, D., Papadopoulos, Y., Walker, M., Sorokos, I., & Araújo, R. E. (2014). Exploring the impact of different cost heuristics in the allocation of safety integrity levels. Lecture notes in computer science, 8822, 70-81 . https://doi.org/10.1007/978-3-319-12214-4_6
DOI https://doi.org/10.1007/978-3-319-12214-4_6
Keywords Dependability analysis, Requirements analysis, Functional safety, SIL allocation and decomposition, Cost optimisation
Publisher URL http://link.springer.com/chapter/10.1007%2F978-3-319-12214-4_6
Additional Information This is an author's accepted manuscript of a paper published in Lecture notes on computer science, 2014, v.8822. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-12214-4_6.

Files





You might also like



Downloadable Citations

;