Requirement traceability in safety critical systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Requirement traceability in safety critical systems


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
No file

Dates and versions

hal-00687550 , version 1 (13-04-2012)



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⟩
251 View
0 Download



Gmail Facebook Twitter LinkedIn More