Program

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

Comments are closed.