Publications in 2020 at CS 4 at FAU

Lang, Clemens ; Stilkerich, Isabella:
Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems.
In: ACM Transactions on Embedded Computing Systems (TECS) 19 (2020), pp No. 6
Keywords: Memory Management; Real-Time Systems; Type-safe Runtime Systems; Functional Safety; Dependable Software Architectures; KESO; AORTA; ARAMiS II
[doi>10.1145/3372133] (BibTeX)

Roppenecker, Günter ; Ulbrich, Peter:
Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
Schutzrecht (BibTeX)

Rheindt, Sven ; Maier, Sebastian ; Pohle, Nora ; Nolte, Lars ; Lenke, Oliver ; Schmaus, Florian ; Wild, Thomas ; Schröder-Preikschat, Wolfgang ; Herkersdorf, Andreas:
DySHARQ: Dynamic Software-Defined Hardware-Managed Queues for Tile-Based Architectures.
In: International Journal of Parallel Programming (2020),
Keywords: InvasIC
[doi>10.1007/s10766-020-00687-7] (BibTeX)

Gerhorst, Luis ; Reif, Stefan ; Herzog, Benedict ; Hönig, Timo:
EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software.
In: IEEE (Ed.) : Proceedings of the 2020 Brazilian Symposium on Computing Systems Engineering (SBESC '20)
(Brazilian Symposium on Computing Systems Engineering, online, 2020-11-23).
2020, pp 1-8.
Keywords: energy aware systems; tools; performance evaluation; resource management; design methodologies (BibTeX)

Eischer, Michael ; Straßner, Benedikt ; Distler, Tobias:
Low-Latency Geo-Replicated State Machines with Guaranteed Writes.
In: ACM (Ed.) : Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '20)
(7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '20), Heraklion, 27 April).
2020.
Keywords: REFIT
[doi>10.1145/3380787.3393686] (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Hügel, Fabian ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Nearly Symmetric Multi-Core Processors.
In: ACM (Ed.) : Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems
(The 11th ACM SIGOPS Asia-Pacific Workshop on Systems, Tsukuba, Japan, 2020-08-24).
2020, pp 1–8.
Keywords: InvasIC; eLARN; LAOS (BibTeX)

Erhardt, Christoph:
Operating-System Support for Efficient Fine-Grained Concurrency in Applications.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2020.
- 234 pages.
Keywords: operating system; concurrency platform; parallelism; multicore; manycore; invasive computing (BibTeX)

Köhler, Sven ; Herzog, Benedict ; Hönig, Timo ; Wenzel, Lukas ; Plauth, Max ; Nolte, Jörg ; Polze, Andreas ; Schröder-Preikschat, Wolfgang:
Pinpoint the Joules: Unifying Runtime-Support for Energy Measurements on Heterogeneous Systems.
In: IEEE (Ed.) : Proceedings of the 10th International Workshop on Runtime and Operating Systems for Supercomputers (ROSS 2020)
(International Workshop on Runtime and Operating Systems for Supercomputers, online, 13.11.2020).
2020, pp 31-40.
Keywords: InvasIC; Coke (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Hemp, Judith ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Precious: Resource-Demand Estimation for Embedded Neural Network Accelerators.
In: mlsys.org (Ed.) : Proceedings of the 1st International Workshop on Benchmarking Machine Learning Workloads on Emerging Hardware
(1st International Workshop on Benchmarking Machine Learning Workloads on Emerging Hardware (CHALLENGE'20), Austin, TX, USA, 04.03.2020).
2020, pp 1-9.
Keywords: InvasIC, PAX, eLARN (BibTeX)

Reif, Stefan ; Schröder-Preikschat, Wolfgang:
Precisely Timed Task Execution.
In: IEEE (Ed.) : Proceedings of the 23rd International Symposium on Real-Time Distributed Computing
(International Symposium on Real-Time Distributed Computing (ISORC 2020), Nashville, TN, USA, May 19-21).
2020, pp 1-10.
Keywords: Latency; Jitter; OS Noise; Predictability; Interference; Timed Task Execution (BibTeX)

Eischer, Michael ; Distler, Tobias:
Resilient Cloud-based Replication with Low Latency.
In: ACM (Ed.) : Proceedings of the 21st Middleware Conference (Middleware '20)
(Middleware '20, Delft, 7-11 December).
2020, pp 14-28.
Keywords: REFIT, Best Student Paper
[doi>10.1145/3423211.3425689] (BibTeX)

Teich, Jürgen ; Mahmoody, Pouya ; Pourmohseni, Behnaz ; Roloff, Sascha ; Schröder-Preikschat, Wolfgang ; Wildermann, Stefan:
Run-Time Enforcement of Non-functional Program Properties on MPSoCs.
In: Chen, Jian-Jia (Ed.) : A Journey of Embedded and Cyber-Physical Systems.
Hillerød : Springer, Cham, 2020, pp 125-149.
[doi>10.1007/978-3-030-47487-4_9] (BibTeX)

Schmaus, Florian ; Maier, Sebastian ; Langer, Tobias ; Rabenstein, Jonas ; Hönig, Timo ; Bauer, Lars ; Henkel, Jörg ; Schröder-Preikschat, Wolfgang:
System Software for Resource Arbitration on Future Many-* Architectures.
In: IEEE (Ed.) : 2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
(Workshop on Resource Arbitration for Dynamic Runtimes (RADR), New Orleans).
2020, pp 967-975.
Keywords: InvasIC
[doi>10.1109/IPDPSW50202.2020.00160] (BibTeX)

Schmaus, Florian ; Maier, Sebastian ; Langer, Tobias ; Rabenstein, Jonas ; Bauer, Lars ; Henkel, Jörg ; Schröder-Preikschat, Wolfgang:
Towards Taming the Computing Continuum: System Software for Future Many-Core Architectures.
Talk: HiPEAC 2020,
Bologna, 21.01.2020 (BibTeX)

Bräunling, Felix ; Hilbrich, Robert ; Wegener, Simon ; Kästner, Daniel ; Stilkerich, Isabella:
Using Generic Software Components for Safety-Critical Embedded Systems - An Engineering Framework.
In: HAL (Ed.) : 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020)
(10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Toulouse, France, 31.1.2020).
https://hal.archives-ouvertes.fr/hal-02479141 : HAL, 2020, pp hal-02479141.
Keywords: Memory Management; Real-Time Systems; Type-safe Runtime Systems; Functional Safety; Dependable Software Architectures; KESO; AORTA; ARAMiS II (BibTeX)

Patel, Tirthak ; Eibel, Christopher ; Zeiser, Thomas ; Tiwari, Devesh ; Wagenhäuser, Adam ; Hönig, Timo:
What does Power Consumption Behavior of HPC Jobs Reveal?
In: IEEE (Ed.) : Proceedings of the 34th IEEE International Parallel & Distributed Processing Symposium
(34th IEEE International Parallel & Distributed Processing Symposium (IPDPS'20), New Orleans, LA, USA, 18.05.2020-22.05.2020).
2020, pp 1-11.
Keywords: InvasIC (BibTeX)

Reif, Stefan ; Raffeck, Phillip ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Work In Progress: Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems.
In: IEEE (Ed.) : Proceedings of the 41st Real-Time Systems Symposium (RTSS 2020)
(41st Real-Time Systems Symposium (RTSS 2020), virtual, 2020-12-1).
2020, pp 1-4. (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Gil Pereira, Pablo ; Schmidt, Andreas ; Büttner, Tobias ; Hönig, Timo ; Schröder-Preikschat, Wolfgang ; Herfet, Thorsten:
X-Leep: Leveraging Cross-Layer Pacing for Energy-Efficient Edge Systems.
In: ACM (Ed.) : Proceedings of the 1st Workshop on Energy Efficiency at the Edge
(The 1st Workshop on Energy Efficiency at the Edge (WEEE 2020), virtuell, 2020-06-26).
2020, pp 1-6.
Keywords: Energy Efficiency; DVFS; Real-Time Communication; Cross-Layer Pacing; Edge Computing; Internet of Thingss
[doi>10.1145/3396851.3402924] (BibTeX)