Departmental Papers (CIS)
Title
A Family of Resource-Bound Real-Time Process Algebras
Document Type
Conference Paper
Date of this Version
August 2001
Abstract
This paper describes three real-time process algebras, ACSR, PACSR and ACSR-VP. ACSR is a resource-bound real-time process that supports synchronous timed actions and asynchronous instantaneous events as well as the notions of resource, priority, exception, and interrupt. PACSR is a probabilistic extension of ACSR with resources that can fail and associated failure probabilities. ACSR-VP extends ACSR with value passing between processes and parameterized process definitions. This paper also provides three simple real-time system examples to illustrate the expressive power and analysis technique of each process algebra.
Keywords
Real-time process algebra, probablistic process algebra, value-passing process algebra, schedulability analysis, real-time systems, resource-bound process algebra
Download
Date Posted: 10 March 2005
This document has been peer reviewed.
Comments
Postprint version. Published in Formal Techniques for Networked and Distributed Systems: FORTE 2001: IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, IFIP Volume 69, 2001. Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (Eds.)