Workshop on Mixed Criticality Systems 2014
PROGRAM 2nd Dec 2014
09:00 Session 1:
Introduction
Invited talk: REAL-TIME SCHEDULING OF MIXED-CRITICALITY SYSTEMS: WHAT ARE THE "X" FACTORS?
Risat Pathan.
(Presentation).
SYSTEM MODE CHANGES - GENERAL AND CRITICALITY-BASED
Alan Burns
(Paper,
Presentation).
10:30 Coffee Break
11:00 Session 2:
MIXED-CRITICALITY SUPPORT IN A HIGH-ASSURANCE, GENERAL-PURPOSE MICROKERNEL
Anna Lyons and Gernot Heiser
(Paper,
Presentation).
ON SPATIAL ISOLATION FOR MIXED CRITICALITY, EMBEDDED SYSTEMS
Eric Armbrust, Jiguo Song, Gedare Bloom and Gabriel Parmer
(Paper).
Open Discussion
12:30 Lunch
14:00 Session 3:
ACHIEVING TEMPORAL ISOLATION IN MULTIPROCESSOR MIXED-CRITICALITY SYSTEMS
Sanjoy Baruah and Alan Burns
(Paper).
A MEMORY ARBITRATION SCHEME FOR MIXED-CRITICALITY MULTICORE PLATFORMS
Bekim Cilku, Peter Puschner, Alfons Crespo, Salvador Peiro and Javier Coronel
(Paper,
Presentation).
Open Discussion
15:30 Coffee Break
16:00 Session 4:
INCORPORATING THE NOTION OF IMPORTANCE INTO MIXED CRITICALITY SYSTEMS
Tom Fleming and Alan Burns
(Paper,
Presentation).
SCHEDULING MIXED-CRITICALITY REAL-TIME TASKS WITH FAULT TOLERANCE
Jian (Denny) Lin, Albert Cheng, Douglas Steel and Michael Yu-Chi Wu
(Paper,
Presentation).
Wrap-up