A process algebraic approach to the schedulability analysis of real-time systems

被引：24

作者：

Ben-Abdallah, H ^{[1
]}

Choi, JY ^{[1
]}

Clarke, D ^{[1
]}

机构：

[1] Univ Penn, Dept Comp & Informat Sci, Philadelphia, PA 19104 USA

来源：

REAL-TIME SYSTEMS | 1998年 / 15卷 / 03期

基金：

美国国家科学基金会;

关键词：

process algebra; real-time systems; earliest-deadline-first scheduling; priority inheritance protocol; schedulability analysis; algebra of communicating shared resources;

D O I：

10.1023/A:1008047130023

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

To engineer reliable real-time systems, it is desirable to detect timing anomalies early in the development process. However, there is little work addressing the problem of accurately predicting timing properties of realtime systems before implementations are developed. This paper describes an approach to the specification and schedulability analysis of real-time systems based on the timed process algebra ACSR-VP, which is an extension of ACSR with value-passing communication and dynamic priorities. Combined with the existing features of ACSR for representing time, synchronization and resource requirements, ACSR-VP is capable of specifying a variety of real-time systems with different scheduling disciplines in a modular fashion. Moreover, we can use VERSA, a toolkit we have developed for ACSR, to perform schedulability analysis on real-time systems specified in ACSR-VP automatically by checking for a certain bisimulation relation.

引用

页码：189 / 219

页数：31

共 35 条

[1]

[Anonymous], J REAL TIME SYSTEMS

[2]

[Anonymous], 1995, Advances in real-time systems

[3]

BREMONDGREGOIRE P, 1997, INFORMATION COMPUTAT

[4]

BREMONDGREGOIRE P, 1994, MSCIS9424 U PENNS DE

[5] PRIORITY INHERITANCE AND MESSAGE PASSING COMMUNICATION - A FORMAL TREATMENT [J].

BURNS, A ;

WELLINGS, AJ .

REAL-TIME SYSTEMS, 1991, 3 (01) :19-44

[6] DYNAMIC PRIORITY CEILINGS - A CONCURRENCY-CONTROL PROTOCOL FOR REAL-TIME SYSTEMS [J].

CHEN, MI ;

LIN, KJ .

REAL-TIME SYSTEMS, 1990, 2 (04) :325-346

[7]

Clarke D., 1995, Journal of Computer and Software Engineering, V3, P189

[8]

CLEAVELAND R, 1994, P PRINC PROGR PORT O

[9]

CLEAVELAND R, 1990, PROTOCOL SPECIFICATI, V9, P287

[10]

CORBETT JC, 1994, REAL TIM SYST SYMP P, P132, DOI 10.1109/REAL.1994.342723

← 1 2 3 4 →