FPGA的基于组件的安全性分析

近年来，基于组件和模块化的软件开发技术已经建立。没有互补的验证和认证方法，这些开发技术的好处就会减少。作为认证的一部分，有必要表明系统是可接受的安全的，包括正常和异常（失败）情况。然而，非安全属性，例如安全性和故障，是抽象破坏者，跨越多个组件。此外，基于组件的工程的大部分工作已经应用于基于软件的系统，而不是基于现场可编程门阵列（FPGA）的系统，其使用在工业中变得越来越流行。在本文中，我们将展示如何对嵌入在FPGA上的模块化设计进行详尽分析（从安全角度），以获得故障和安全属性，以提供安全案例所需的证据。面临的具体挑战是分析各个电子元件的故障特征，将结果与软件模块相结合，然后将其提供给系统安全案例。采用这种方法的第二个好处是设备性能的不确定性较小，因此，它可用于更高完整性的系统。最后，设计改进可以专门针对安全问题，从而更好地利用FPGA器件。