安全关键系统与软件开发环境

作者: 时间:2017-06-28 点击数:

安全关键系统与软件开发环境

 

       安全关键系统是指系统失效往往引起重大生命、财产损失的系统。它广泛应用于航空/航天、核电、交通运输、医疗等领域,对安全性、可靠性、实时性具有极高的要求。在本方向围绕航空航天、智能制造、工业控制系统等领域大规模复杂系统的安全性和可靠性及面临日益严峻挑战的信息安全问题,以构造可信多核计算平台,开发安全关键操作系统、安全C编译器,培育安全关键系统和安全关键软件开发与验证环境,实现安全关键系统和软件的高安全认证能力为目标,研究安全可靠系统的模型驱动开发与验证、安全关键系统信息安全技术、形式化开发与验证、安全性和可靠性设计与评估等关键技术与工具。

软件开发环境国家重点实验室 地址:北京市海淀区学院路37号北京航空航天大学新主楼G座
邮编:100191 联系电话:010-82338092 邮箱:nlsde@nlsde.buaa.edu.cn