围绕大型复杂系统研制及制造业转型升级对关键软件高安全、强实时的挑战,依托国家重点实验室、重点学科实验室、机载系统创新中心、航空工业软件测评中心等优势资源,建立完全自主可控的安全关键计算系统平台。重点研究安全关键系统软件开发方法、安全关键软件故障传播机理和安全风险度量方法、软硬结合的系统设计仿真验证方法、研制云边端融合的安全关键操作系统及云平台,有效解决新架构下的软件研发及质量保障面临的性能和效率瓶颈问题,重点支撑航空航天及重大系统中的关键软件研制与大型复杂系统软件试验鉴定,大幅提升我国大型复杂系统质量和安全性水平。
围绕大型复杂软件群体化、生态化特征及开源软件开发模式在开发效率与质量保障方面的挑战,继续引领群体智能和群体软件工程方向研究,在软件工程、人工智能及交叉领域取得具有国际影响力的原创成果。重点研究群体智能基础理论、群智化开发方法与环境、群体智能系统构造与测试方法、群智汇聚的开源软件生态及供应链安全等,研制群体化软件开发、测试工具与平台,支撑群体软件开发环境与生态构建;围绕经济社会发展的重大需求,服务自主可控开源社区建设,推动国家软件产业发展。