空间机器人高可信软件检错技术

作     者：高星 廖明宏 吴翔虎 GAO Xing;LIAO Ming-hong;WU Xiang-hu

作者机构：哈尔滨工业大学计算机科学与技术学院哈尔滨150001 

基　　金：国家"863"计划基金资助项目(2005AA742013) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2009年第35卷第16期

页      码：56-58页

摘      要：提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。

主 题 词：空间机器人 高可信 错误检测 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2009.16.019

馆 藏 号：203541156...