The MeMVaTEx methodology: from requirements to models in automotive application design - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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.
Fichier principal
Vignette du fichier
ERTS2008_0098_paper.pdf (576.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02270300 , version 1 (24-08-2019)

Identifiers

  • HAL Id : hal-02270300 , version 1

Cite

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⟩
154 View
80 Download

Share

Gmail Facebook Twitter LinkedIn More