AORTA (2)
Aspect-Oriented Real-Time Architectures (Phase 2)
(Third Party Funds Single)
Project leader: ,
Project members: , , ,
Start date: 1. August 2017
End date: 30. September 2020
Acronym: AORTA
Funding source: DFG-Einzelförderung / Sachbeihilfe (EIN-SBH)
URL: https://www4.cs.fau.de/Research/AORTA/
Abstract:
The goal of the AORTA project is to enhance the predictability of dynamic mixed-criticality real time systems by extracting critical paths. These paths are to be transformed into their static equivalents and to be executed in a time-triggered fashion at run-time. In comparison to event triggered processes, time-triggered execution tends to underuse resources. Therefore the optimistic execution model of mixed-criticality real-time systems will be retained. Only in case of an emergency the real-time system will be executed according to the static schedule. At the same time the results of the first funding phase will be generalized to dynamic real-time architectures. In particular, the focus will be on mixed-criticality systems with complex dependency patterns. The research project will investigate several variants of real-time Linux, as well as applications from the domain of control engineering.The main focus during the second funding phase of the project is going to be on dependencies between critical and non-critical paths of execution. These dependencies may potentially be problematic and can be found on all levels of the system: For example, application software may combine non-critical comfort functions with critical control functionality, leading to coupled components. In the operating system buffers may be used for shared communication stacks. Often such coupling may be desirable, however, in dynamic systems a host of possible execution paths at run-time may lead to dramatically overprovisioned system designs w.r.t. WCET and WCRT. Therefore, guaranteed execution times often lead to a loss of the efficiency gained from the dynamic real-time system design. Three key activities of this project will provide hard guarantees at run-time for the critical application core: analysis, tailoring and mechanisms.The basis for this project will be existing techniques for designing mixed-criticality systems under hard real-time constraints. For AORTA, it will be assumed that in general critical paths have deterministic structure and therefore their coupling with non-critical paths may be mapped to static equivalents. In the course of this project the applicability of the simple communication patterns provided by different variants of real-time Linux will be scrutinized to determine if these can guarantee the hard deadlines of safety-critical control applications, and if the concepts and techniques for static analysis, tailoring and scheduling developed in the first funding phase are suitable for this purpose. In addition the necessity of coupling the real-time architecture, scheduling and dependencies will be investigated in the context of mixed-criticality real-time systems to determine the general fitness of real-time Linux's design concepts for switching real time paradigms at run-time.
Publications:
Benchmark Generation for Timing Analysis
23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17) (Pittsburgh, USA, 18. April 2017 - 20. April 2017)
In: Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17) 2017
DOI: 10.1109/RTAS.2017.6
URL: https://www4.cs.fau.de/Publications/2017/waegemann_17_rtas.pdf , , , :
The Best of Both: High-performance and Deterministic Real-Time Executive by Application-Specific Multi-Core SoCs
Conference on Design and Architectures for Signal and Image Processing (DASIP '17) (Dresden, 27. September 2017 - 29. September 2017)
In: Proceedings of the Conference on Design and Architectures for Signal and Image Processing (DASIP '17), Los Alamitos, CA: 2017
DOI: 10.1109/DASIP.2017.8122107 , , , :
Demo Abstract: Tooling Support for Benchmarking Timing Analysis
23rd Real-Time and Embedded Technology and Applications Symposium, Demo Session (RTAS Demo '17) (Pittsburgh, USA, 18. April 2017 - 20. April 2017)
In: Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium, Demo Session (RTAS Demo '17) 2017
DOI: 10.1109/RTAS.2017.20
URL: https://www4.cs.fau.de/Publications/2017/eichler_17_rtas-demo.pdf , , , :
An End-To-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis
20th International Symposium on Real-Time Distributed Computing (ISORC 2017) (Toronto, Canada, 16. May 2017 - 18. May 2017)
In: Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017) 2017
DOI: 10.1109/ISORC.2017.10
URL: https://www4.cs.fau.de/Publications/2017/sieh_17_isorc.pdf , , , , , , :
The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems
In: ACM Transactions on Embedded Computing Systems 16 (2017), p. 99
ISSN: 1539-9087
URL: https://www4.cs.fau.de/~isa/a99-stilkerich.pdf , , , , :
Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness
In: ACM Transactions on Embedded Computing Systems 16 (2017), p. 180:1-180:19
ISSN: 1539-9087
DOI: 10.1145/3126503
URL: http://doi.acm.org/10.1145/3126503 , , , , :
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing
HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Porto, Portugal, 11. April 2018 - 13. April 2018)
In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC '18), New York, NY, USA: 2018
DOI: 10.1145/3178126.3178134
URL: https://dl.acm.org/authorize?N667444 , , , :
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)
Real-Time and Embedded Technology and Applications Symposium (Pittsburgh, PA, USA, 17. April 2017 - 21. April 2017)
In: Davis, Rob; Parmer, Gabriel (ed.): Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), Los Alamitos, CA: 2017
DOI: 10.1109/RTAS.2017.37
URL: https://www4.cs.fau.de/Publications/2017/dietrich_17_rtas.pdf , , , :
TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses
Workshop on Worst-Case Execution Time Analysis (Barcelona, 3. July 2018 - 3. July 2018)
In: 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018), Dagstuhl, Germany: 2018 , , , , :
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems
30th Euromicro Conference on Real-Time Systems (ECRTS '18) (Barcelona, 3. July 2018 - 6. July 2018)
In: Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS '18), Dagstuhl, Germany: 2018 , , , , :
Boosting Job-Level Migration by Static Analysis
15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (Stuttgart)
In: Adam Lackorzynski Daniel Lohmann (ed.): Proceedings of the 15th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19) 2019 , , , , , , :
Worst-case energy-consumption analysis by microarchitecture-aware timing analysis for device-driven cyber-physical systems
19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019 (Stuttgart, 9. July 2019)
In: Sebastian Altmeyer (ed.): OpenAccess Series in Informatics 2019
DOI: 10.4230/OASIcs.WCET.2019.4 , , , :
Mikroarchitekturgewahre Analyse des Ressourcenverbrauchs unter Berücksichtigung des Gesamtsystems
Workshop on Autonome Systeme – 50 Jahre PEARL, Echtzeit 2019
DOI: 10.1007/978-3-658-27808-3_8 :