ISSN:
1573-1383
Keywords:
Process algebra
;
Real-time systems
;
Earliest-deadline-first scheduling
;
Priority Inheritance Protocol
;
Schedulability analysis
;
Algebra of Communicating Shared Resources
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008047130023
Permalink