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.
Origin : Files produced by the author(s)
Loading...