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, 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
Type de document :
Communication dans un congrès
Jean-Charles Fabre and Olivier Guetta and Mario Trapp. EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. ACM, pp.11-14, 2010, ACM International Conference Proceeding Series; Proceeding of the 1st Workshop on Critical Automotive applications: Robustness & Safety. <10.1145/1772643.1772647>
Liste complète des métadonnées

https://hal.inria.fr/hal-00687550
Contributeur : Team Aoste <>
Soumis le : vendredi 13 avril 2012 - 14:52:43
Dernière modification le : lundi 5 octobre 2015 - 16:57:53

Identifiants

Collections

Citation

Marie-Agnès Peraldi-Frati, Arnaud Albinet. Requirement traceability in safety critical systems. Jean-Charles Fabre and Olivier Guetta and Mario Trapp. EDCC2010 - Workshop on Critical Automotive applications: Robustness and Safety (CARS'2010), Apr 2010, Valencia, Spain. ACM, pp.11-14, 2010, ACM International Conference Proceeding Series; Proceeding of the 1st Workshop on Critical Automotive applications: Robustness & Safety. <10.1145/1772643.1772647>. <hal-00687550>

Partager

Métriques

Consultations de la notice

456