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

International audienceAutomotive 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