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

https://hal.inria.fr/inria-00413488
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

File

ecmda07.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00413488, version 1

Citation

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⟩

Share

Metrics

Record views

740

Files downloads

740