围绕大型复杂系统研制及制造业转型升级对关键软件高安全、强实时的挑战，依托国家重点实验室、重点学科实验室、机载系统创新中心、航空工业软件测评中心等优势资源，建立完全自主可控的安全关键计算系统平台。重点研究安全关键系统软件开发方法、安全关键软件故障传播机理和安全风险度量方法、软硬结合的系统设计仿真验证方法、研制云边端融合的安全关键操作系统及云平台，有效解决新架构下的软件研发及质量保障面临的性能和效率瓶颈问题，重点支撑航空航天及重大系统中的关键软件研制与大型复杂系统软件试验鉴定，大幅提升我国大型复杂系统质量和安全性水平。
安全可靠软件工程研究方向
2023年2月更新
搜索
导航
