Workshop on Mixed Criticality Systems

PRELIMINARY PROGRAM 3rd Dec 2013

09:00 Session 1:

Introduction

Invited talk: REMINISCENCES ON MIXED CRITICALITY SYSTEMS
Steve Vestal.

TOWARDS A MORE PRACTICAL MODEL FOR MIXED CRITICALITY SYSTEMS
Alan Burns and Sanjoy Baruah. (Paper, Presentation).

EXTENDING MIXED CRITICALITY SCHEDULING
Tom Fleming and Alan Burns. (Paper, Presentation).

ON THE EXPRESSIVENESS OF FIXED-PRIORITY SCHEDULING CONTEXTS FOR MIXED-CRITICALITY SCHEDULING
Marcus Volp, Adam Lackorzynski and Hermann Hartig. (Paper, Presentation).

Questions and Discussion

10:30 Coffee Break

11:00 Session 2:

SAFETY ASSURANCE DRIVEN PROBLEM FORMULATION FOR MIXED-CRITICALITY SCHEDULING
Patrick Graydon and Iain Bate. (Paper, Presentation).

A SAFETY CONCEPT FOR A WIND POWER MIXED-CRITICALITY EMBEDDED SYSTEM BASED ON MULTICORE PARTITIONING
Jon Perez, David Gonzalez, Salvador Trujillo, Ton Trapman and Jose Miguel Garate. (Paper, Presentation).

THE QUEST-V SEPARATION KERNEL FOR MIXED CRITICALITY SYSTEMS
Ye Li, Richard West and Eric Missimer. (Paper, Presentation).

MEMORY ARCHITECTURES FOR NOC-BASED REAL-TIME MIXED CRITICALITY SYSTEMS
Neil Audsley. (Paper, Presentation).

Questions and Discussion

12:30 Lunch

14:00 Session 3:

MAXIMIZING THE EXECUTION RATE OF LOW-CRITICALITY TASKS IN MIXED CRITICALITY SYSTEM
Mathieu Jan, Lilia Zaourar and Maurice Pitel. (Paper, Presentation).

MULTI-CRITERIA EVALUATION OF PARTITIONED EDF-VD FOR MIXED-CRITICALITY SYSTEMS UPON IDENTICAL PROCESSORS
Paul Rodriguez, Laurent George, Yasmina Abdeddaim and Joel Goossens. (Paper, Presentation).

MIXED CRITICALITY SCHEDULING APPLIED TO JPEG2000 VIDEO STREAMING OVER WIRELESS MULTIMEDIA SENSOR NETWORKS
Alemayehu Addisu, Laurent George, Vincent Sciandra and Max Agueh. (Paper, Presentation).

STATE-BASED MODE SWITCHING WITH APPLICATIONS TO MIXED-CRITICALITY SYSTEMS
Pontus Ekberg, Martin Stigge, Nan Guan and Wang Yi. (Paper, Presentation).

Questions and Discussion

15:30 Coffee Break

16:00 Session 4:

TIME-TRIGGERED MIXED-CRITICAL SCHEDULER
Dario Socci, Peter Poplavko, Saddek Bensalem and Marius Bozga. (Paper, Presentation ).

MIXED CRITICALITY SCHEDULING IN TIME-TRIGGERED LEGACY SYSTEMS
Jens Theis and Gerhard Fohler. (Paper, Presentation).

SCHEDULE TABLE GENERATION FOR TIME-TRIGGERED MIXED CRITICALITY SYSTEMS
Jens Theis, Gerhard Fohler and Sanjoy Baruah. (Paper, Presentation).

Questions and Discussion

Wrap-up

17:15 Finish