Yeliseev V. Models and methods of robustness increase for program-technical systems and control units of nu-clear power plants

The thesis is devoted to problem of new methods development for robustness increase of program-technical systems and control units of nuclear power plants. In this work, criteria of quality of program-technical system is stated, the system performs functions in real time is considered, the quality indicators are monitored in real time. Method has been developed which allows robustness increase of task execution on parallel subsystems. These tasks implement new functions of intellectual support for personnel dealing with control of nuclear power plant. Developed mathematical models determine necessary characteristics of computing subsystem performance, needed for task suite execution in predefined time interval (in real time). Problem of formal evaluation and selection of dynamic task scheduling has been researched. The solution minimizes run time of a single task suite. It were built principles for diagnostics process organization for technical means of parallel program-technical systems and using of asynchronous backup processes, fault localization, correct repair of processes, mathematic methods of evaluation of random fault impact on run time of complex task suits. Formal model of information interchange has been improved. This model defines parameters of communication subsystem to process requests in specified time.