Skip to Main content Skip to Navigation
Conference papers

Model-Based Methodology for Requirements Traceability in Embedded Systems

Abstract : 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.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Administrateur Du Ccsd Connect in order to contact the contributor
Submitted on : Friday, September 4, 2009 - 11:54:46 AM
Last modification on : Saturday, June 25, 2022 - 11:01:50 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:12:56 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads