Keynote – 9:30 – 10:00
Timing Analysis and Verification of Multi-core Real-Time Systems for Aerospace Applications (presentation)(slides)
Iain Bate
Session 1: Real-Time Multicore Systems – 10:00 – 11:00
Session Chair: Joël Goossens
Design and analysis of programming platform for accelerated GPU-Like Architectures (presentation)
Zahaf Houssam Eddine and Giuseppe Lipari
Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems (presentation)(slides)
Adrien Quillet, Audrey Queudet and Didier Lime
Scheduling of Synchronous Dataflow Graphs with Partially Periodic Real-Time Constraints (presentation)
Alexandre Honorat, Karol Desnos, Shuvra Bhattacharyya and Jean Francois Nezan
Allocation of Real-Time Tasks onto Identical Core Platforms under Deferred fixed Preemption-Point Model (presentation)(slides)
Ikram Senoussaoui, Houssam-Eddine Zahaf, Mohammed Kamel Benhaoua, Giuseppe Lipari and Richard Olejnik
Session 2: Timing and Monitoring – 11:00 – 12:00
Session Chair: Isabelle Puaut
Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets (presentation)(slides)(best paper award)
Florian Brandner
Multi-Criteria Function Inlining for Hard Real-Time Systems (presentation)(slides)
Kateryna Muts and Heiko Falk
Establishing Confidence and Understanding Uncertainty in Real-Time Systems (presentation)(slides)
Iain Bate, David Griffin and Benjamin Lesage
NITRO: Non-Intrusive Task Detection and Monitoring in Hard Real-Time Systems (presentation)(slides)
Max Brand, Albrecht Mayer and Frank Slomka
Session 3: Scheduling Systems – 14:00 – 15:00
Session Chair: Sébastien Faucou
Requirement specification and model-checking of a real-time scheduler implementation (presentation)(slides)
Khaoula Boukir, Jean-Luc Béchennec and Anne-Marie Déplanche
Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System (presentation)
Stephen Law, Iain Bate and Benjamin Lesage
Scheduling DAGs When Processor Assignments Are Specified (presentation)(outstanding paper)
Sanjoy Baruah
Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations (presentation)(slides)
James Orr, Johnny Condori Uribe, Chris Gill, Sanjoy Baruah, Kunal Agrawal, Shirley Dyke, Arun Prakash, Iain Bate, Christopher Wong and Sabina Adhikari
Session 4: Networked Systems – 15:00 – 16:00
Session Chair: Marc Boyer
TEECheck: Securing Intra-Vehicular Communication Using Trusted Execution (presentation)(slides)(outstanding paper)
Tanmaya Mishra, Thidapat Chantem and Ryan Gerdes
Workload assignment for global real-time scheduling on unrelated multicore platforms (presentation)(slides)(outstanding paper)
Antoine Bertout, Joel Goossens, Emmanuel Grolleau and Xavier Poczekajlo
Adaptive Routing with Guaranteed Delay Bounds using Safe Reinforcement Learning (presentation)(slides)
Gautham Nayak Seetanadi, Karl-Erik Arzen and Martina Maggio
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts (presentation)(slides)
Jean Ibarz, Matthieu Roy, Michaël Lauer, Jean-Charles Fabre and Olivier Flébus
