精品文献
产品实现
“功能安全产品实现技术”系列讲座 第5讲 安全相关产品的硬件实现(二)
“功能安全产品实现技术”系列讲座 第5讲 安全相关产品的硬件实现(二)
安全相关产品的硬件设计需满足硬件安全完整性要求、系统安全完整性要求以及检测到故障时对系统(产品)的行为要求。为满足硬件安全完整性的要求,给出了架构设计的方法和量化随机失效影响的方法。同时,对实现系统安全完整性要求和检测到故障时对系统(产品)的行为要求进行了阐述。
“功能安全产品实现技术”系列讲座 第9讲 安全相关产品的软件实现(三)
“功能安全产品实现技术”系列讲座 第9讲 安全相关产品的软件实现(三)
首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC 61508-3:2010(GB/T 20438.3-2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容要求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明。最后提出安全软件的自身特性。