计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
16期
56-58
,共3页
空间机器人%高可信%错误检测
空間機器人%高可信%錯誤檢測
공간궤기인%고가신%착오검측
提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用.
提齣一套適用于空間機器人的高可信軟件設計模型和算法,將空間機器人軟件錯誤檢測分為單元級和繫統級2箇層級,針對單元級檢測設計程序基本塊模型以及基于該模型的數據流和控製流錯誤檢測算法;針對分佈式軟件繫統級的錯誤檢測,設計多節點自適應冗餘模型,在此基礎上設計基于微檢查點的錯誤檢測算法,對空間機器人軟件繫統的錯誤檢測形成一箇完整覆蓋,該方法已得到成功應用.
제출일투괄용우공간궤기인적고가신연건설계모형화산법,장공간궤기인연건착오검측분위단원급화계통급2개층급,침대단원급검측설계정서기본괴모형이급기우해모형적수거류화공제류착오검측산법;침대분포식연건계통급적착오검측,설계다절점자괄응용여모형,재차기출상설계기우미검사점적착오검측산법,대공간궤기인연건계통적착오검측형성일개완정복개,해방법이득도성공응용.
