Simplification of inclusion–exclusion on intersections of unions with application to network systems reliability. (May 2018)

• Record Type: Journal Article
• Authors: Schäfer, Lukas; García, Sergio; Srithammavanh, Vassili
• Is Part Of: Reliability engineering & system safety. Volume 173(2018)
• Page Start: 23
• Page End: 33
• Publication Date: 2018-05
• Subjects: Structural reliability -- Combinatorics -- Non series-parallel systems -- Inclusion–exclusion; Reliability (Engineering) -- Periodicals; System safety -- Periodicals; Industrial safety -- Periodicals; Fiabilité -- Périodiques; Sécurité des systèmes -- Périodiques; Sécurité du travail -- Périodiques; 620.00452
• DOI: 10.1016/j.ress.2018.01.003
• Languages: English
• ISSNs: 0951-8320

Abstract

Highlights: A new method to calculate the reliability of complex network systems is proposed. The method exploits the presence of repeated events in inclusion–exclusion formula. The new method and the sum of disjoint products method KDH88 are compared. The new method is much more computationally efficient. Abstract: Reliability of safety-critical systems is a paramount issue in system engineering because in most practical situations the reliability of a non series-parallel network system has to be calculated. Some methods for calculating reliability use the probability principle of inclusion–exclusion. When dealing with complex networks, this leads to very long mathematical expressions which are usually computationally very expensive to calculate. In this paper, we provide a new expression to simplify the probability principle of inclusion–exclusion formula for intersections of unions which appear when calculating reliability on non series-parallel network systems. This new expression exploits the presence of many repeated events and has many fewer terms, which significantly reduces the computational cost. We also show that the general form of the probability principle of inclusion–exclusion formula has a double exponential complexity, whereas the simplified form has only an exponential complexity with a linear exponent. Finally, we compare its computational efficiency against the sum of disjoint products method KDH88 for a simple artificial example and for a door management system, which is a safety-critical system in aircraft engineering.