A Two-Level Technique for Modeling Fault-Tolerant Systems UCLA Computer Science Department Technical Report: TR-980024
Mike Loving, David A. Rennels · 1998
By extending stochastic Petri nets we believe it i s possible to simulate much o f the intricate behavior of fault-tolerant parallel processing systems with a concise and relatively simple a nd intuitive model. A series of augmentations of stochastic Petri net models is described in which color and linked-list attributes are added that allow modeling of detailed behavior of a variety of scalable intercommunication systems of virtually any size with the same small model. A simulation system is described, and it i s further augmented u sing a two-level model to describe and model Birman’s ABCAST and CBCAST atomic broadcast protocols. These were chosen b oth as a c omplex behavioral example to test our modeling approach and also because atomic broadcast is an essential mechanism in implementing fault-tolerant parallel systems.