In: Proceedings of the 10t Annual International Phoenix Conference on Computers and Communications, 1991, Scottsdale, AZ, USA, pages 71-77. Piscataway, NJ, USA: IEEE Service Center, 1991.
Abstract: The authors present an efficient rainbow net (RN) implementation that capitalizes on RN's multiple modeling paradigms. A powerful extension to Petri nets, RNs are a modeling technique that combines graphical and state variable based specification for discrete event simulation. RNs were designed especially for dependability modeling. The efficacy of the RN simulator is demonstrated by a dependability analysis of an n-modular redundant system. This model is shown to be constant in specification complexity, linear in simulation space, and polynomial in simulation time.
Keywords: rainbow net simulator; dependability analysis; net tool; discrete event simulation; redundancy; fault tolerance; component reliability.