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