安全攸关软件系统建模与验证专题前言 |
| |
引用本文: | 李宣东,刘超,毛晓光.安全攸关软件系统建模与验证专题前言[J].软件学报,2015,26(2):179-180. |
| |
作者姓名: | 李宣东 刘超 毛晓光 |
| |
作者单位: | 计算机软件新技术国家重点实验室南京大学, 江苏 南京 210023,北京航空航天大学 计算机学院, 北京 100191,国防科学技术大学 计算机学院, 湖南 长沙 410073 |
| |
摘 要: | 随着计算机技术应用的日益普及和不断深入,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的使能部件.在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域,软件系统失效将导致灾难性的后果,保障软件系统的质量成为迫切的需求和挑战.建模、分析与验证是保障软件系统质量的重要环节和手段.本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的
|
关 键 词: | 系统建模 医疗设备 应用领域 计算机技术应用 使能 航空航天 航空电子系统 形式化方法 测试用例 模型检测 |
收稿时间: | 2014/12/22 0:00:00 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|