Model-Based Methodology for Requirements Traceability in Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Model-Based Methodology for Requirements Traceability in Embedded Systems


We present a model-based methodology for requirements traceability proposed in the framework of the MeMVaTEx project. The methodology relies on the EAST-ADL language and the two UML 2.0 profiles:MARTE for real-time embedded systems, and SysML for system requirements modeling. Along the paper, we illustrate the proposed methodology by an automotive case study, namely a knock controller, focusing on the time aspects of the requirements specified with the MARTE UML 2.0 profile. We explain how to define the requirements according to a proposed classification, and we present the tracing mechanisms based on the SysML UML 2.0 profile. Finally, we describe the proposed MeMVaTEx methodology which extends the EAST-ADL methodology in order to take into consideration the expression of requirements, and their traceability along the life cycle.
Fichier principal
Vignette du fichier
ecmda07.pdf (215.67 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00413488 , version 1 (04-09-2009)


  • HAL Id : inria-00413488 , version 1


Arnaud Albinet, Jean-Louis Boulanger, Hubert Dubois, Marie-Agnès Peraldi-Frati, Yves Sorel, et al.. Model-Based Methodology for Requirements Traceability in Embedded Systems. Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel. ⟨inria-00413488⟩
758 View
785 Download


Gmail Facebook Twitter LinkedIn More