Program Chairs:

Steering Committee:

Program Committee:

Previous WMC:

Next WMC:

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

17:30 Finish