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

fYear

2013

fDate

29-31 May 2013

Firstpage

170

Lastpage

175

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Technologies (DT), 2013 International Conference on

Conference_Location

Zilina

Print_ISBN

978-1-4799-0923-0

Type

conf

DOI

10.1109/DT.2013.6566306

Filename

6566306