Formal Limits on Determining Reliabilities of Component-Based Software Systems
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
DEGAS: discrete event Gnu advanced scheduler
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Improvements in dependability and usability for a substation automation system with redundancy
WSEAS TRANSACTIONS on SYSTEMS
Dependability evaluation of substation automation system with redundancy
ICS'08 Proceedings of the 12th WSEAS international conference on Systems
Note on reliability of a system complexity
Mathematical and Computer Modelling: An International Journal
Quantification of Priority-OR gates in temporal fault trees
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Resource failures risk assessment modelling in distributed environments
Journal of Systems and Software
Hi-index | 0.00 |
From the Publisher:"Markov modeling has long been accepted as a fundamental and powerful technique for the fault tolerance analysis of mission-critical applications. However, the elaborate computations required have often made Markov modeling too time-consuming to be of practical use on these complex systems. With this hands-on tool, designers can use the Markov modeling technique to analyze safety, reliability, maintainability, and cost-effectiveness factors in the full range of complex systems in use today.Featuring ground-breaking simulation software and a comprehensive reference manual, MARKOV MODELING FOR RELIABILITY ANALYSIS helps system designers surmount the mathematical computations that have previously prevented effective reliability analysis. The text and software compose a valuable self-study tool that is complete with detailed explanations, examples, and a library of Markov models that can be used for experiments and as derivations for new simulation models. The book details how these analyses are conducted, while providing hands-on instruction on how to develop reliability models for the full range of system configurations.Computer-Aided Rate Modeling and Simulation (CARMS) software is an integrated modeling tool that includes a diagram-based environment for model setup, a spreadsheet like interface for data entry, an expert system link for automatic model construction, and an interactive graphic interface for displaying simulation results."