LIPIcs, Volume 165, ECRTS 2020
-
Marcus Völp
LIPIcs, Volume 165, ECRTS 2020, Complete Volume
10.4230/LIPIcs.ECRTS.2020
-
Marcus Völp
Front Matter, Table of Contents, Preface, Conference Organization
10.4230/LIPIcs.ECRTS.2020.0
-
Gero Schwäricke, Tomasz Kloda, Giovani Gracioli, Marko Bertogna, and Marco Caccamo
Fixed-Priority Memory-Centric Scheduler for COTS-Based Multiprocessors
10.4230/LIPIcs.ECRTS.2020.1
-
Abusayeed Saifullah, Sezana Fahmida, Venkata P. Modekurthy, Nathan Fisher, and Zhishan Guo
CPU Energy-Aware Parallel Real-Time Scheduling
10.4230/LIPIcs.ECRTS.2020.2
-
Soham Sinha, Richard West, and Ahmad Golchin
PAStime: Progress-Aware Scheduling for Time-Critical Computing
10.4230/LIPIcs.ECRTS.2020.3
-
Stefanos Skalistis and Angeliki Kritikakou
Dynamic Interference-Sensitive Run-time Adaptation of Time-Triggered Schedules
10.4230/LIPIcs.ECRTS.2020.4
-
Filip Marković, Jan Carlson, Sebastian Altmeyer, and Radu Dobrin
Improving the Accuracy of Cache-Aware Response Time Analysis Using Preemption Partitioning
10.4230/LIPIcs.ECRTS.2020.5
-
James Robb and Björn B. Brandenburg
Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking
10.4230/LIPIcs.ECRTS.2020.6
-
Kunal Agrawal, Sanjoy Baruah, and Alan Burns
The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems
10.4230/LIPIcs.ECRTS.2020.7
-
Nicolas Bellec, Simon Rokicki, and Isabelle Puaut
Attack Detection Through Monitoring of Timing Deviations in Embedded Real-Time Systems
10.4230/LIPIcs.ECRTS.2020.8
-
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, and Tommaso Cucinotta
Demystifying the Real-Time Linux Scheduling Latency
10.4230/LIPIcs.ECRTS.2020.9
-
Nathan Otterness and James H. Anderson
AMD GPUs as an Alternative to NVIDIA for Supporting Real-Time Workloads
10.4230/LIPIcs.ECRTS.2020.10
-
Alexander Zuepke
Turning Futexes Inside-Out: Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP
10.4230/LIPIcs.ECRTS.2020.11
-
Francesco Restuccia, Marco Pagani, Alessandro Biondi, Mauro Marinoni, and Giorgio Buttazzo
Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs
10.4230/LIPIcs.ECRTS.2020.12
-
Nathanaël Sensfelder, Julien Brunel, and Claire Pagetti
On How to Identify Cache Coherence: Case of the NXP QorIQ T4240
10.4230/LIPIcs.ECRTS.2020.13
-
Sims Hill Osborne and James H. Anderson
Simultaneous Multithreading and Hard Real Time: Can It Be Safe?
10.4230/LIPIcs.ECRTS.2020.14
-
Xavier Palomo, Mikel Fernandez, Sylvain Girbal, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla, and Laurent Rioux
Tracing Hardware Monitors in the GR712RC Multicore Platform: Challenges and Lessons Learnt from a Space Case Study
10.4230/LIPIcs.ECRTS.2020.15
-
Mohamed Hassan
Discriminative Coherence: Balancing Performance and Latency Bounds in Data-Sharing Multi-Core Real-Time Systems
10.4230/LIPIcs.ECRTS.2020.16
-
Anaïs Finzi and Luxi Zhao
Impact of AS6802 Synchronization Protocol on Time-Triggered and Rate-Constrained Traffic
10.4230/LIPIcs.ECRTS.2020.17
-
Lea Schönberger, Georg von der Brüggen, Kuan-Hsun Chen, Benjamin Sliwa, Hazem Youssef, Aswin Karthik Ramachandran Venkatapathy, Christian Wietfeld, Michael ten Hompel, and Jian-Jia Chen
Offloading Safety- and Mission-Critical Tasks via Unreliable Connections
10.4230/LIPIcs.ECRTS.2020.18
-
Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, and Lothar Thiele
The Time-Triggered Wireless Architecture
10.4230/LIPIcs.ECRTS.2020.19
-
Alix Munier Kordon and Ning Tang
Evaluation of the Age Latency of a Real-Time Communicating System Using the LET Paradigm
10.4230/LIPIcs.ECRTS.2020.20
-
Martina Maggio, Arne Hamann, Eckart Mayer-John, and Dirk Ziegenbein
Control-System Stability Under Consecutive Deadline Misses Constraints
10.4230/LIPIcs.ECRTS.2020.21
-
Sergey Bozhko and Björn B. Brandenburg
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle
10.4230/LIPIcs.ECRTS.2020.22
-
Mohamed Hassan and Rodolfo Pellizzoni
Analysis of Memory-Contention in Heterogeneous COTS MPSoCs
10.4230/LIPIcs.ECRTS.2020.23
-
Anam Farrukh and Richard West
smARTflight: An Environmentally-Aware Adaptive Real-Time Flight Management System
10.4230/LIPIcs.ECRTS.2020.24