JavaScript is disabled for your browser. Some features of this site may not work without it.
A method of hidden faults opposition for FPGA-based components of safety-related systems
Drozd, Oleksandr; Romankevich, Vitaliy; Romankevich, Alexei; Kuznietsov, Mykola; Drozd, Myroslav; Дрозд, Олександр Валентинович; Романкевич, Віталій Олексійович; Романкевич, Олексій Михайлович; Кузнєцов, Микола Олександрович; Дрозд, Мирослав Олександрович; Дрозд, Александр Валентинович; Романкевич, Виталий Алексеевич; Романкевич, Алексей Михайлович; Кузнецов, Николай Александрович; Дрозд, Мирослав Александрович
The paper is devoted to the problem of hidden faults, which is inherent in safety-related systems aimed at ensuring the functional safety of high-risk facilities to counter accidents. The problem of hidden faults is considered from the perspective of a resource-based approach as a problem of growth from a lower level of replication to the next level of diversification in the development of models, methods and means. Computer systems in critical applications have risen to the level of diversification in the division of the operating mode into normal and emergency, in the input data and structurally functional checkability, which for digital components have become different in these modes. Digital components continue to be traditionally stamped based on matrix structures that reflect the level of replication. The lag of the components from the development of the system creates a problem of hidden faults which can be accumulated during the normal mode and reduce the fault tolerance of the components and the functional safety of the system in emergency mode. We propose a method of counteracting hidden faults by raising components to the level of diversification in the promising field of FPGA designing. The proposed method uses the natural version redundancy inherent in the program code of the FPGA projects with LUT-oriented architecture. The method generates and selects versions of the program code, reducing many hidden faults of short circuits between neighboring inputs of LUT units. Possible hidden faults are eliminated by increasing the checkability of the FPGA project in normal mode and the trustworthiness of the results calculated in emergency mode.