Efficient performance estimation for general real-time task systems

被引:2
作者
Liu, HC [1 ]
Hu, XB [1 ]
机构
[1] Univ Notre Dame, Dept Comp Engn & Sci, Notre Dame, IN 46556 USA
来源
ICCAD 2001: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS | 2001年
关键词
D O I
10.1109/ICCAD.2001.968681
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The paper presents a novel approach to compute tight upper bounds on the processor utilization independent of the implementation for general real-time systems where tasks are composed of subtasks and precedence constraints may exist among subtasks of the same task. We formulate the problem as a set of linear programming (LP) problems. Observations are made to reduce the number of LP problem instances required to be solved, which greatly improves the computation time of the utilizatoin bounds. Furthermore, additional constraints are allowed to be included Under certain circumstances to improve the quality of the bounds.
引用
收藏
页码:464 / 470
页数:7
相关论文
共 15 条
[1]   APPLYING NEW SCHEDULING THEORY TO STATIC PRIORITY PREEMPTIVE SCHEDULING [J].
AUDSLEY, N ;
BURNS, A ;
RICHARDSON, M ;
TINDELL, K ;
WELLINGS, AJ .
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (05) :284-292
[2]  
Balarin F, 1997, DES AUT CON, P52, DOI 10.1145/266021.266034
[3]   NEW STRATEGIES FOR ASSIGNING REAL-TIME TASKS TO MULTIPROCESSOR SYSTEMS [J].
BURCHARD, A ;
LIEBEHERR, J ;
OH, YF ;
SON, SH .
IEEE TRANSACTIONS ON COMPUTERS, 1995, 44 (12) :1429-1442
[4]  
de Oliveira RS, 2000, J SYST ARCHITECT, V46, P991, DOI 10.1016/S1383-7621(00)00004-7
[5]  
Dick RP, 1998, HARDW SOFTW CODES, P97, DOI 10.1109/HSC.1998.666245
[6]  
HALANG WA, 1994, P NATO ADV STUD I RE, P595
[7]   TIMING ANALYSIS FOR FIXED-PRIORITY SCHEDULING OF HARD REAL-TIME SYSTEMS [J].
HARBOUR, MG ;
KLEIN, MH ;
LEHOCZKY, JP .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (01) :13-28
[8]  
Heath MT., 2018, SCI COMPUTING INTRO
[9]  
HU X, 2000, P 8 INT WORKSH HARDW, P72
[10]   SCHEDULING ALGORITHMS FOR MULTIPROGRAMMING IN A HARD-REAL-TIME ENVIRONMENT [J].
LIU, CL ;
LAYLAND, JW .
JOURNAL OF THE ACM, 1973, 20 (01) :46-61