Andrashov A. Models and methods of information technology of NPP information and control systems functional safety requirements fulfillment assessment

Object of research – information and control systems functional safety requirements fulfillment assessment and management processes; the aim of research – to ensure completeness of requirements fulfillment and increase the functional safety of NPP I&CS; research methods – theory of classification, presentation and conversion of facet-hierarchical structures, methods of set and metric analysis theory, methods of reliability theory and Markov random processes with discrete states and continuous time; results – models and methods of information technology of NPP information and control systems functional safety requirements fulfillment assessment; novelty – for the first time the method for evaluation and control of the fulfillment of the functional requirements of ICS on programmable platforms was proposed, which, unlike the known ones, is based on the multi-V-model of the life cycle, the procedure of decomposition of the set of requirements for its processes and stages, and the metrics of return, which allows operative evaluation and correction of inconsistencies and provide the necessary completeness of inspections and reduce time costs; the models of description and transformation of requirements to ICS and their software and hardware components, which allow to perform formal operations on requirements and automate the process of their profiling by submitting verbal information in the form of semantic facet-hierarchical structures, are improved; improved the method of evaluating the functional safety of ICS using Markov models by correcting their structure and parameters at the life cycle stages, described by the V-model, comparing the predicted value and formulating recommendations for ensuring compliance of the availability function to the requirements, which allows to guarantee their fulfillment and reduce implementation costs; further developed the method for profiling the requirements for functional security of ICS, based on the expansion of application scenarios and the introduction of operations on private profiles, as well as the use of special metrics, which reduces the risks of defects associated with loss, insufficient detail and incorrect requirements; the degree of implementation - the results were implemented at the RPC Radiy, LLC Radics, National Aerospace University “Kharkiv Aviation Institute”; industry – critical systems