— Aspect-Oriented Real-Time Architecture

Selected Publications

OSPERT 2014	Klaus, Tobias ; Franzmann, Florian ; Engelhard, Tobias ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: Usable RTOS-APIs? In: Brandenburg, Björn B. ; Kato, Shinpei (Ed.) : *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, pp 61-66. Keywords: AORTA; RTSC (BibTeX)
SIES 2012	Ulbrich, Peter ; Franzmann, Florian ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-Time Systems. In: Nolte, Thomas (Ed.) : *Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems* (7th Symposium on Industrial Embedded Systems (SIES '12), Karlsruhe, Germany, 20-22 June 2012). Los Alamitos : IEEE Computer Society, 2012, pp 275-278. - ISBN 978-1-4673-2685-8 Keywords: AORTA; ARES; QRONOS [doi>10.1109/SIES.2012.6356595] (BibTeX)

OSPERT 2014

Klaus, Tobias ; Franzmann, Florian ; Engelhard, Tobias ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
Usable RTOS-APIs?
In: Brandenburg, Björn B. ; Kato, Shinpei (Ed.) : 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, pp 61-66.
Keywords: AORTA; RTSC (BibTeX)

SIES 2012

Ulbrich, Peter ; Franzmann, Florian ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang:
Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-Time Systems.
In: Nolte, Thomas (Ed.) : Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems
(7th Symposium on Industrial Embedded Systems (SIES '12), Karlsruhe, Germany, 20-22 June 2012).
Los Alamitos : IEEE Computer Society, 2012, pp 275-278. - ISBN 978-1-4673-2685-8
Keywords: AORTA; ARES; QRONOS
[doi>10.1109/SIES.2012.6356595] (BibTeX)

Overview

The Aspect-Oriented Real-Time Architecture (AORTA) project is the sequel of the ABB research project. It picks up the key idea of the ABB-project, namely describing the complete real-time system using a global dependency graph derived from an inter-procedural control flow graph (CFG). The single nodes of that dependency graph are called Atomic Basic Blocks (ABBs). Within those ABBs no interaction among different tasks takes place. So, such interactions originate and target the boundaries of ABBs only. Thus, ABB-based dependency graphs are an adequate abstraction to modify the control flow structure of a real-time system.

Within the ABB-project we used ABBs to migrate event-triggered to time-triggered systems by linearising the control flow structure under temporal constraints. Within the AORTA-project we want to apply this method to several aspects of the real-time architecture governing the control flow structure of a real-time application. So, as the control flow structure is a heavily cross-cutting property of a real-time application, we handle this property in an aspect-oriented manner by means of ABB-based dependency graph.

Goals

As mentioned above, we want to apply ABB-based dependency graphs to a broader scope of application covering several aspects of a real-time application's real-time systems architecture. Within this project we focus on the following topics:

Event-Triggered Systems
In the ABB-project we solely considered time-triggered target systems. Here we also want to target event-triggered systems. The possibility to map ABB-graphs also to event-triggered systems is the foundation for other optimisations envisaged in the realm of the AORTA-project.
Distributed Systems and Multi-core Systems
As real-time systems are distributed systems by their nature and multi-core processors are on the rise also in the field of embedded real-time systems, one of the major goals of the AORTA-project is to map ABB-graphs to such systems. Besides CPU scheduling the employed communication systems have to be considered, too.
Automated Replication
The redundant execution of safety-critical system components could also be interpreted as a transformation of the control flow structure replicating certain parts of the real-time application. Within the AORTA-project we try to automate this transformation. So, replicating safety-critical components could be reduced to marking these components via annotations.
Non-functional Properties: Blocking Time & Stack Usage
Another goal of the AORTA-project is to employ transformations of the control flow structure to optimise certain non-functional properties of a real-time system. The stack usage of such applications could be reduced by e.g. serialising tasks provided their timely execution is not sacrificed.
Canonical Real-Time API
We want to distil all our ideas into a canonical real-time API that does not make any assumptions on the actual real-time systems architecture of a real-time application (i.e. if the application will be executed in an event-triggered or a time-triggered manner) and focuses on the description of inter-task dependencies. Thus, such an API supports the generic manipulation of the control flow structure as it enables an easy mapping to different real-time systems architectures.

Full Publications List

2015

Stilkerich, Isabella ; Lang, Clemens ; Erhardt, Christoph ; Stilkerich, Michael: A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems. In: ACM (Hrsg.) : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (The 16th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2015) Portland, Oregon, USA June 2015). 2015, S. Article No. 4 (Best Papers at LCTES). - ISBN 978-1-4503-3257-6 (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)

2014

Stilkerich, Isabella ; Strotz, Michael ; Erhardt, Christoph ; Stilkerich, Michael: RT-LAGC: Fragmentation-Tolerant Real-Time Memory Management Revisited. In: ACM (Hrsg.) : Proceedings of the 12th International Workshop on Java Technologies for Real-Time and Embedded Systems (The 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014) Niagara Falls, NY, USA October, 2014). 2014, S. 87-96. (BibTeX)

Stilkerich, Isabella ; Taffner, Philip ; Erhardt, Christoph ; Dietrich, Christian ; Wawersich, Christian ; Stilkerich, Michael: Team Up: Cooperative Memory Management in Embedded Systems. In: ACM (Hrsg.) : Proceedings of the 2014 Conference on Compilers, Architectures and Synthesis for Embedded Systems - CASES'14 (2014 Conference on Compilers, Architectures and Synthesis for Embedded Systems - CASES'14 New Delhi, India October, 2014). 2014, S. Article No. 10.
[doi>10.1145/2656106.2656129] (BibTeX)

Erhardt, Christoph ; Kuhnle, Simon ; Stilkerich, Isabella ; Schröder-Preikschat, Wolfgang: The final Frontier: Coping With Immutable Data in a JVM for Embedded Real-Time Systems. In: ACM (Hrsg.) : Proceedings of the 12th International Workshop on Java Technologies for Real-Time and Embedded Systems (The 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014) Niagara Falls, NY, USA October, 2014). 2014, S. 97-106 Best Papers at JTRES. (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)

2013

Stilkerich, Isabella ; Strotz, Michael ; Erhardt, Christoph ; Hoffmann, Martin ; Lohmann, Daniel ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: A JVM for Soft-Error-Prone Embedded Systems. In: ACM (Hrsg.) : Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013) Seattle, Washington, USA June 2013). 2013, S. 21-32. - ISBN 978-1-4503-2085-6
[doi>10.1145/2465554.2465571] (BibTeX)

2012

Ulbrich, Peter ; Franzmann, Florian ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-Time Systems. In: Nolte, Thomas (Hrsg.) : Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (7th Symposium on Industrial Embedded Systems (SIES '12) Karlsruhe, Germany 20-22 June 2012). Los Alamitos : IEEE Computer Society, 2012, S. 275-278. - ISBN 978-1-4673-2685-8
[doi>10.1109/SIES.2012.6356595] (BibTeX)

Ulbrich, Peter ; Franzmann, Florian ; Harkort, Christian ; Hoffmann, Martin ; Klaus, Tobias ; Rebhan, Anja ; Schröder-Preikschat, Wolfgang: Taking Control: Modular and Adaptive Robotics Process Control Systems. In: Payeur, Pierre ; Ben-Tzvi, Pinhas (Hrsg.) : Proceedings of the 10th IEEE International Symposium on Robotic and Sensors Environments (10th IEEE International Symposium on Robotic and Sensors Environments (ROSE '12) Magdeburg 16-18 November 2012). Los Alamitos : IEEE Computer Society, 2012, S. 55-60. - ISBN 978-1-4673-2705-3
[doi>10.1109/ROSE.2012.6402632] (BibTeX)