Ahmad H. Models of assessment and methods of informational-control systems functional safety ensuring taking into account checking errors

Subject of research - processes of operation of information control systems (ICS) of critical application in case of occurrence of hardware and software failures. Goal of research - increasing of ICS's reliability and functional safety on the base of enhancement of evaluation methods, formal description and configuration synthesis of I&Cs on the base of improvement of methods and means of on-line testing and restoration. Pursued researches are based on methods of system analysis, set-theoretic and probabilistic description, theory of Markovian processes. Scientific results are: 1) the theoretic-set and probabilistic models of ICS functional safety assessment based on detailed classification of system states, and also control and checking means errors; 2) the method of fault-safe ICS operation recovery based on development of the unified checking and reconfiguration procedure; 3) the method of ICS recovery procedures assessment and choosing by ranking on availability and productivity indicators. Degreeof application - industrial. The offered models, methods and tools integrated into applied information technology allow to increase dependability and safety of ICS of critical application due to decreasing risks of undetected control and checking means errors and to automate decision-making processes at designing such systems.