Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

被引:6
作者
Tavares, Eduardo [1 ]
Maciel, Paulo [1 ]
Silva, Bruno [1 ]
Oliveira, Meuse N., Jr. [2 ]
机构
[1] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
[2] CELN, Ctr Educ Tecnol Pernambuco, Recife, PE, Brazil
关键词
real-time systems; scheduling; formal methods; operating systems;
D O I
10.1016/j.ipl.2008.03.020
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Several scheduling approaches have been developed to address DVS in time-critical systems, however, overheads, precedence and exclusion relations have been neglected. This paper presents a pre-runtime scheduling method for hard real-time systems considering DVS, overheads as well as inter-task relations. The proposed method adopts a formal model based on time Petri nets in order to find a feasible schedule that satisfies timing and energy constraints. (c) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码:50 / 59
页数:10
相关论文
共 19 条
[1]  
AMORIM L, 2006, ACM SIGSOFT SOF ENG, P1
[2]   Power-aware scheduling for periodic real-time tasks [J].
Aydin, H ;
Melhem, R ;
Mossé, D ;
Mejía-Alvarez, P .
IEEE TRANSACTIONS ON COMPUTERS, 2004, 53 (05) :584-600
[3]  
CAI Y, 2006, ACM T DAES, P1
[4]  
CHANDRASENA L, 2001, ISSS 01
[5]  
CORTES L, 2005, DAC, P13
[6]  
Godefroid P., 1994, THESIS U LIEGE
[7]  
ISHIHARA T, 1998, ISLPED 98
[8]   Energy aware non-preemptive scheduling for hard real-time systems [J].
Jejurikar, R ;
Gupta, R .
17TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2005, :21-30
[9]  
Kim NY, 1996, REAL TIM SYST SYMP P, P300, DOI 10.1109/REAL.1996.563726
[10]  
KWON W, 2003, DAC 03