表3展示了降低FPGA设计中系统失效的技术列表的摘要。对于一般硬件和软件设计，也有适用的类似表格。使用这些表格的原则是始终如一的。标注为“HR”的措施必须得以施行。如果不这么做，那么相关决策是不合理的。标注为“R”的措施应当在条件允许的情况下使用。

验证和确认计划
验证和确认流程也必须在安全功能实现之前计划好。所有的设计阶段都要选择故障避免文档中的措施进行验证。计划的措施必须阐明目前的项目将在真实情况中如何表现。举个例子，计划的措施可以是静态代码分析。那么对应的验证和确认计划应当覆盖所有将由代码检查器检验的软件模块(SW-Module)，包含使用该工具的流程并将如何对结果进行处理、分析和存档的说明。

另一个例子是FPGA设计过程中的网表检查。第一步是明确这个步骤必须完成，谁来执行这个任务以及输入和输出的文件是什么。下一步是定义进行该任务需要使用的工具以及发布流程。

该计划可用作针对所有验证和确认流程的检查表，能够为所有计划流程的完成度提供完整的概览。

表4展示了标准中的相关定义以及莱迪思工具列表，后者按照使用FPGA实现安全相关任务时的相应等级进行分类。在真实的项目中，该列表需要填上所有使用到的工具。知晓某个工具在项目中的重要性是有用的，但这并不会让人们获得更加安全的系统。这就是为什么要进行额外的工作，比如说进行工具认证让工程师对使用的工具有把握。有把握的意思是能够确认或知晓工具发生的错误。如果该工具能够正确地满足规范要求并且使用者已经获得了该工具经过确认的凭据，那么他就可以不受任何约束地使用该工具。如果该工具无法按照规范要求工作，用户则需要相关错误的信息并暂时避开导致错误发生的情况。如果分析人员得出的结论是工具的输出不可信或规范还不够详细，用户就必须制定其他方法来检测上述错误。
分析过程有可能为用户带来潜在问题。如果用户自身不具备有关该工具的足够知识、经验或数据，就会产生问题。在这种情况下，如果该工具的制造商能够为客户提供相关支持，比如所有必要的数据，则会非常有帮助，如果工具制造商还能提供由独立机构认证和批准的数据和文档，那就更为理想了。

自动控制网www.eadianqi.com版权所有

本文来自www.eadianqi.com