Ushakov A. Models, methods and program-technical means for designing the fault-tolerant digital control systems with programmable logic

The dissertation is devoted to development of models, methods and program-technical means for designing the fault-tolerant digital control systems with programmable logic (DCSPL). Scientific results are: the analytic dependencies for DCSPL up-state probability calculation which allows to estimate the various redundant structures with rectangular functional areas; a simulation model of fault-tolerant DCSPL which allows to estimate the various redundant structures with stochastic system’s and fault’s configuration; a space-structural model of fault-tolerant DCSPL which allows to tie together the programmable logic physical representation level and system logical level; an DCSPL adaptation method to faults which allows to find the structure with the best reliability level by means of redundant structure and configuration changing; a DCSPL development method which allows to make a system design by means of definition procedures of programmable logic variant, redundancy arrangement, estimation model and type of adaptation. The method is based on the initial information about the faults nature and systems restrictions. The developed models, methods and program-technical means allow to provide a necessary reliability level and minimum system’s cost, and also to reduce the timing and cost spending of DCSPL development. This effect is achieved due to availability of typical variants, absence of necessity of additional physical simulation, and decreasing a part of the manual operations during system designing and assessment.