摘要：首先介绍了功能安全相关产品软件实现过程中软件设计的基本概念及软件验证相关要求；接着基于标准IEC61508—3：2010（GB／T20438．3-2013），对软件安全生命周期中软件架构设计、支持工具、软件系统设计和编码实现阶段的验证活动进行了分析。此外还对每个阶段规定验证的要求、内容、输入和输出等做了详细说明。最后提出了安全软件在生命周期各阶段可根据软件系统的大小进行裁剪的思路。

关键词：功能安全 软件设计 架构设计 系统设计 支持工具 

单位：上海工业自动化仪表研究院 上海200233 上海仪器仪表自控检验测试所 上海200233 环境保护部核与辐射安全中心 北京100082