A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems

Résumé

Requirements traceability modeling is a key issue in real-time embedded design process. In such systems, requirements are of different nature (software-related, system-related, functional and non functional) and must be traced through a multi level design flow which integrates multiple and heterogeneous models. Validation and Verification (V&V) activities must be performed on models and on the final product to check if they are matching the initial require-ments. Results of a design and of V&V activities must impact the traceability information. We propose the DARWIN4REQ metamodel for requirement traceability based on three indepen-dent flows (requirement model, solution model and V&V model). The DARWIN4REQ metamodel establishes the link between these flows and allows a full traceability of requirements including the heterogeneous models. This paper presents the DARWIN4REQ metamodel and its use in the context of heterogeneous models for requirement modeling, design and V&V. An automotive application illustrates the approach with SYSML, EAST_ADL2 and MARTE for the design and SIMULINK, SyNDEx and TIMESQUARE for V&V activities.
Fichier non déposé

Dates et versions

inria-00484073 , version 1 (17-05-2010)

Identifiants

Citer

Hubert Dubois, Marie-Agnès Peraldi-Frati, Lakhal Fadoi. A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems. ICECCS'10, IEEE, Mar 2010, Oxford, United Kingdom. pp.233-242, ⟨10.1109/ICECCS.2010.13⟩. ⟨inria-00484073⟩
206 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More