Reliability analysis of CSP specifications using Petri nets and Markov processes

In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween CSP-basedmodels and Petri net-based stochastic models. This process has given us insight for further refinements to the original CSP specifications(i.e., identify potentialfailureprocessesand recovely 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 analysisto the user level specification.

• Type: Conference
• Year: 1995
• Where: HICSS
• Authors: Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson
• Keywords: Biometrics, HICSS 1995, Net-based Stochastic Models, Stochastic Analyses, User Level Specification