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

• 作者: 尹宝娟 廖丽华
• 来源期刊: 自动化仪表
• 学科: 工学
• 关键词: 功能安全 软件设计 架构设计 系统设计 支持工具
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 讲座
• 页码范围: 92-94
• 页数: 3页
• 分类号: TP202
• 字数: 4061字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖丽华		3	0	0.0	0.0
5	尹宝娟		22	24	2.0	3.0