Program

————
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
    Jasdeep Singh, Luca Santinelli, Zhishan Guo, Julien Brunel, David Doose and Guillaume Infantes
  • Probabilistic parallel real-time tasks model on multiprocessor platform
    Slim Ben Amor and Liliana Cucu-Grosjean
  • How effective is sensitivity analysis with probabilistic models?
    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
    Jaewoo Lee, Hyeongboo Baek and Jinkyu Lee
  • Resource Augmentation Bounds of EDF and Partitioned-EDF for Sporadic Tasks with Constrained Deadlines
    Xin Han and Zhishan Guo
  • Priority Assignment in Fixed Priority Pre-emptive Systems with Varying Context Switch Costs
    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
    Mitra Nasri, Robert I. Davis and Björn Brandenburg
  • DAG Scheduling Algorithm Considering Large-scale Calculation Task Using Many-core Architecture
    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
    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
    Evariste Ntaryamira, Cristian Maxim, Carlos Flores Pino and Liliana Cucu-Grosjean
  • Deep Neural Networks for Safety-Critical Applications: Vision and Open Problems
    Daniel Casini, Alessandro Biondi and Giorgio Buttazzo
  • Collaboration Session

————