Provably Conservative Approximations to Complex Reliability Models
IEEE Transactions on Computers - The MIT Press scientific computation series
Transient analysis of acyclic markov chains
Performance Evaluation
Numerical transient analysis of Markov models
Computers and Operations Research
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Structure of Computers and Computations
Structure of Computers and Computations
Parametric error analysis and coverage approximations in reliability modeling (sensitivity)
Parametric error analysis and coverage approximations in reliability modeling (sensitivity)
Failure Dependent Performance Analysis of a Fault-Tolerant Multistage Interconnection Network
IEEE Transactions on Computers
Simultaneous analysis of flow and error control strategies with congestion-dependent errors
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
Annals of Software Engineering
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Security modeling and quantification of intrusion tolerant systems using attack-response graph
Journal of High Speed Networks
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Visibility of Journals for Journal of Visualization
Journal of Visualization
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Hi-index | 0.01 |
Traditional evaluation techniques for multiprocessor systems use Markov chains and Markov reward models to compute measures such as mean time to failure, reliability, performance, and performability. In this paper, we discuss the extension of Markov models to include parametric sensitivity analysis. Using such analysis, we can guide system optimization, identify parts of a system model sensitive to error, and find system reliability and performability bottlenecks.As an example we consider three models of a 16 processor. 16 memory system. A network provides communication between the processors and the memories. Two crossbar-network models and the Omega network are considered. For these models, we examine the sensitivity of the mean time to failure, unreliability, and performability to changes in component failure rates. We use the sensitivities to identify bottlenecks in the three system models.