企业简介

《自动化博览》立足于整个中国自动化产业，加强报道国家政府及相关部门针对自动化行业的政策、专项及相关发展规划。促进行业交流、引领产业发展，《自动化博览》立志于成为中国自动化领域中集实用技术与权威信息为一体的专业传媒。

  • 公司类型：其他

联系方式
  • 《自动化博览》
  • 地址：北京市海淀区上地十街辉煌国际2号楼1504室
  • 邮编：100085
  • 电话：010-57116290
  • 传真：59813329
  • 网址：http://www.kongzhi.net
  • Email：bjb@kongzhi.net
  • 联系人：市场部

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

厂商：《自动化博览》
  点击数：854  发布时间：12-10-10 15:24
由于软件技术在核电站中的应用日益广泛，其安全性显得越发重要；而对提高软件安全性的分析验证技术和方法的研究将进一步促进核电仪控软件的应用。本文将对核电站仪控系统软件开发全生命周期中的若干提高软件安全性的验证技术与方法进行阐述，包括：可追踪性分析、危险分析、安全性测试等。

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

   关键词：仪控系统；软件安全性；验证；可追踪性分析；危险分析；安全性测试 

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