————
8:00-9:00 – Registration
————
9:00-10:00 – Session 1: Probabilistic Modeling and Scheduling
- Use of probabilities and formal methods to control system criticality levels – Slides
Jasdeep Singh, Luca Santinelli, Zhishan Guo, Julien Brunel, David Doose and Guillaume Infantes
- Probabilistic parallel real-time tasks model on multiprocessor platform – Slides
Slim Ben Amor and Liliana Cucu-Grosjean
- How effective is sensitivity analysis with probabilistic models? – Slides
Luca Santinelli
- Collaboration session
————
10:00-10:30 – Coffee break
————
10:30-12:00 – Session 2: Bounds and Analyses
- A Switch-back Protocol for Task-level Criticality Mode on Mixed-Criticality Systems – Slides
Jaewoo Lee, Hyeongboo Baek and Jinkyu Lee
- Resource Augmentation Bounds of EDF and Partitioned-EDF for Sporadic Tasks with Constrained Deadlines – Slides
Xin Han and Zhishan Guo
- Priority Assignment in Fixed Priority Pre-emptive Systems with Varying Context Switch Costs – Slides
Robert Davis, Sebastian Altmeyer and Alan Burns
- Collaboration Session
————
12:00-13:30 – Lunch
————
13:30-15:00 – Session 3: Scheduling Algorithms
- Open Problems in FIFO Scheduling with Multiple Offsets – Slides
Mitra Nasri, Robert I. Davis and Björn Brandenburg
- DAG Scheduling Algorithm Considering Large-scale Calculation Task Using Many-core Architecture – Slides
Yuto Kitagawa and Takuya Azumi
- Hard Instances of Mixed-Criticality Scheduling
Kunal Agrawal and Sanjoy Baruah
- Collaboration Session
————
15:00-15:30 – Cofee break
————
15:30 – 17:00 – Session 4: Theory to Applications
- Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux – Slides
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, Tommaso Cucinotta, Alessandro Biondi and Giorgio Buttazzo
- Towards temporal constraints in self driving cars – Slides
Evariste Ntaryamira, Cristian Maxim, Carlos Flores Pino and Liliana Cucu-Grosjean
- Deep Neural Networks for Safety-Critical Applications: Vision and Open Problems – Slides
Daniel Casini, Alessandro Biondi and Giorgio Buttazzo
- Collaboration Session
————
