ENGINEERING A HARD REAL-TIME SYSTEM - FROM THEORY TO PRACTICE

被引:13
作者
BURNS, A
WELLINGS, AJ
机构
[1] Real-Time Systems Research Group, Department of Computer Science, University of York
关键词
SCHEDULING; REAL-TIME; PERFORMANCE EVALUATION; ADA; KERNELS;
D O I
10.1002/spe.4380250702
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
More and more programmers find their software being used in performance critical applications. Unfortunately, they have limited techniques at their disposal to help guarantee this particular aspect of their programs. There has been considerable activity in recent years on developing analysis techniques for hard real-time systems. Inevitably these techniques make simplifying assumptions so as to reduce the complexity of the problem to be solved. For example hard real-time schedulability analysis techniques often assume that the timing properties of the underlying kernel can be accounted for by incorporating extra execution time into the application tasks. Furthermore, they assume that the application task structure is very simple and uniform. This paper considers the implications of using these techniques in the analysis of a typical single processor application, the attitude and orbital control system (AOCS) for the Olympus satellite. The paper outlines a common approach for estimating the response times for tasks, and then extends the scheduling equations so that they can be used in the engineering of realistic real-time systems.
引用
收藏
页码:705 / 726
页数:22
相关论文
共 23 条
[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]  
Audsley N. C., 1993, Control Engineering Practice, V1, P71, DOI 10.1016/0967-0661(93)92105-D
[3]  
BAILEY CM, 1992, P INT S REAL TIM EMB
[4]   SCHEDULING HARD REAL-TIME SYSTEMS - A REVIEW [J].
BURNS, A .
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03) :116-128
[5]  
BURNS A, 1993, LECTURE NOTES COMPUT
[6]  
BURNS A, 1987, ADA YEAR BOOK, V262
[7]  
CHANG S, 1988, HARD REAL TIME SYSTE, P150
[8]  
FORSYTH CH, 1992, ESTEC919890NLSF CONT, VE
[9]   ENGINEERING AND ANALYSIS OF FIXED PRIORITY SCHEDULERS [J].
KATCHER, DI ;
ARAKAWA, H ;
STROSNIDER, JK .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (09) :920-934
[10]  
KATCHER DI, 1992, P IEEE WORKSHOP REAL, P15