星载软件系统错误传播研究与分析

针对星载软件系统因宇宙射线和环境扰动而产生的软件错误及错误传播问题,研究星载软件系统错误传播分析方法。利用该方法从信号和模块2个层面评测软件的可靠性,并根据结果对系统信号或模块的脆弱性进行分析,找出系统较为脆弱的信号与模块,以及最可能传播错误的信号传播路径。定义信号与模块的错误传播率、暴露率等参数,设计参数的计算方法,提出错误传播图的构建算法。通过具体实例的注入实验,计算分析各可靠性参数,对信号及模块的脆弱性进行评估。结果表明,定义的参数能有效描述错误传播现象,验证了算法的实用性及有效性。