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

Fact Sheet

AcronymE = Mp2
NameGeneration and Optimization of Real-Time Code for Embedded Multiprocess and Multiprocessor Systems
(in German: Generierung und Optimierung von Echtzeitfähigem Code für Eingebettete Multiprozess- und Multiprozessor-Systeme)
Role of TUHHApplicant
Start Date01/02/2012
End Date30/09/2017
Funds DonorDeutsche Forschungsgemeinschaft (DFG)

Summary

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 = Mp2 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 = Mp2 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.

E = Mp2 Publications of the Embedded Systems Design Group

2018

  • Dominic Oehlert and Heiko Falk.
    WCET Analysis of Automotive Buses using WCC.
    In Proceedings of the DATE Workshop on New Platforms for Future Cars, Dresden / Germany, March 2018.
    [Abstract] [pdf]

2017

  • Dominic Oehlert, Arno Luppold and Heiko Falk.
    Bus-aware Static Instruction SPM Allocation for Multicore Hard Real-Time Systems.
    In Proceedings of the 29th Euromicro Conference on Real-Time Systems (ECRTS), pages 1:1-1:22, Dubrovnik / Croatia, June 2017.
    [Abstract] [pdf] [doi: 10.4230/LIPIcs.ECRTS.2017.1]

  • Arno Luppold and Heiko Falk.
    Schedulability-Aware SPM Allocation for Preemptive Hard Real-Time Systems with Arbitrary Activation Patterns.
    In Proceedings of Design, Automation and Test in Europe (DATE), pages 1074-1079, Lausanne / Switzerland, March 2017.
    [Abstract] [pdf] [doi: 10.23919/DATE.2017.7927149]

2016

  • Heiko Falk.
    Achieving Timing Predictability by Combining Models.
    Invited Talk at the Dagstuhl Seminar 16441 on Adaptive Isolation for Predictability and Security, Schloss Dagstuhl / Germany, November 2016.


  • Heiko Falk.
    WCET-Aware Compilation and Optimization for Real-Time Systems.
    Invited Talk at the VERIMAG Laboratory, University Grenoble Alpes, Grenoble / France, June 2016.


  • Dominic Oehlert, Arno Luppold and Heiko Falk.
    Practical Challenges of ILP-based SPM Allocation Optimizations.
    In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 86-89, St. Goar / Germany, May 2016.
    [Abstract] [pdf] [doi: 10.1145/2906363.2906371]

  • Arno Luppold, Christina Kittsteiner and Heiko Falk.
    Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems.
    In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 77-85, St. Goar / Germany, May 2016.
    [Abstract] [pdf] [doi: 10.1145/2906363.2906369]

  • Heiko Falk and Arno Luppold.
    Schedulability-Aware Code Optimization for Multi-Task Real-Time Systems.
    Invited Talk at the Workshop on Analysis vs. Synthesis in Embedded Systems Design, Paris / France, March 2016.


2015

  • Arno Luppold and Heiko Falk.
    Schedulability aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.
    In Proceedings of the 18th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 101-104, St. Goar / Germany, June 2015.
    [Abstract] [pdf] [doi: 10.1145/2764967.2771930]

  • Arno Luppold and Heiko Falk.
    Code Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.
    In Proceedings of the 18th International Symposium on Real-Time Distributed Computing (ISORC), pages 35-42, Auckland / New Zealand, April 2015.
    [Abstract] [pdf] [doi: 10.1109/ISORC.2015.8]

  • Che-Wei Chang, Jian-Jia Chen, Tei-Wei Kuo and Heiko Falk.
    Real-Time Task Scheduling on Island-Based Multi-Core Platforms.
    In IEEE Transactions on Parallel and Distributed Systems (TPDS), Vol. 26, No. 2, pages 538-550, IEEE, February 2015.
    [Abstract] [doi: 10.1109/TPDS.2013.2297308]

2014

  • Arno Luppold and Heiko Falk.
    Schedulability-Oriented WCET-Optimization of Hard Real-Time Multitasking Systems.
    In Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC), pages 9-12, Versailles / France, October 2014.
    [Abstract] [pdf]

  • Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk.
    A Unified WCET Analysis Framework for Multicore Platforms.
    © ACM, 2014. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published In ACM Transactions on Embedded Computing Systems (TECS), Vol. 13, No. 4s, ACM, July 2014.
    [Abstract] [pdf] [doi: 10.1145/2584654]

  • Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury.
    Static analysis of multi-core TDMA resource arbitration delays.
    In the International Journal of Time-Critical Computing Systems (Real-Time Systems), Vol. 50, No. 2, pages 185-229, Springer, March 2014.
    [Abstract] [pdf] [doi: 10.1007/s11241-013-9189-x]

2013

  • Jan C. Kleinsorge, Heiko Falk and Peter Marwedel.
    Simple Analysis of Partial Worst-case Execution Paths on General Control Flow Graphs.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), Montreal / Canada, October 2013.
    [Abstract] [pdf] [doi: 10.1109/EMSOFT.2013.6658594]

  • Timon Kelter, Tim Harde, Peter Marwedel and Heiko Falk.
    Evaluation of resource arbitration methods for multi-core real-time systems.
    In Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET), pages 1-10, Paris / France, July 2013.
    [Abstract] [pdf] [doi: 10.4230/OASIcs.WCET.2013.1]

  • Che-Wei Chang, Jian-Jia Chen, Tei-Wei Kuo and Heiko Falk.
    Real-Time Partitioned Scheduling on Multi-Core Systems with Local and Global Memories.
    In Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 467-472, Yokohama / Japan, January 2013.
    [Abstract] [pdf] [doi: 10.1109/ASPDAC.2013.6509640]

2012

  • Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo and Heiko Falk.
    Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), pages 153-162, Tampere / Finland, October 2012.
    [Abstract] [pdf] [doi: 10.1145/2380356.2380384]

  • Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Heiko Falk and Peter Marwedel.
    A Unified WCET Analysis Framework for Multi-core Platforms.
    In Proceedings of the 18th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 99-108, Beijing / China, April 2012.
    [Abstract] [pdf] [doi: 10.1109/RTAS.2012.26]

  • Sascha Plazar, Heiko Falk, Jan C. Kleinsorge and Peter Marwedel.
    WCET-aware Static Locking of Instruction Caches.
    In Proceedings of the International Symposium on Code Generation and Optimization (CGO), pages 44-52, San Jose / USA, April 2012.
    [Abstract] [pdf] [doi: 10.1145/2259016.2259023]

  • Heiko Falk and Jan C. Kleinsorge.
    Reconciling Compilers and Timing Analysis for Safety-Critical Real-Time Systems - the WCET-aware C Compiler WCC.
    Tutorial at the International Symposium on Code Generation and Optimization (CGO), San Jose / USA, March 2012.
    [pdf]

  • Heiko Falk, Peter Marwedel and Paul Lokuciejewski.
    Reconciling Compilation and Timing Analysis.
    In S. Chakraborty and J. Eberspächer (Eds.): Advances in Real-Time Systems, chapter 7, pages 145-170, Springer, March 2012.
    [Abstract] [doi: 10.1007/978-3-642-24349-3_7]