Tuesday 11th Dec 2018
Workshop Chairs: Zhishan Guo and Jing Li
9:20 – 10:20 – Workshops Session 1: KEYNOTE
Mixed-Criticality Scheduling theory: Scope, Promise, and Limitations
Sanjoy Baruah
10:20 – 10:50 – Coffee Break
10:50 – 12:30 – Workshops Session 2:
Mixed-Criticality Probabilistic Real-Time Systems Analysis using Discrete Time Markov Chain
Jasdeep Singh, Luca Santinelli, David Doose, Julien Brunel and Guillaume Infantes
Supporting Graceful Degradation through Elasticity in Mixed-Criticality Federated Scheduling
Chris Gill, James Orr and Steven Harris
Decoupling Criticality and Importance in Mixed-Criticality Scheduling
Konstantinos Bletsas, Muhammad Ali Awan, Pedro Souto, Benny Akesson, Alan Burns and Eduardo Tovar
Journal-Never-Presented: Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks
Gang Chen, Nan Guan, Todor Stefanov and Wang Yi
12:30 – 14:00 – Lunch
14:00 – 14:30 – Workshops Session 3:
Supporting Critical Modes in AirTight
James Harbin, David Griffin, Alan Burns, Iain Bate, Rob Davis and Leandro Indrusiak
14:30 – 15:40 – Workshops Session 4: INVITED TALKS
MPSoCs for Mixed-Criticality Systems: Challenges and Opportunities
Mohamed Hassan
Mixed-Criticality Systems: What Is it Really?
Geoffrey Nelissen
15:40 – 16:10 – Coffee Break
16:10 – 17:50 – Workshops Session 5: INVITED TALKS & PANEL DISCUSSION
Mixed-Criticality Systems: Safety & Statistical Guarantees
Sathish Gopalakrishnan