Reliability of Systems with Markov Transfer of Control
IEEE Transactions on Software Engineering
Software reliability and system reliability
Handbook of software reliability engineering
Markov Modeling for Reliability Analysis
Markov Modeling for Reliability Analysis
Component Interaction in Distributed Systems
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Reliable Software Systems Using Reusable Software Components
SRDS '97 Proceedings of the 16th Symposium on Reliable Distributed Systems
On The Estimation Of Reliability Of A Software System Using Reliabilities Of Its Components
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Building a System Failure Rate Estimator by Identifying Component Failure Rates
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Scenario-Based Reliability Analysis of Component-Based Software
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Systems of communicating finite-state machines as a distributed alternative to finite-state machines
Systems of communicating finite-state machines as a distributed alternative to finite-state machines
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
Tradeoffs between reliability and conciseness of deterministic finite automata
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
| Hi-index | 0.00 |
We present a model for analyzing the reliability of component-based software systems. Each software component is described as a finite state machine whose transitions have failure probabilities that reflect the unreliable execution of elementary component operations. Alternatively, we model a component as a finite state machine with an associated reliability figure that expresses the overall reliability of the component. Using our model, we prove that there is no algorithm that can accurately calculate the reliability of a system of finite state machines with known or estimated overall reliabilities or transition failure probabilities. The same negative result holds even if we only want to approximate the system reliability.