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

Speaker:
Eric Bonjour / Université de Lorraine

Abstract:
Evolving 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.