Schedulability analysis for a real time system consists of checking whether all tasks can be finished within their deadlines.
Sara Tucci-Piergiovanni (CEA, LIST, 91191 Gif-sur-Yvette CEDEX , France), DeJiu Chen (KTH Royal Institute of Technology, Sweden), Chokri Mraidha (CEA, LIST, 91191 Gif-sur-Yvette CEDEX , France), Henrik Lönn (Volvo Technology, Sweden),
Nidhal Mahmud (University of Hull, UK), Mark-Oliver Reiser (Technische Universität Berlin, Germany), Ramin Tavakoli Kolagari (Nuremberg Institute of Technology G. S. Ohm, Germany), Nataliya Yakymets (CEA, LIST, 91191 Gif-sur-Yvette CEDEX , France), Renato Librino (4S s.r.l., Italy), Sandra Torchiaro (Centro Ricerche Fiat, Italy), and Agnes Lanusse (CEA, LIST, 91191 Gif-sur-Yvette CEDEX , France)
Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements, in a short time span. This evolution has translated into development processes that are not as efficient, flexible, and agile as they could or should be. Model-based design offers many potential solutions to this problem. This chapter presents the main aspects and capabilities of a rich model-based design framework, founded on EAST-ADL, and developed during the MAENAD project. EAST-ADL is an architecture description language specific to the automotive domain and complemented by a methodology compliant with the ISO26262 standard. The language and the methodology set the stage for a high-level of automation and integration of advanced analyses and optimization capabilities to effectively improve development processes of modern cars.