Automatically assigned DDC number: 0051

Manually assigned DDC number: 00433

Number of references: 0

Title: Probabilistic Resource Failure in Real-Time Process Algebra

Author:

Author:

Author:

Subject: Rance Cleaveland,Insup Lee,Scott Smolka Probabilistic Resource Failure in Real-Time Process Algebra

Description: . 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 physical devices. Here, resources are invested with the ability to fail and are associated with a probability of failure. The resulting formalism allows one to perform probabilistic analysis of real-time system specifications in the presence of resource failures. A probabilistic variant of Hennessy-Milner logic with until is presented. The logic features an until operator which is parameterized by both a probabilistic constraint and a regular expression over observable actions. This style of parameterization allows the application of probabilistic constraints to complex execution fragments. A model-checking algorithm for the proposed logic is also given. Finally, PACSR and the logic are illustrated with a telecommunications example. 1 Introduction A common high-lev...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-07-23

Pubyear: 1998

Format: ps

Identifier: http://citeseer.ist.psu.edu/140712.html

Source: ftp://ftp.cis.upenn.edu/pub/rtg/Paper/Full_Postscript/concur98.ps.Z

Language: en

Rights: unrestricted