Browsing by Subject "Real-time process algebra"
Now showing items 1-2 of 2
-
Article
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
(2012)As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
-
Article
Probabilistic resource failure in real-time process algebra
(1998)PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...