How to Reach Complete Safety Requirement Refinement for Autonomous Vehicles

Carl Bergenhem (1) , Rolf Johansson (2) , Andreas Söderberg (2) , Jonas Nilsson (3) , Jörgen Tryggvesson (4) , Martin Törngren (5) , Stig Ursing (6)

1 Qamcom Research and Technology
2 SP Technical Research Institute of Sweden
3 Volvo Car Corporation
4 Comentor
5 KTH - KTH Royal Institute of Technology [Stockholm]
6 Semcon

The introduction of highly automated driving and autonomous road vehicles will imply new functional safety challenges. The higher complexity and the partly implicit definition of the tasks for the E/E systems will make it harder to argue completeness and correctness of the safety requirements in each phase of the ISO 26262 lifecycle. This paper discusses the new situation in terms of an increasing semantic gap, and recommends to perform more safety refinement steps. As a consequence, ISO 26262 should be amended with activities prescribing new refinements levels.

Mots clés: ISO 26262; autonomous vehicles; safety requirements; refinement verification; satisfaction argument

Domaines: Systèmes embarqués

Carl Bergenhem, Rolf Johansson, Andreas Söderberg, Jonas Nilsson, Jörgen Tryggvesson, et al.. How to Reach Complete Safety Requirement Refinement for Autonomous Vehicles. CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France. ⟨hal-01190734⟩