A Family of Resource-Bound Real-Time Process Algebras

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Real-time process algebra
probablistic process algebra
value-passing process algebra
schedulability analysis
real-time systems
resource-bound process algebra
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Choi, Jin-Young
Kwak, Hee Hwan
Philippou, Anna
Contributor
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.

Advisor
Date of presentation
2001-08-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:23:56.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
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.)
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.)
Recommended citation
Collection