Abstract
The 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 perform schedulability analysis on real-time systems specified in ACSR-VP automatically by checking for a certain bisimulation relation.
| Original language | English |
|---|---|
| Pages | 266-275 |
| Number of pages | 10 |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 1995 16th IEEE Real-Time Systems Symposium - Pisa, Italy Duration: 1995 Dec 5 → 1995 Dec 7 |
Other
| Other | Proceedings of the 1995 16th IEEE Real-Time Systems Symposium |
|---|---|
| City | Pisa, Italy |
| Period | 95/12/5 → 95/12/7 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications