推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

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

更新时间:2019-01-16 11:22:48 大小:508K 上传用户:z00查看TA发布的资源 标签:fpga组件 下载积分:2分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

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

部分文件列表

文件名 大小
tii_fpgas.pdf 508K

【关注B站账户领20积分】

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载