计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
15期
14-16,22
,共4页
单粒子翻转%错误传播率%错误暴露率%故障注入%脆弱性
單粒子翻轉%錯誤傳播率%錯誤暴露率%故障註入%脆弱性
단입자번전%착오전파솔%착오폭로솔%고장주입%취약성
针对星载软件系统因宇宙射线和环境扰动而产生的软件错误及错误传播问题,研究星载软件系统错误传播分析方法.利用该方法从信号和模块2个层面评测软件的可靠性,并根据结果对系统信号或模块的脆弱性进行分析,找出系统较为脆弱的信号与模块,以及最可能传播错误的信号传播路径.定义信号与模块的错误传播率、暴露率等参数,设计参数的计算方法,提出错误传播图的构建算法.通过具体实例的注入实验,计算分析各可靠性参数,对信号及模块的脆弱性进行评估.结果表明,定义的参数能有效描述错误传播现象,验证了算法的实用性及有效性.
針對星載軟件繫統因宇宙射線和環境擾動而產生的軟件錯誤及錯誤傳播問題,研究星載軟件繫統錯誤傳播分析方法.利用該方法從信號和模塊2箇層麵評測軟件的可靠性,併根據結果對繫統信號或模塊的脆弱性進行分析,找齣繫統較為脆弱的信號與模塊,以及最可能傳播錯誤的信號傳播路徑.定義信號與模塊的錯誤傳播率、暴露率等參數,設計參數的計算方法,提齣錯誤傳播圖的構建算法.通過具體實例的註入實驗,計算分析各可靠性參數,對信號及模塊的脆弱性進行評估.結果錶明,定義的參數能有效描述錯誤傳播現象,驗證瞭算法的實用性及有效性.
침대성재연건계통인우주사선화배경우동이산생적연건착오급착오전파문제,연구성재연건계통착오전파분석방법.이용해방법종신호화모괴2개층면평측연건적가고성,병근거결과대계통신호혹모괴적취약성진행분석,조출계통교위취약적신호여모괴,이급최가능전파착오적신호전파로경.정의신호여모괴적착오전파솔、폭로솔등삼수,설계삼수적계산방법,제출착오전파도적구건산법.통과구체실례적주입실험,계산분석각가고성삼수,대신호급모괴적취약성진행평고.결과표명,정의적삼수능유효묘술착오전파현상,험증료산법적실용성급유효성.
