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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02270300
Contributor : Axelle Pagnier <>
Submitted on : Saturday, August 24, 2019 - 5:53:40 PM
Last modification on : Tuesday, August 27, 2019 - 1:27:30 AM

File

ERTS2008_0098_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02270300, version 1

Citation

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⟩

Share

Metrics

Record views

8

Files downloads

12