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

廖丽华; 尹宝娟

首页> 中文期刊> 《自动化仪表》 >“功能安全产品实现技术”系列讲座第8讲安全相关产品的软件实现(二)

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《自动化仪表》 |2014年第1期|92-94|共3页
作者
廖丽华; 尹宝娟;
展开▼
作者单位

上海工业自动化仪表研究院,上海200233;

上海仪器仪表自控检验测试所,上海200233;

环境保护部核与辐射安全中心,北京100082;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计、性能分析与综合;
关键词
功能安全; 软件设计; 架构设计; 系统设计; 支持工具;

相似文献

中文文献
外文文献
专利

1. “功能安全产品实现技术”系列讲座第9讲安全相关产品的软件实现(三) [J] . 廖丽华 ,谢亚莲 . 自动化仪表 . 2014,第002期
2. “功能安全产品实现技术”系列讲座第7讲安全相关产品的软件实现(一) [J] . 谢亚莲 ,庄凌昀 . 自动化仪表 . 2013,第012期
3. “功能安全产品实现技术”系列讲座第5讲安全相关产品的硬件实现(二) [J] . 谢亚莲 . 自动化仪表 . 2013,第010期
4. “功能安全产品实现技术”系列讲座第1讲安全相关产品的实现 [J] . 谢亚莲 ,尹宝娟 . 自动化仪表 . 2013,第6期
5. “功能安全产品实现技术”系列讲座第6讲安全相关产品的硬件实现(三) [J] . 谢亚莲 ,郭栋 . 自动化仪表 . 2013,第11期
6. 供电局二次系统安全区划分、安全管控和相关产品的作用 [C] . 范玲芳 . 2008年电力信息化高级论坛 . 2008
7. 基于VxWorks的二乘二取二安全产品的设计与实现 [A] . 许加龙 . 2011

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

摘要

著录项

相似文献

相关主题

期刊订阅