Advanced verification methods and safety critical hardware
Advanced verification methods and safety critical hardware
复制标题
先进的验证方法和安全关键硬件
DOI：
10.1109/icnsurv.2012.6218419
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Brian Butka
中科院分区：
文献类型：
--
作者：
Brian Butka
在航空业中，RTCA DO-254是安全至关重要的机载电子硬件开发的设计保证过程。安全至关重要的硬件（DAL A或B）需要应用其他高级验证技术，例如元素分析，以确保对设计的元素进行充分的验证。本文将半导体行业中当前使用的验证过程与符合DO-254指南的常用方法进行了比较。 DO-254中指定的基于需求的测试被广泛认为是不足以确保设计复杂硬件的正确性。通常使用其他鲁棒性测试技术，例如约束随机测试和断言，以改善验证过程。检查了整个设计过程中将设计对限制随机验证测试进行约束的方法。评估了该提出的过程对DO-254设计的适用性。
Within the aviation industry RTCA DO-254 is the design assurance process for safety-critical airborne electronic hardware development. Safety-critical hardware (DAL A or B) requires the application of additional advanced verification techniques such as Elemental Analysis to ensure that elements of the design are adequately verified. This paper compares the verification processes currently used in the semiconductor industry to what is commonly used to meet DO-254 guidelines. Requirements based testing as specified in DO-254 is widely viewed as being inadequate to assure design correctness of complex hardware. Additional robustness testing techniques such as constrained random testing and assertions are typically used to improve the verification process. A methodology of subjecting the design to constrained random verification testing throughout the design process is examined. The applicability of this proposed process to DO-254 based design is evaluated.