Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search

Luis Silva Azevedo (1) , David Parker (1) , Martin Walker (1) , Yiannis Papadopoulos (1) , Rui Esteves Araùjo (2)

1 Department of Computer Science [Hull]
2 INESC TEC Faculdade de Engenharia

Automotive Safety Integrity Levels (ASILs) are used by ISO 26262, the new automotive functional safety standard, to categorize the stringency of safety requirements. In the course of a hierarchical system design, ASILs are it-eratively allocated to subsystems and components. This ASIL decomposition allows for redundant elements to share the responsibility of meeting a given ASIL and finding efficient decomposition solutions has a significant, positive, impact on development costs. This paper describes a novel technique that uses Tabu Search to explore the solution space efficiently. We have applied the technique to a case study of a hybrid braking system.

Mots clés: Safety; Embedded systems; ISO 26262; ASIL decomposition optimization; Fault Tree Analysis; HiP-HOPS; Tabu Search

Domaines: Systèmes embarqués

Luis Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araùjo. Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848213⟩