Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems

The possibility of improving on attributes of a solution which are traditionally opposed each other is proved. For digital components of safetyrelated systems, the method of improving on attributes of a checkability of the circuit and trustworthiness of the results calculated on FPGA with the LUToriented 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 between 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 versions providing increase in a checkability of the circuit in a normal mode and trustworthiness of results in emergency mode of the safety-related systems.

[1]  Vyacheslav Kharchenko,et al.  Design and testing technique of FPGA-based critical systems , 2009, 2009 10th International Conference - The Experience of Designing and Application of CAD Systems in Microelectronics.

[2]  Vladimir Hahanov,et al.  Qubit description of the functions and structures for computing , 2016, 2016 IEEE East-West Design & Test Symposium (EWDTS).

[3]  A. Drozd,et al.  Models, methods and means as resources for solving challenges in co-design and testing of computer systems and their components , 2013, The International Conference on Digital Technologies 2013.

[4]  A. Drozd,et al.  Safety-related instrumentation and control systems and a problem of the hidden faults , 2014, The 10th International Conference on Digital Technologies 2014.

[5]  Alexander V. Drozd,et al.  Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design , 2016, ICTERI.

[6]  Vyacheslav Kharchenko,et al.  Green computing and communications in critical application domains: Challenges and solutions , 2013, The International Conference on Digital Technologies 2013.

[7]  Alexander V. Drozd,et al.  Features of Hidden Fault Detection in Pipeline Digital Components of Safety-Related Systems , 2015, ICTERI.

[8]  A. Drozd,et al.  Green IT Engineering in the View of Resource-Based Approach , 2017 .

[9]  Oleksandr Drozd,et al.  Effectiveness of matrix and pipeline FPGA-based arithmetic components of safety-related systems , 2015, 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).

[10]  J. V. Drozd,et al.  The levels of target resources development in computer systems , 2014, Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2014).

[11]  A. Melnyk,et al.  Self-Configurable FPGA-Based Computer Systems , 2013 .

[12]  Vyacheslav Kharchenko,et al.  Fault-Tolerant Computer-Aided Control Systems with Multiversion-Threshold Adaptation: Adaptation Methods, Reliability Estimation, and Choice of an Architecture , 2002 .

[13]  Dmitry A. Maevsky,et al.  A New Approach to Software Reliability , 2013, SERENE.

[14]  Raimund Ubar,et al.  Hierarchical Analysis of Short Defects between Metal Lines in CMOS IC , 2008, 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools.

[15]  Oksana Pomorova,et al.  Multi-agent Based Approach for Botnet Detection in a Corporate Area Network Using Fuzzy Logic , 2013, CN.

[16]  Alexander V. Palagin,et al.  3 Design and Application of the PLD-Based Reconfigurable Devices , 2011 .