A process algebraic approach to the specification and analysis of resource-bound real-time systems

Author

Lee, Inkyu ; Brémond-Grégoire, Patrice ; Gerber, Richard

Author_Institution

Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA

Volume

82

Issue

1

fYear

1994

fDate

1/1/1994 12:00:00 AM

Firstpage

158

Lastpage

171

Abstract

Recently, significant progress has been made in the development of timed process algebras for the specification and analysis of real-time systems. This paper describes a timed process algebra called ACSR, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to capture synchronization between processes. To be able to specify real systems accurately, ACSR supports a notion of priority that can be used to arbitrate among timed actions competing for the use of resources and among events that are ready for synchronization. The paper also includes a brief overview of other timed process algebras and discusses similarities and differences between them and ACSR

Keywords

formal logic; formal specification; real-time systems; synchronisation; ACSR; formal methods; instantaneous events; process algebraic approach; reliability; resource-bound real-time systems; specification; synchronization; timed actions; timed process algebras; Algebra; Availability; Computer science; Delay; Information science; Logic functions; Mathematical model; Prototypes; Real time systems; Timing;

fLanguage

English

Journal_Title

Proceedings of the IEEE

Publisher

ieee

ISSN

0018-9219

Type

jour

DOI

10.1109/5.259433

Filename

259433