Kulanov V. Methods and tools for fault tolerant PLD-based system design with machine-language diversity

The object of study - the processes of design and reliability evaluation of PLD-based systems, multi-version PLD-based systems for safety critical application. The purpose of study - improving the reliability of PLD-based systems using the principles of machine-language diversity. Research methods - the methods of the theory of finite state machines and synthesis of digital systems, the reliability theory and the theory of technical diagnostics, statistical modeling. Theoretical and practical results - increased reliability, developed a new methodology of synthesis and evaluation of PLD-based multi-version digital machines, developed analysis tools of versions. The novelty - new method of synthesis of PLD-based multi-version digital machines with machine-language diversity; an improved multi-version models of digital machines; an improved life-cycle model of multi-version PLD-based systems; enhanced diversity evaluation method of multi-version PLD-based systems. The degree of implementation: Engineering Design Bureau "POLISVIT" State Research and Production Association "Kommunar" (Kharkiv), National Aerospace University named after N.E. Zhukovsky "KhAI" (Kharkiv). Scope: safety-critical systems on PLDs.