Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems
Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov · 2017
The possibility of improving on attributes of a solution which are tra- ditionally opposed each other is proved. For digital components of safety- related systems, the method of improving on attributes of a checkability of the circuit and trustworthiness of the results calculated on FPGA with the LUT- oriented architecture is offered. The method is directed to improving of the ready project by a choice of the version of a program code without change of the hardware decision. Versions of LUT memory programming and a set of faults on which these versions exert impact are generated. Faults of shorts be- tween adjacent address inputs of LUT are considered. Operation of the circuit is simulated on all versions and on all set of faults. The method selects the ver- sions providing increase in a checkability of the circuit in a normal mode and trustworthiness of results in emergency mode of the safety-related systems. Keywords: safety-related system, digital component, FPGA, LUT-oriented ar- chitecture, checkability of the circuit, trustworthiness of the results Key terms: HighPerformanceComputing, ConcurrentComputation, Model, Method, Simulation