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 language | English |
|---|---|
| Pages (from-to) | 189-219 |
| Number of pages | 31 |
| Journal | Real-Time Systems |
| Volume | 15 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 1998 |
| Externally published | Yes |
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
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