Skip to Main content Skip to Navigation
Reports

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

Hubert Dubois 1 Marie-Agnès Peraldi-Frati 2 Fadoi Lakhal 1
2 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 : 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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00483970
Contributor : Marie-Agnès Peraldi-Frati <>
Submitted on : Thursday, May 27, 2010 - 9:28:38 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Thursday, September 16, 2010 - 1:56:24 PM

File

RR_7292.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00483970, version 1

Collections

Citation

Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal. A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems. [Research Report] RR-7292, INRIA. 2010, pp.19. ⟨inria-00483970⟩

Share

Metrics

Record views

549

Files downloads

1085