空间机器人高可信软件检错技术OA北大核心CSCDCSTPCD
Error Detection Technology of Space-robot High-dependable Software
提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用.
高星;廖明宏;吴翔虎
哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001
信息技术与安全科学
空间机器人高可信错误检测
《计算机工程》 2009 (16)
56-58,3
国家"863"计划基金资助项目(2005AA742013)
评论