A family of resource-bound real-time process algebras

被引：0

作者：

Lee, I ^{[1
]}

Choi, JY ^{[1
]}

Kwak, HH ^{[1
]}

Philippou, A ^{[1
]}

Sokolsky, O ^{[1
]}

机构：

[1] Univ Penn, Philadelphia, PA 19104 USA

来源：

FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS | 2001年 / 69卷

关键词：

real-time process algebra; probablistic process algebra; value-passing process algebra; schedulability analysis; real-time systems; resource-bound process algebra;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：443 / 458

页数：16

共 18 条

[1]

BENABDALLAH H, 1996, IRCS9618 U PENNS DEP

[2] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION [J].