Loading...
Please wait, while we are loading the content...
Similar Documents
Reliability Analysis of Specifications Using Petri Nets and Markov Processes (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Kavi, Krishna M. Sheldon, Frederick T. Shirazi, Behrooz Hurson, Ali R. |
| Description | In In Proceedings of HICSS95 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. Keywords: Formal specification, CSP, Petri Nets, Reliability analysis, Markov models. 1. INTRODUCTION Computers are increasingly used in every day life in today's society. These systems are monitoring and controlling complex and safety critical systems. It has been conjectured that formal mathematically precise methods should be used to design such systems. Among the benefits fro... |
| File Format | |
| Language | English |
| Publisher | IEEE |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Recovery Action Csp-based Model User Level Specification Introduction Computer Csp-based System Specification Specification Using Petri Net Day Life Potential Failure Process User Need Markov Model Stochastic Analysis Formal Specification Precise Method Reliability Analysis Markov Process Safety Critical System Petri Net-based Stochastic Model Original Csp Specification Petri Net |
| Content Type | Text |
| Resource Type | Article |
