空间飞行器控制系统软件可信性评估方法技术方案

本发明专利技术公开了一种空间飞行器控制系统软件可信性评估方法，包括可用性评估步骤，可靠性评估步骤，安全性评估步骤、效率评估步骤、空间可维护性评估步骤，可生存性评估步骤以及可信性计算步骤，通过上述方法可以确定空间飞行器控制系统软件的多个可信属性及其核心评估指标，再分别利用不同的方法计算出每项评估指标的评估值，最后加权计算得到空间飞行器控制系统软件的可信评估结果，可以极为有效地降低系统发布后可能产生的未知风险的概率。

【技术实现步骤摘要】
空间飞行器控制系统软件可信性评估方法
本专利技术主要涉及工控安全
，尤其涉及一种空间飞行器控制系统软件可信性评估方法。
技术介绍
当前航天器的飞行任务越来越复杂，在轨寿命越来越长，大型航天器还要长期支持完成各项试验任务，使得软件系统在航天飞行器中所担任的任务越来越繁重，所扮演的角色也越来越重要。在积极研发各类容错加固技术的同时，对控制系统软件的可信性评估也是极为重要的一环。空间飞行器控制系统软件具有实时性要求高、可靠性要求高、资源受限等特点，虽然目前业界存在几种对控制系统软件可信性的评估方法，但这些方法不能完全适应对空间飞行器控制系统软件进行评估的需求。因此，如何对具有实时性要求高、可靠性要求高、资源受限等特点的空间飞行器控制系统软件进行评估，以帮助提高空间飞行器系统软件的研制效率与质量，是本领域亟需解决的技术问题。
技术实现思路
为解决以上问题，本专利技术提出了空间飞行器控制系统软件可信性评估方法，通过确定软件的多个可信属性及其核心评估指标，再分别利用不同的方法计算出每项评估指标的评估值，最后加权计算本文档来自技高网...

【技术保护点】
1.一种空间飞行器控制系统软件可信性评估方法，其特征在于，包括：/n可用性评估步骤，评估目标软件的功能完整性，并计算得到可用性评估值；/n可靠性评估步骤，评估所述目标软件的容错性、稳定性和耦合性，并计算得到可靠性评估值；/n安全性评估步骤，评估所述目标软件的代码安全性，并计算得到安全性评估值；/n效率评估步骤，评估所述目标软件的时间性能和资源使用性能，并计算得到效率评估值；/n空间可维护性评估步骤，评估所述目标软件的可升级性，并计算得到空间可维护性评估值；/n可生存性评估步骤，评估所述目标软件的抗单粒子性、故障恢复性与系统可重构性，并计算得到可生存性评估值；/n可信性计算步骤，对所述可用性评估...

【技术特征摘要】
1.一种空间飞行器控制系统软件可信性评估方法，其特征在于，包括：
可用性评估步骤，评估目标软件的功能完整性，并计算得到可用性评估值；
可靠性评估步骤，评估所述目标软件的容错性、稳定性和耦合性，并计算得到可靠性评估值；
安全性评估步骤，评估所述目标软件的代码安全性，并计算得到安全性评估值；
效率评估步骤，评估所述目标软件的时间性能和资源使用性能，并计算得到效率评估值；
空间可维护性评估步骤，评估所述目标软件的可升级性，并计算得到空间可维护性评估值；
可生存性评估步骤，评估所述目标软件的抗单粒子性、故障恢复性与系统可重构性，并计算得到可生存性评估值；
可信性计算步骤，对所述可用性评估值、所述可靠性评估值、所述安全性评估值、所述效率评估值、所述空间可维护性评估值和所述可生存性评估值进行加权求和，计算得到所述目标软件的可信性评估值，以根据所述可信性评估值对所述目标软件进行可信性评估。


2.如权利要求1所述的空间飞行器控制系统软件可信性评估方法，其特征在于，所述可用性评估步骤采用多级配置项与软件单元依赖追溯技术描述目标软件的依赖关系，并利用统计方法计算功能完整性评估值，以根据所述功能完整性评估值评估目标软件的功能完整性。


3.如权利要求1所述的空间飞行器控制系统软件可信性评估方法，其特征在于，所述可用性评估步骤包括容错稳定性评估步骤和耦合性评估步骤。


4.如权利要求3所述的空间飞行器控制系统软件可信性评估方法，其特征在于，所述容错稳定性评估步骤对目标软件进行硬件组件与软件功能项的整体混合式建模，并利用概率形式化验证技术，分析计算目...

【专利技术属性】
技术研发人员：史建琦，林荣峰，沈怡颹，李新，张增安，周宇，徐家国，
申请(专利权)人：华东师范大学，上海航天控制技术研究所，
类型：发明
国别省市：上海;31