Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications

Abstract : Automotive software systems become more and more complex presenting tougher safety requirements and tighter timing constraints. On the other hand, today, timing verification of automotive systems is considered late in the development process, mainly at the implementation stage. Consequently, this leads generally to late detection of design mistakes involving extra costs. In this paper, we propose a model driven approach to perform real-time analysis since the earliest design phases. This approach is based on the combination of two modeling languages for system design (EAST-ADL2 and MARTE) and the integration of an open source toolset for scheduling analysis, MAST. * Benefits of the proposed approach are discussed through a practical automotive case study.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02264387
Contributor : Axelle Pagnier <>
Submitted on : Tuesday, August 6, 2019 - 8:30:50 PM
Last modification on : Thursday, August 8, 2019 - 1:22:19 AM

File

2C-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02264387, version 1

Collections

Citation

Saoussen Anssi, Sara Tucci-Pergiovanni, Chokri Mraidha, Arnaud Albinet, François Terrier, et al.. Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications. Embedded Real Time Software & Systems (ERTS² 2010), May 2010, Toulouse, France. ⟨hal-02264387⟩

Share

Metrics

Record views

11

Files downloads

3