Departmental Papers (CIS)
Date of this Version
Insup Lee, Jin-Young Choi, Hee Hwan Kwak, Anna Philippou, and Oleg Sokolsky, "A Family of Resource-Bound Real-Time Process Algebras", . August 2001.
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.
Real-time process algebra, probablistic process algebra, value-passing process algebra, schedulability analysis, real-time systems, resource-bound process algebra
Date Posted: 10 March 2005
This document has been peer reviewed.
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.)