TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States
Abstract
References
- TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States
Recommendations
Performability assessment by model checking of Markov reward models
This paper describes efficient procedures for model checking Markov reward models, that allow us to evaluate, among others, the performability of computer-communication systems. We present the logic CSRL (Continuous Stochastic Reward Logic) to specify ...
Availability Analysis of Repairable Computer Systems and Stationarity Detection
Point availability and expected interval availability are dependability measures respectively defined by the probability that a system is in operation at a given instant and by the mean percentage of time during which a system is in operation over a ...
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
This study deals with model-based dependability transient analysis of phased mission systems. A review of the studies in the literature showed that several aspects of multiphased systems pose challenging problems to the dependability evaluation methods ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 22Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in