Here, you can find the most recent results from our multi-core experiments.
The Real-Time Systems Compiler (RTSC) aims at providing an operating system aware compiler that allows for a generic manipulation of the real-time systems architecture of a given real-time application. Hereby, manipulating the real-time systems architecture makes possible many interesting applications like migrating event-triggered to time-triggered systems and vice versa.
| Software: Practice and Experience 2011 |
Scheler, Fabian ; Schröder-Preikschat, Wolfgang: |
|---|
A real-time systems architecture provides means to arrange and coordinate the different concurrent tasks forming a real-time application. These measures comprise the activation of event handlers in response to the occurrence of an event, scheduling and dispatching these tasks to shared CPU and various mechanisms for unilateral (e.g. messages) and multilateral (e.g. mutexes) synchronization. Usually, such real-time systems architectures are implemented by an RTOS. The OSEK OS and AUTOSAR OS, for instance, implement event-triggered real-time systems architectures, whereas the OSEK time-triggered OS implements a strictly time-triggered real-time systems architecture.
Manipulating the real-time systems architecture of a real-time application demands for a proper abstraction to hide all its specific details without losing the necessary information of the structure of the real-time application. So, the mapping between the event handlers and the corresponding triggering events must be preserved just as the temporal properties of those events and inter-task dependencies resulting from unilateral and multilateral synchronization.
Within the RTSC we use Atomic Basic Blocks and a System Model to implement such an abstraction. Essentially, the RTSC uses ABBs to derive a global dependency graph based on an inter-procedural control flow graph from a real-time application given as source code. This dependency graph is annotated with temporal information of the executed code (e.g. worst case execution time) and the triggering events. Technically, the RTSC is designed as an operating system aware compiler and it implemented on-top of the LLVM and we exploit the control flow model of the LLVM to implement ABBs. Thereby, it is possible to perform the necessary control flow based manipulations of the real-time systems architecture and the RTSC significantly benefits from the powerful LLVM framework when it comes to standard compiler analyses and optimizations.
Klaus, Tobias ; Franzmann, Florian ; Becker, Matthias ; Ulbrich, Peter: Data Propagation Delay Constraints in Multi-Rate Systems -- Deadlines vs. Job-Level Dependencies. In: Mathieu Jan ; Moris Behnam (Hrsg.) : Proceedings of the 26th International Conference on Real-Time Networks and Systems (26th International Conference on Real-Time Networks and Systems (RTNS '18) Poitiers, France 10.-12. Oct. 2018). Ney York, NY : ACM Press, 2018, S. 93-103. - ISBN 978-1-4503-6463-8 (BibTeX)
Franzmann, Florian ; Klaus, Tobias ; Ulbrich, Peter ; Deinhardt, Patrick ; Steffes, Benjamin ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: From Intent to Effect: Tool-based Generation of Time-Triggered Real-Time Systems on Multi-Core Processors. In: IEEE Computer Society (Hrsg.) : Proceedings of the 19th IEEE Symposium on Real-Time Computing (ISORC '16) (19th IEEE Symposium on Real-Time Computing York, UK May 17-20, 2016). 2016, S. 0-0. - ISBN 978-1-4673-9032-3
[doi>10.1109/ISORC.2016.27] (BibTeX)
Franzmann, Florian ; Klaus, Tobias ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang ; Ulbrich, Peter: React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme. In: Halang, W. A. ; Spinczyk, O. (Hrsg.) : Betriebssysteme und Echtzeit (Echtzeit 2015 Boppard 12.11.2015). 1. Aufl. Berlin, Heidelberg : Springer Vieweg, 2015, S. 89-98. - ISBN 978-3-662-48610-8 (BibTeX)
Klaus, Tobias ; Franzmann, Florian ; Engelhard, Tobias ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: Usable RTOS-APIs? In: Brandenburg, Björn B. ; Kato, Shinpei (Hrsg.) : Proceedings of the 10th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (10th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '14) Madrid 08.07.2014). Kaiserslautern, DE : Max Planck Institute for Software Systems, 2014, S. 61-66. (BibTeX)
Scheler, Fabian: Atomic Basic Blocks: Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Diss., 2011. - 171 Seiten. (BibTeX)
Scheler, Fabian ; Schröder-Preikschat, Wolfgang: The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems. In: Software: Practice and Experience 41 (2011), Nr. 12, S. 1491-1515
[doi>10.1002/spe.1099] (BibTeX)
Scheler, Fabian ; Schröder-Preikschat, Wolfgang: The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems. In: Obermaisser, Roman (Hrsg.) : Proceedings of the 13th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '10) (IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Carmona May 2010). Washington : IEEE Press, 2010, S. 34-41. - ISBN 978-0-7695-4037-5
[doi>10.1109/ISORC.2010.11] (BibTeX)
Scheler, Fabian ; Mitzlaff, Martin ; Schröder-Preikschat, Wolfgang: Atomic Basic Blocks. In: Holleczek, Peter ; Vogel-Heuser, Birgit (Hrsg.) : Mobilität und Echtzeit (PEARL 2007 Boppard 06./07.12.2007). 2007, S. 59-68. (Informatik aktuell) - ISBN 978-3-540-74836-6 (BibTeX)
Scheler, Fabian ; Mitzlaff, Martin ; Schröder-Preikschat, Wolfgang ; Schirmeier, Horst: Towards a Real-Time Systems Compiler. In: Seepold, Ralf ; Martinez Madrid, Natividad ; Kucera, Markus (Hrsg.) : Proceedings of the Fifth International Workshop on Intelligent Solutions in Embedded Systems (WISES 07) (Fifth International Workshop on Intelligent Solutions in Embedded Systems (WISES 07) Leganes (Madrid) 21./22.06.2007). Leganes (Madrid) : IEEE, 2007, S. 62-75. - ISBN 978-84-89315-47-1 (BibTeX)
Scheler, Fabian ; Schröder-Preikschat, Wolfgang: Synthesising Real-Time Systems from Atomic Basic Blocks. In: IEEE Technical Committee on Real-Time Systems (Hrsg.) : Proceedings Work-In-Progress Session (12th Real-Time and Embedded Technology and Applications Symposium San Jose, USA 4-7 April, 2006). 2006, S. 49-52. (BibTeX)
