提高核电仪控系统软件安全性的验证技术研究

ABB

关注中国自动化产业发展的先行者！

今日头条

官方微信

官方抖音

技术频道

工业安全工业无线运动控制与伺服系统人机界面机器视觉自动化软件工厂信息化变频器与软启动器仪器仪表嵌入式系统传感器工业以太网现场总线 DCS/FCS/SCADA PLC /PAC/PCC/RTU 工控机电源 SCADA-RTU 电气联接低压电器

行业频道

新能源电力冶金化工机床包装电梯物流仓储纺织印刷航空航天电子制造汽车制药/医疗智慧交通节能环保石油天然气市政智能装备

热门频道

智能制造机器人工业服务工控系统信息安全能源管理智慧城市物联网大数据智能云边缘计算人工智能工业互联网区块链工业智联网数字孪生绿色低碳

技术频道

工业安全工业无线运动控制与伺服系统人机界面机器视觉自动化软件工厂信息化变频器与软启动器仪器仪表嵌入式系统传感器工业以太网现场总线 DCS/FCS/SCADA PLC /PAC/PCC/RTU 工控机电源 SCADA-RTU 电气联接低压电器

行业频道

新能源电力冶金化工机床包装电梯物流仓储纺织印刷航空航天电子制造汽车制药/医疗智慧交通节能环保石油天然气市政智能装备

热门频道

智能制造机器人工业服务工控系统信息安全能源管理智慧城市物联网大数据智能云边缘计算人工智能工业互联网区块链工业智联网数字孪生绿色低碳

当前位置：首页 >> 名篇 >> 名家名篇

名家名篇

提高核电仪控系统软件安全性的验证技术研究

厂商：《自动化博览》
作者：尹宝娟
点击数：2295 发布时间：2012-10-10 15:24:00
分享到：

由于软件技术在核电站中的应用日益广泛，其安全性显得越发重要；而对提高软件安全性的分析验证技术和方法的研究将进一步促进核电仪控软件的应用。本文将对核电站仪控系统软件开发全生命周期中的若干提高软件安全性的验证技术与方法进行阐述，包括：可追踪性分析、危险分析、安全性测试等。

关键词：

请登录以后访问所有功能！
登录注册

相关文章

热点新闻

推荐产品