Antoniuk V. Power-oriented models of checkability and methods for monitoring of FPGA components of safety-related systems

The thesis is devoted to the issues of increasing the checkability of the components of the safety-related systems that manages of high-risk objects in the energy, transport and other industries. Checkability is a prerequisite for converting fault-tolerant solutions to fail-safe ones, which is important for critical applications. The problem of hidden faults indicates the need to develop checkability of the circuits beyond the limits of its logical form. Power-oriented models of the checkability of FPGA projects, defining for them the lower and upper limits of the possible values of dissipated or consumed power and the corresponding areas of impossible values, indicating a fault, are proposed. Based on these models, methods for monitoring the FPGA components of safety-related systems for identifying hidden faults in the chains of common signal and short circuits by a significant change in dissipated and consumed power, which are estimated by temperature and current consumption, have been developed and investigated.