欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
安全苛刻性系统软件可靠性保障至关重要。本项目拟以航天器系统为案例，在项目组已有工作"航天器自动化测试语言及系统"的基础上，围绕航天器系统软件安全苛刻性理论问题，利用（类）动力系统理论，从以下三个方面对航天器软件系统安全苛刻性分析和验证方法展开研究一是航天器自动化测试基础模型；二是基于（类）动力系统的航天器软件系统安全苛刻性建模与分析；三是基于实闭域一阶理论的航天器软件系统安全苛刻性自动验证方法，以达到软件结果可预测、运行状态可控制、安全需求可验证的目标，为航天器软件系统安全苛刻性研究提供理论基础和技术框架。项目研究成果不仅可用于航天器软件系统安全保障，作为系统安全性评估和进行安全性验证的依据，还为一般安全苛刻系统研究提供非平凡案例，探索安全苛刻系统研究领域普遍关心的问题。
英文摘要：
Safety Critical System；automatic test；spacecraft；analysis and verification；modeling
结论摘要：
安全苛刻系统软件可靠性保障至关重要。项目以航天器软件系统为研究对象，从系统建模、分析和测试验证三个方面开展研究，解决其软件系统安全保障面临的困难和需求，取得了一定的研究成果。
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
Clustering-Based Multiple Imputation via Gray Relational Analysis for Missing Data and Its Applicati
会议论文
相关项目
余丹的项目