Reliability Modeling Of Structured Systems Exploring Symmetry In State Space Generation

Reliability Modeling of Structured Systems: Exploring Symmetry in State-Space Generation

Abstract: "A large number of systems are implemented using regular interconnected topologies. Markov analysis of such systems results in large state spaces. We explore symmetry, in particular rotational and permutational, of such systems to achieve a significant reduction in the size of the state space required to analyze them. The resulting much smaller state spaces allow analyses of very large systems. We define equivalent classes of states and develop an algorithm to generate small state spaces and the corresponding Markov chain for systems with permutation symmetries. The state space generation process is also simplified. We demonstrate our technique using several examples. Our technique is very useful in the exact analysis of large systems."

Pacific Rim International Symposium on Fault-Tolerant Systems

This work covers areas such as: fault tolerant architectures; error detection and correction; modelling and tools; replica control and protocols; fault tolerant systems; system evaluation; checkpointing and transaction processing; and formal verification.

Activity of Institute for Computer Applications in Science and Engineering