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.
Type de document :
Communication dans un congrès
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel. 2007
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00413488
Contributeur : Administrateur Du Ccsd <>
Soumis le : vendredi 4 septembre 2009 - 11:54:46
Dernière modification le : mercredi 4 juillet 2018 - 16:44:02
Document(s) archivé(s) le : mardi 15 juin 2010 - 23:12:56

Fichier

ecmda07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00413488, version 1

Collections

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. 2007. 〈inria-00413488〉

Partager

Métriques

Consultations de la notice

1184

Téléchargements de fichiers

662