The MeMVaTEx methodology: from requirements to models in automotive application design

A. Albinet (1) , S. Begoc (2) , J.-L. Boulanger (3) , O. Casse (2) , I. Dal (2) , H. Dubois (4) , F. Lakhal (5) , D. Louar (5) , M.-A. Peraldi-Frati (5) , Y. Sorel (5) , Q.-D. Van (3)

1 Siemens VDO [Toulouse] - Siemens VDO
2 Monditech
3 Heudiasyc - Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
4 CEA - Commissariat à l'énergie atomique et aux énergies alternatives
5 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints

This paper presents a model-based methodology for requirements expression, traceability and verification. The methodology relies on the EAST-ADL2 framework and two of the UML2 profiles: MARTE for real-time embedded systems and SysML for system requirements modelling. The methodology defines the different models used at each abstraction level of the process. The results are a requirement model and a solution model which is related to the requirements. Verification and validation models and techniques are connected to these models. An automotive case study, namely a knock controller, illustrates the proposed methodology. The tools used in the process are also presented.

Mots clés: requirements; methodology; automotive; model-driven engineering

Domaines: Informatique [cs]; Systèmes embarqués

A. Albinet, S. Begoc, J.-L. Boulanger, O. Casse, I. Dal, et al.. The MeMVaTEx methodology: from requirements to models in automotive application design. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270300⟩