Show simple item record

dc.contributor.author高星
dc.contributor.author廖明宏
dc.contributor.author吴翔虎
dc.date.accessioned2011-06-30T07:08:58Z
dc.date.available2011-06-30T07:08:58Z
dc.date.issued2009-08
dc.identifier.citation计算机工程,2009(35):56-58zh_CN
dc.identifier.urihttps://dspace.xmu.edu.cn/handle/2288/9876
dc.description.abstract提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2 个层级,针对单元 级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余 模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。zh_CN
dc.description.sponsorship国家“863”计划基金资助项目(2005AA742013)zh_CN
dc.language.isozhzh_CN
dc.publisher计算机工程zh_CN
dc.subject空间机器人zh_CN
dc.subject高可信zh_CN
dc.subject错误检测zh_CN
dc.title空间机器人高可信软件检错技术zh_CN
dc.typeArticlezh_CN


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record