“ 功能安全产品实现技术“系列讲座 第8讲 安全相关产品的软件实现(二).pdfVIP

第8讲摇 安全相关产品的软件实现(二)摇 廖丽华,等 “功能安全产品实现技术冶系列讲座 第8讲摇 安全相关产品的软件实现(二) Chapter 峪摇 Implementationof the Softwarefor Safety鄄related Products:Part2 1,2 3 廖丽华 摇 尹宝娟 (上海工业自动化仪表研究院 ,上海摇 200233;1 上海仪器仪表自控检验测试所 ,上海摇 200233;环境保护部核与辐射安全中心 ,北京摇 100082)2 3 摘摇 要: 首先介绍了功能安全相关产品软件实现过程中软件设计的基本概念及软件验证相关要求;接着基于标准IEC61508鄄3:2010 (GB/ T20438.3鄄2013),对软件安全生命周期中软件架构设计、支持工具、软件系统设计和编码实现阶段的验证活动进行了分析。 此 外还对每个阶段规定验证的要求、内容、输入和输出等做了详细说明。 最后提出了安全软件在生命周期各阶段可根据软件系统的大 小进行裁剪的思路。 关键词: 功能安全摇 软件设计摇 架构设计摇 系统设计摇 支持工具 中图分类号: TP202摇 摇 摇 摇 文献标志码: A Abstract: The basic concept and relevant requirements of software verification in implementing process of the software design for functional safety鄄related products are presented. Based on IEC61508鄄3:2010(GB/ T20438.3鄄2013),the verification activities in the design of software architecture,support tools,software system,and encoding implementation in safety lifecycle of the software are analyzed. In addition,the verification requirements,contents,input andoutputfor each stage are explained in detail. It isproposedthat each stage of the software safety lifecycle can be tailored in accordance with the sizes of the software system. Keywords: Functional safety摇 Software design摇 Architecture design摇 System design摇 Support tools 在软件的整个设计阶段选取技术和措施时,应考 0摇 引言 虑软件设计的下列属性:淤有关软件安全要求规范的 安全相关产品的软件实现的前期工作主要是软件 完整性;于有关软件安全要求规范的正确性;盂防止固 设计,主要包括软件架构设计、支持工具选择、软件系 有设计错误;榆简单性和易懂性;虞行为的可预见性; 统设计以及编码实现的整个过程。 软件设计主要是从 愚可验证和可测试的设计;舆故障裕度;余抵御外部事 软件安全要求规范与E/ E/ PE 系统架构出发,根据其 件造成的共因失效。 确定的功能需求设计软件系统的整体架构、选取合适 在安全相关软件的实现过程中,也强调软件的验 的支持工具、划分功能模块、确定每个模块的实现算法 证活动,以保证每个阶段的