Date: Tuesday 19 March 2013
Time: 11:30 - 13:00
Location / Room: Les Bans

Chair:
Giuseppe Lipari, ENS – Cachan, FR

Co-Chair:
Frank Slomka, University of Ulm, DE

This session presents novel methodologies for the design and analysis of safety critical real-time systems. The first paper concerns sensitivity analysis, which characterizes bounds on admissible system parameters. The contribution concerns the bounds on admissible activation pattern of the recurrent real-time tasks. The last two papers concern mixed-criticality scheduling, an effective approach to address diverse certification requirements of safety-critical systems that integrate multiple subsystems with different levels of criticality. The contribution of the first one includes schedulability analysis algorithms to enable integration of preemption threshold (technique which controls the degree of preemption) in order to reduce scheduler overhead and improve system predictability. The second one proposes an Early-Release EDF scheduling algorithm, which can judiciously manage the early release of low-criticality tasks without affecting the timeliness of high-criticality tasks.

Time	Label	Presentation Title Authors
11:30	2.7.1	SENSITIVITY ANALYSIS FOR ARBITRARY ACTIVATION PATTERNS IN REAL-TIME SYSTEMS Authors: Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer and Rolf Ernst, TU Braunschweig, DE Abstract
12:00	2.7.2	PT-AMC: INTEGRATING PREEMPTION THRESHOLDS INTO MIXED-CRITICALITY SCHEDULING Authors: Qingling Zhao1, Zonghua Gu1 and Haibo Zeng2 1Zhejiang University, CN; 2McGill University, CA Abstract
12:30	2.7.3	AN ELASTIC MIXED-CRITICALITY TASK MODEL AND ITS SCHEDULING ALGORITHM Authors: Hang Su and Dakai Zhu, The University of Texas at San Antonio, US Abstract
13:00	IP1-10, 152	AN OPEN PLATFORM FOR MIXED-CRITICALITY REAL-TIME ETHERNET Authors: Gonzalo Carvajal1 and Sebastian Fischmeister2 1Universidad de Concepcion, CL; 2University of Waterloo, CA Abstract
13:00		End of session Lunch Break in Auditorium Dauphine (Lunch and Learn Session) and Ecrins Sandwich lunch in both locations (Lunch and Learn Session Sponsored by Mentor Graphics: "Grenoble Ecosystem to Provide Semiconductor Alternative Process for Advanced CMOS - 1300-1400 hrs; http://www.date-conference.com/conference/session/3.0)