Automatically assigned DDC number: 0051

Manually assigned DDC number: 00433

Number of references: 0

Title: Probabilistic Resource Failure in Real-Time Process Algebra




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



Language: en

Rights: unrestricted


<?xml   version="1.0"   encoding="UTF-8"?>


      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Probabilistic   Resource   Failure   in   Real-Time   Process   Algebra">

            <identifier   Org="ISBN:0792374703"   Paper_ID="SELF"   Extracted="0792374703"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1584886781"   Paper_ID="SELF"   Extracted="1584886781"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="SELF"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540211799"   Paper_ID="SELF"   Extracted="3540211799"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540657193"   Paper_ID="SELF"   Extracted="3540657193"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="SELF"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.16666666666666666"   />