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

高星; 廖明宏; 吴翔虎

首页> 中文期刊> 《计算机工程》 >空间机器人高可信软件检错技术

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2009年第16期|56-58|共3页
作者
高星; 廖明宏; 吴翔虎;
展开▼
作者单位

哈尔滨工业大学计算机科学与技术学院;

哈尔滨;

150001;

哈尔滨工业大学计算机科学与技术学院;

哈尔滨;

150001;

哈尔滨工业大学计算机科学与技术学院;

哈尔滨;

150001;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
空间机器人; 高可信; 错误检测;

相似文献

中文文献
外文文献
专利

1. 论高可信软件工程技术 [J] . 张文瑞 . 电子技术与软件工程 . 2017,第013期
2. 高可信软件工程技术的特点和现状 [J] . 龚业 ,杨菡 . 电子技术与软件工程 . 2017,第001期
3. 高可信软件工程技术 [J] . 任洪君 . 电子技术与软件工程 . 2017,第004期
4. 高可信软件工程技术 [J] . 齐彦杰 . 魅力中国 . 2013,第010期
5. 高可信软件工程技术 [J] . 陈火旺 ,王戟 ,董威 . 电子学报 . 2003,第0z1期
6. 面向二进制级高可信软件的高危整数溢出错误自动化精确测试与发掘技术 [C] . 卢锡城 ,李根 ,卢凯 . 中国计算机学会全国软件与应用学术会议（NASAC2009） . 2009
7. 基于逻辑的程序验证方法在高可信软件开发上的应用 [A] . 项森 . 2006

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

摘要

著录项

相似文献

相关主题

期刊订阅