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

  title={The MeMVaTEx methodology : from requirements to models in automotive application design},
  author={A. Albinet and S. Begoc and J. Boulanger and Olivier Casse and I. Dal and Hubert. Dubois and Fadoi Lakhal and D. Louar and M.-A. Peraldi-Frati and Yves Sorel and Q.-D. Van},
  • A. Albinet, S. Begoc, +8 authors Q.-D. Van
  • Published 2007
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… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS
24 Citations
4 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 24 extracted citations


Publications referenced by this paper.
Showing 1-4 of 4 references

Developing Automotive Products Using the EAST- ADL2, an AUTOSAR Compliant Architecture Description Language. 4 European Congress ERTS Embedded Real Time Software

  • P. Cuenot, P. Frey, +5 authors D. J. Chen
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…