Reliability analysis of CSP specifications using Petri nets and Markov processes

Authors:
K. M. Kavi;F. T. Sheldon;B. Shirazi;A. R. Hurson
Affiliations:
-;-;-;-
Venue:
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Year:
1995

Citing 0
Cited 6

The MEB and CEB Static Analysis for CSP Specifications

Logic-Based Program Synthesis and Transformation
Capturing conflict and confusion in CSP

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
An algorithm to generate the context-sensitive synchronized control flow graph

Proceedings of the 2010 ACM Symposium on Applied Computing
A tracking semantics for CSP

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Graph generation to statically represent CSP processes

LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Static slicing of explicitly synchronized languages

Information and Computation

Quantified Score

Hi-index	0.01

Visualization

Abstract

In our research we are developing methodologies and tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphisms between CSP-based models and Petri net-based stochastic models. This process has given us insight for further refinements to the original CSP specifications (i.e., identify potential failure processes and recovery actions). In order to create systems that meet user needs in terms of cost, functionality, performance and reliability, it is essential to relate the parameters needed for reliability analysis to the user level specification.