DocumentCode :
1948393
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
fYear :
2013
fDate :
10-13 Sept. 2013
Firstpage :
1
Lastpage :
8
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Conference_Location :
Cagliari
ISSN :
1946-0740
Print_ISBN :
978-1-4799-0862-2
Type :
conf
DOI :
10.1109/ETFA.2013.6647967
Filename :
6647967
Link To Document :
بازگشت