Title :
Interference Constraint Graph — A new specification for mixed-criticality systems
Author :
Pengcheng Huang ; Kumar, Pranaw ; Stoimenov, Nikolay ; Thiele, Lothar
Author_Institution :
Comput. Eng. & Networks Lab., ETH Zurich, Zurich, Switzerland
Abstract :
Current research in mixed-criticality systems assumes that any task of lower criticality levels can be dropped at anytime in order to guarantee the schedulability of tasks of higher criticality levels. However, in an industrial mixed-criticality system, tasks may interfere with each other only under certain scenarios. Currently a designer does not have any means to specify or control this. The paper proposes the Interference Constraint Graph (ICG) which specifies the allowed interferences between tasks. The new specification formalism generalizes and can easily express many of the existing mixed-criticality scheduling conditions. In spite of its generality, we show that standard fixed-priority scheduling can be efficiently applied. Experiments demonstrate that the ICG model enables systematic reduction of the number of tasks that can be dropped.
Keywords :
formal specification; graph theory; safety-critical software; scheduling; ICG; industrial mixed criticality system; interference constraint graph; mixed criticality scheduling; mixed criticality system specification; safety-critical levels; specification formalism; Interference constraints; Job shop scheduling; Runtime; Schedules; Switches;
Conference_Titel :
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Conference_Location :
Cagliari
Print_ISBN :
978-1-4799-0862-2
DOI :
10.1109/ETFA.2013.6647967