A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

Hanêne Ben-Abdallah, Jin Young Choi, Duncan Clarke, Young Si Kim, Insup Lee, Hong Liang Xie

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)


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 real-time 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.

Original languageEnglish
Pages (from-to)189-219
Number of pages31
JournalReal-Time Systems
Issue number3
Publication statusPublished - 1998
Externally publishedYes

Bibliographical note

Funding Information:
* This research was supported in part by AFOSR F49620-95-1-0508, AFOSR F49620-96-1-0204, ARO DAAH04-95-1-0092, NSF CCR-9415346, NSF CCR-9619910 and ONR N00014-97-1-0505


  • Algebra of Communicating Shared Resources
  • Earliest-deadline-first scheduling
  • Priority Inheritance Protocol
  • Process algebra
  • Real-time systems
  • Schedulability analysis

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modelling and Simulation
  • Computer Science Applications
  • Computer Networks and Communications
  • Control and Optimization
  • Electrical and Electronic Engineering


Dive into the research topics of 'A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems'. Together they form a unique fingerprint.

Cite this