Generation and Optimization of Real-Time Code for Embedded Multiprocess and Multiprocessor Systems (E = Mp2)

During the design of safety-critical real-time systems like, e.g., airbag or flight attitude controllers, their behavior is specified at a high abstraction level. Compilers are an indispensible tool on the way from such a model-based specification to an actual implementation. For singlecore and singleprocess systems, compilers have recently been extended to support real-time properties already during compilation. For multiprocess and multiprocessor systems, compilers currently lack such a support despite of the increasing relevance of such parallel systems.

E = Mp² aims to provide a software development environment for multiprocess and multiprocessor systems which produces efficient and optimized program code that provably meets real-time constraints. For this purpose, it has to be clarified how compiler and scheduler of an operating system need to cooperate. In addition, novel timing models supporting response times of processes and schedulability of entire systems need to be developed. Based on these timing models, novel compiler optimizations targeting on worst-case timing aspects and schedulability are designed.

In multiprocess systems, tasks can preempt each other and thus interfere. E = Mp² develops compiler optimizations considering such context switches and scheduling strategies. In multiprocessor systems, different cores can access shared resources (e.g., buses or memories) at the same time and thus can cause additional interference. Therefore, this project works on compiler optimizations minimizing the worst-case timing of such systems by considering accesses to shared resources.

Publikationen

• Falk, Heiko: Achieving Timing Predictability by Combining Models. Schloss Dagstuhl / Germany, November 2016.
• Oehlert, Dominic; Luppold, Arno; Falk, Heiko: Bus-aware Static Instruction SPM Allocation for Multicore Hard Real-Time Systems. In In Proceedings of the 29th Euromicro Conference on Real-Time Systems (ECRTS), June 2017.
• Luppold, Arno; Kittsteiner, Christina; Falk, Heiko: Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems. In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), S. 77-85, St. Goar / Germany, May 2016., DOI: 10.1145/2906363.2906369
• Arno Luppold and Heiko Falk: Code Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. In In Proceedings of the 18th International Symposium on Real-Time Distributed Computing (ISORC), S. 35-42, Auckland / New Zealand, April 2015., DOI: 10.1109/ISORC.2015.8
• Oehlert, Dominic; Luppold, Arno; Falk, Heiko: Practical Challenges of ILP-based SPM Allocation Optimizations. In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), S. 86-89, St. Goar / Germany, Mai 2016., DOI: 10.1145/2906363.2906371
• Arno Luppold and Heiko Falk: Schedulability aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. In In Proceedings of the 18th International Workshop on Software & Compilers for Embedded Systems (SCOPES), S. 101-104, St. Goar / Germany, June 2015., DOI: 10.1145/2764967.2771930
• Falk, Heiko; Luppold, Arno: Schedulability-Aware Code Optimization for Multi-Task Real-Time Systems. Paris / France, March 2016.
• Luppold, Arno; Falk, Heiko: Schedulability-Aware SPM Allocation for Preemptive Hard Real-Time Systems with Arbitrary Activation Patterns. In In Proceedings of Design, Automation and Test in Europe (DATE), March 2017.
• Falk, Heiko: WCET-Aware Compilation and Optimization for Real-Time Systems. Grenoble / France, June 2016.
• Heiko Falk: Compilation Techniques for Parallel, Safety-Critical Systems with Real-Time Constraints. Seoul, October 2017. Embedded Systems Week (ESWEEK).
• Heiko Falk: Timing Analysis and Code Optimization for Massively-Parallel Real-Time Systems. Stuttgart, October 201⁷. HiPEAC Autumn Computing Systems Week (CSW).