Sciweavers

Share
FORTE
2001

A Family of Resource-Bound Real-Time Process Algebras

8 years 8 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends not only on delays due to process synchronization, but also on the availability of shared resources. Thus, ACSR employs resources as a basic primitive and it represents a real-time system as a collection of concurrent processes which may communicate with each other by means of instantaneous events and compete for the usage of shared resources. Resources are used to model physical devices such as processors, memory modules, communication links, or any other reusable resource of limited capacity. ally, they provide a convenient abstraction mechanism for capturing a variety of aspects of system behavior. The resulting framework combines the areas of process algebra and real-time scheduling, and can facilitate the reasoning about systems that are sensitive to deadline...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where FORTE
Authors Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
Comments (0)
books