Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique

Abstract

This paper describes a proposed method and technology of safety assessment of projects based on field programmable gate arrays (FPGA). Safety assessment is based on special invariants, e.g., properties which remain unchanged when a specified transformation is applied. A classification and examples of FPGA project invariants are provided. In the paper, two types of invariants are described. The first type of invariants used for such assessment are those which are versatile since they reflect the unchanged properties of FPGA projects, hardware description languages, etc. These invariants can be replenished as experience gained in project implementation accumulates. The second type of invariants is formed based on an analysis of the specifics of a particular FPGA project and reflects the features of the tasks to be solved, the algorithms that are implemented, the hardware FPGA chips used, and the computer-aided design tools, etc. The paper contains a description of the overall conception and particular stages of FPGA projects invariant-based safety assessment. As examples for solving some tasks (using of invariants and defect injections), the paper contains several algorithms written in the VHSIC hardware description language (VHDL). The paper summarizes the results obtained during several years of practical and theoretical research. It can be of practical use for engineers and researchers in the field of quality, reliability, and security of embedded systems, software and information management systems for critical and business applications.

Application of dynamic programming approach to computation of atomic functions

“…Here, we consider the most appropriate one. An approach to verification is based on specifying algorithm invariants similar to [19,20].…”

“…This paper is devoted to atomic functions computation issue. We consider the functions  V. Makarichev, V. Kharchenko, 2021 For the case s1  , s up (x) is well-known upfunction of V. O. Rvachev [4]. For the case s2  , these functions were presented by V. O. Rvachev and G. O. Starets [11].…”

Towards Trustworthy Safety Assessment by Providing Expert and Tool-Based XMECA Techniques

“…The range of possible failure causes is extended due to the extensive utilization of complex electronic components, such as microprocessors and FPGA: such components are subject to hardware and software failures that should be considered during the assessment process [3]. Besides, an additional challenge is caused by the vulnerability of software and hardware components and threats of intrusions and cyber-attacks, which can be reasons for failures and blocking of performance as well [4].…”