安全攸关软件系统及其质量保障  

作　　者：张健[1] 王海峰[2] 张文辉[1] 董威[3] 徐宝文[4] 

机构地区：[1]中国科学院软件研究所 [2]北京交通大学 [3]国防科技大学 [4]南京大学

出　　处：《科技纵览》2018年第7期68-69,共2页IEEE Spectrum

基　　金：感谢国家973计划项目“安全攸关软件系统的构造与质量保障方法研究”（项目编号：2014CB340700）的支持.

摘　　要：在国民经济和国防建设中广泛存在着这样一类系统，它们的运行直接关系到公众的生命、社会财产和国家安全。一旦系统失效，将会导致重大人员伤亡或财产损失，甚至产生灾难性的后果，造成不可接受的社会影响。例如，轨道交通运行控制、核电安全控制、航空／航天飞行控制、汽车电控、军事指挥与武器装备，以及医疗电子系统等。

关 键 词：软件系统 国家安全 保障 质量 财产损失 社会影响 运行控制 国防建设 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]