本实验室针对研究自主可控、功能安全与信息安全融合的高安全系统的软件设计与验证方法和工具平台的问题，以高安全软件领域的功能安全和信息安全国际国内标准为指导框架， 在高安全软件的功能安全与信息安全基础、设计与开发方法、智能化分析、典型应用等多个方面展开基础和应用基础研究及关键技术攻关，探究高安全软件的需求建模和验证方法、系统建模与仿真及验证平台、代码自动生成技术、代码分析和测试方法、面向高安全应用系统的智能数据分析方法、系统信息安全机制以及无人自主智能系统的安全性分析方法，解决当前我国高安全软件验证充分性不足、验证手段单一的突出问题，为高可靠高安全的关键软件研制提供坚实的理论基础和技术支撑。本实验室针对研究自主可控、功能安全与信息安全融合的高安全系统的软件设计与验证方法和工具平台的问题，以高安全软件领域的功能安全和信息安全国际国内标准为指导框架， 在高安全软件的功能安全与信息安全基础、设计与开发方法、智能化分析、典型应用等多个方面展开基础和应用基础研究及关键技术攻关，探究高安全软件的需求建模和验证方法、系统建模与仿真及验证平台、代码自动生成技术、代码分析和测试方法、面向高安全应用系统的智能数据分析方法、系统信息安全机制以及无人自主智能系统的安全性分析方法，解决当前我国高安全软件验证充分性不足、验证手段单一的突出问题，为高可靠高安全的关键软件研制提供坚实的理论基础和技术支撑。