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

30 Citations (Scopus)

Abstract

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
Volume15
Issue number3
DOIs
Publication statusPublished - 1998
Externally publishedYes

Keywords

  • 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

Fingerprint 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