Assigning time budgets to component functions in the design of time-critical automotive systems

Ernest Wozniak (1) , Marco Di Natale (2) , Haibo Zeng (3) , Chokri Mraidha (1) , Sara Tucci-Piergiovanni (1) , Sébastien Gerard (1)

1 DILS - Département Ingénierie Logiciels et Systèmes
2 SSSUP - Scuola Universitaria Superiore Sant'Anna [Pisa]
3 McGill University = Université McGill [Montréal, Canada]

The adoption of AUTOSAR and Model Driven Engineering (MDE) for the design of automotive software architectures allows an early analysis of system properties and the automatic synthesis of architecture and software implementation. To select and configure the architecture with respect to timing constraints, knowledge about the worst case execution times (WCET) of functions is required. An accurate evaluation of the WCET is only possible when reusing legacy functionality or very late in the development and procurement process. To drive the integration of SW components belonging to systems with timing constraints, automotive methodologies propose to assign WCET budgets to functions. This paper presents two solutions to assign budgets, while considering at the same time the problem of SW/HW synthesis. The first solution is a one-step algorithm. The second is an iterative improvement procedure with a staged approach that scales better to very large size systems. Both methods are evaluated on industrial systems to study their effectiveness and scalability.

Keywords: design; design space exploration; real-time; end-to-end dead- lines; time budgeting; AUTOSAR; optimization; genetic al- gorithm

Domains: Computer Science [cs]

Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci-Piergiovanni, et al.. Assigning time budgets to component functions in the design of time-critical automotive systems. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering , Sep 2014, Vasteras, France. ⟨10.1145/2642937.2643015⟩. ⟨cea-01810022⟩