Definition and verification of functional safety concepts for the definition of safe logical architectures

International audienceEvolving customer expectations, particularly growing concerns for safety, and the development of autonomous vehicles imply the development of many interconnected functions. To meet the expectations of system performances and to respect safety standards like ISO 26262, systems engineering and safety analysis have to be better integrated. In this paper we propose a conceptual framework and a method to define and verify the functional view of the logical architectures from a safety point of view