[发明专利]航天软件抗单粒子翻转可靠性测评方法和系统在审
| 申请号: | 202010707641.6 | 申请日: | 2020-07-21 |
| 公开(公告)号: | CN111813688A | 公开(公告)日: | 2020-10-23 |
| 发明(设计)人: | 朱剑辉;洪小骏;施雯;邱源;王佳;王磊;张富隆 | 申请(专利权)人: | 上海航天计算机技术研究所 |
| 主分类号: | G06F11/36 | 分类号: | G06F11/36 |
| 代理公司: | 上海汉声知识产权代理有限公司 31236 | 代理人: | 胡晶 |
| 地址: | 201109 *** | 国省代码: | 上海;31 |
| 权利要求书: | 查看更多 | 说明书: | 查看更多 |
| 摘要: | |||
| 搜索关键词: | 航天 软件 粒子 翻转 可靠性 测评 方法 系统 | ||
1.一种航天软件抗单粒子翻转可靠性测评方法,其特征在于,包括:
在测试平台对航天软件运行时的关键数据进行数据位翻转故障注入;
记录数据位发生翻转时对航天系统的功能、性能影响数据;
根据预设的评估细则对所述功能、性能影响数据进行分析,得到所述航天软件的抗单粒子翻转可靠性评估结果。
2.根据权利要求1所述的航天软件抗单粒子翻转可靠性测评方法,其特征在于,所述根据预设的评估细则对所述性能影响数据进行分析,得到所述航天软件的抗单粒子翻转可靠性评估结果,包括:
根据预设的评估细则,将所述航天软件对所述航天系统的性能影响进行量化,得到用于评估所述航天软件的抗单粒子翻转可靠性的量化公式;
通过所述量化公式计算所述航天软件的抗单粒子翻转可靠性评估结果。
3.根据权利要求2所述的航天软件抗单粒子翻转可靠性测评方法,其特征在于,所述根据所述航天软件的抗单粒子翻转可靠性评估结果,设置针对所述关键数据的抗单粒子翻转策略,包括:
根据所述航天软件的抗单粒子翻转可靠性评估结果,确定所述航天软件存在的可靠性问题清单;
根据所述可靠性问题清单,分别设置针对所述关键数据的抗单粒子翻转策略;其中,所述关键数据的抗单粒子翻转策略,包括以下任一或者任多:
定时采取三模冗余刷新维护所述航天软件的关键数据存储区;
对多位的标志型逻辑变量的操作采用直接赋值操作,禁止使用按位取反操作改变逻辑值;
对多位的标志型逻辑变量真假的判断采用非真即假,或非假即真的方式,避免陷入非真非假的第三态。
4.根据权利要求1-3中任一项所述的航天软件抗单粒子翻转可靠性测评方法,其特征在于,所述关键数据包括:航天软件存储区中所有长期运行数据的关键性,长期运行的数据包括:全局变量、静态变量、动态分配的存储空间。
5.一种航天软件抗单粒子翻转可靠性测评系统,其特征在于,包括:存储器和至少一个处理器,该存储器中存储有计算机程序运行数据,当处理器读写存储器中存储的计算机程序数据时,执行如权利要求1-4中任一项所述的航天软件抗单粒子翻转可靠性测评方法。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于上海航天计算机技术研究所,未经上海航天计算机技术研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202010707641.6/1.html,转载请声明来源钻瓜专利网。





