Schedulability analysis support for automotive systems: From requirement to implementation

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

124 Downloads (Pure)


Modeling and analysis of precise non-functional properties, such as energy and timing constraints, is key to the correct development of automotive systems. Automotive applications development cost, in particular, is impacted by incorrect design made at the early development phases but only detected later, often after implementation. This late detection of design errors leads to additional cost. In this paper, we propose a model driven approach to perform nonfunctional properties verification and to enable scheduling analysis of automotive systems at the very early design level. The different phases of a design range from the requirements to a model allocated on a specific execution platform: EAST-ADL and MARTE are used together to specify the structure and energy/timing constraints of the software, as well as the hardware parts of the system. To prove the correctness of specification and perform the scheduling analysis, the semantics of the constraints is given as mapping to a formal interchange format XFG (eXtended Function-block Graphs) language. The XFG models are then automatically translated into priced timed automata for model checking. This later transformation is supported by a tool chain called A-BeTA. We demonstrate the applicability of our approach on the Brake-By-Wire case study.

Original languageEnglish
Title of host publicationProceedings of the ACM Symposium on Applied Computing
Place of PublicationNew York, NY, USA
PublisherACM Press
Number of pages6
ISBN (Print)9781450324694
Publication statusPublished - 24 Mar 2014
Event29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of
Duration: 24 Mar 201428 Mar 2014


Conference29th Annual ACM Symposium on Applied Computing, SAC 2014
Country/TerritoryKorea, Republic of


  • Embedded real-time systems
  • MBD
  • Model-checking


Dive into the research topics of 'Schedulability analysis support for automotive systems: From requirement to implementation'. Together they form a unique fingerprint.

Cite this