Title :
Analysis of system reliability by Logical Differential Calculus and Decision Diagrams
Author :
Kostolny, Jozef ; Kvassay, Miroslav ; Kovalik, Stefan
Author_Institution :
Dept. of Inf., Univ. of Zilina, Zilina, Slovakia
Abstract :
As a rule, the mathematical description of the system in reliability analysis is defined as system with two states (failure and functioning), that is interpreted as Boolean function. The mathematical tools of Boolean algebra can be used for reliability estimation of the system. The Logical Differential Calculus is one of mathematical tools in Boolean algebra. This tool is used for analysis of influence of Boolean function variables changes on the function value. In case of reliability analysis, this tool is useful in measurement of influence of system component state changes on the system reliability/availability. In reliability engineering, such investigation is named as importance analysis. The new method for calculation of importance measures is proposed in this paper. The mathematical background of this method is Logical Differential Calculus of Boolean function.
Keywords :
Boolean functions; decision diagrams; differentiation; reliability theory; Boolean algebra; Boolean function variable analysis; decision diagram; importance measure; logical differential calculus; mathematical tool; reliability estimation; system component state change measurement; system reliability analysis; Algorithm design and analysis; Availability; Boolean functions; Calculus; Data structures; Silicon; binary decision diagram; binary-state system; direct partial logic derivative; testing;
Conference_Titel :
Digital Technologies (DT), 2013 International Conference on
Conference_Location :
Zilina
Print_ISBN :
978-1-4799-0923-0
DOI :
10.1109/DT.2013.6566306
