安全苛刻性软件建模、分析和验证及其在航天器系统中的应用研究

安全苛刻性系统软件可靠性保障至关重要。本项目拟以航天器系统为案例，在项目组已有工作"航天器自动化测试语言及系统"的基础上，围绕航天器系统软件安全苛刻性理论问题，利用（类）动力系统理论，从以下三个方面对航天器软件系统安全苛刻性分析和验证方法展开研究：一是航天器自动化测试基础模型；二是基于（类）动力系统的航天器软件系统安全苛刻性建模与分析；三是基于实闭域一阶理论的航天器软件系统安全苛刻性自动验证方法，以达到软件结果可预测、运行状态可控制、安全需求可验证的目标，为航天器软件系统安全苛刻性研究提供理论基础和技术框架。项目研究成果不仅可用于航天器软件系统安全保障，作为系统安全性评估和进行安全性验证的依据，还为一般安全苛刻系统研究提供非平凡案例，探索安全苛刻系统研究领域普遍关心的问题。

安全苛刻系统软件可靠性保障至关重要。项目以航天器软件系统为研究对象，从系统建模、分析和测试验证三个方面开展研究，解决其软件系统安全保障面临的困难和需求，取得了一定的研究成果。