Model-Based Methodology for Requirements Traceability in Embedded Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Model-Based Methodology for Requirements Traceability in Embedded Systems

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00413488 , version 1

Citer

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⟩
768 Consultations
815 Téléchargements

Partager

Gmail Facebook X LinkedIn More