Skip to Main content Skip to Navigation
Conference papers

Requirement traceability in safety critical systems

Marie-Agnès Peraldi-Frati 1 Arnaud Albinet 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Safety engineering analysis is a mandatory stage in the design of critical embedded automotive systems. The derivation of safety requirements and their verification require establishing traceability links between requirements and the different artifacts involved in the design flow. This paper presents the different steps of a method for expressing non functional requirements (safety, timing, hardware, performance) and ensuring their validation and their traceability over a design flow for automotive system design based on the conjoint use of EAST-ADL2 and MARTE languages and supported in an Eclipse platform. A specific meta-model for requirements modeling and traceability is used. The methodology is illustrated on an industrial knock-control system characterized by strict safety and temporal constraints
Document type :
Conference papers
Complete list of metadata
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Friday, April 13, 2012 - 2:52:43 PM
Last modification on : Thursday, January 21, 2021 - 10:56:02 AM




Marie-Agnès Peraldi-Frati, Arnaud Albinet. Requirement traceability in safety critical systems. EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. pp.11-14, ⟨10.1145/1772643.1772647⟩. ⟨hal-00687550⟩



Record views