Logical methods of system reliability analysis

Abstract

An automatical-logical model of system reliability has been introduced. Automaton's input processes model safety processes in system packages, and the it's output processes model safety processes inside system itself.

Keywords

• switching process
• reliability process
• dynamic machine
• binary operator
• operator structure
• logical reliability theory