Efficient Configuration of Safety-Critical Software
In order to achieve a competitive advantage, vehicle manufacturers keep providing an increasing number of features related to driving experience, comfort and safety. Furthermore, ever-stringent environmental laws push towards lower emission technologies. These novel functionalities are mostly implemented in software and as a consequence, size and complexity of applications have been rapidly increasing. Another important aspect of automotive software is safety and upper estimation of its execution time is required according to ISO 26262. Typically, timing requirements are related to task periods (e.g. periodical sensor reading), or sporadic occurrences of events such as a crankshaft angle triggered interrupt.
The AUTOSAR (AUTomotive Open System ARchitecture) standard has been developed to ease the effort of managing software and E/E (Electrical/Electronic) architectures. Classical AUTOSAR applications consist of runnables which are grouped in tasks. Runnables forming a task usually have the same activation event, e.g. all runnables in a task are activated every 10 ms or each time a crankshaft angle reaches a certain value. Regarding communication between runnables, in AUTOSAR only static communication is supported. Runnables access data explicitly, or more frequently implicitly. When implicit communication is used, the run-time environment copies data to a local runnable buffer before runnable execution, and only after runnable termination, the run-time environment writes the local runnable buffer back to the memory location which other runnables can access.
Automotive applications are increasingly implemented on multicore ECUs (Electronic Control Units) as they offer the right balance between performance, cost, weight and space requirements. As a limitation for multi-core systems, AUTOSAR assumes that tasks are not assigned to cores dynamically. In fact, the configuration of an AUTOSAR system can be, due to the complex influence of its different elements on performance, practically impossible without tool support. Therefore, since the transition to multi-core architectures of safety-critical microcontrollers started considerably later than in other industries, tools for optimizing AUTOSAR applications for multi-core ECUs have been only recently developed by various companies and in the scope of different research projects, including the one at the Institute for Communication Technologies and Embedded Systems at the RWTH Aachen University.
Copic, M., Leupers, R. and Ascheid, G.: Leveraging Nondeterminism in Mixed Classic/Adaptive AUTOSAR Systems for Runnable Configuration, in Design Automation Conference (DAC), Work-in-Progress Session, 2021, accepted for publication
Copic, M., Leupers, R. and Ascheid, G.: Runnable Configuration in Mixed Classic/Adaptive AUTOSAR Systems by Leveraging Nondeterminism, in Proceedings of 24th Euromicro Conference on Digital System Design (DSD), 2021, 10.1109/DSD53832.2021.00070
Copic, M., Leupers, R. and Ascheid, G.: Modelling Machine Learning Components for Mapping and Scheduling of AUTOSAR Runnables, in Proceedings of 31st International Symposium on Software Reliability Engineering (ISSRE), pp. 127-137, Oct. 2020, 10.1109/ISSRE5003.2020.00021 ©2020 IEEE
Copic, M., Leupers, R. and Ascheid, G.: Reducing Idle Time in Event-Triggered Software Execution via Runnable Migration and DPM-Aware Scheduling, in Integration, the VLSI Journal, Vol. 70, Elsevier, pp. 10-20, Jan. 2020, 10.1016/j.vlsi.2019.09.004
Copic, M., Leupers, R. and Ascheid, G.: Efficient Sporadic Task Handling in Parallel AUTOSAR Applications Using Runnable Migration, in Proceedings of the 24th Asia and South Pacific Design Automation Conference(New York, NY, USA), pp. 603-608 , ACM, Jan. 2019, ISBN: 978-1-45036-007-4, 10.1145/3287624.3287654