检索结果-南通市图书馆

哈尔滨工业大学学报 2017年第5期49卷 49-55,121页

作者：曲明成崔乃刚吴翔虎陶永超哈尔滨工业大学计算机科学与技术学院哈尔滨150001 哈尔滨工业大学航空宇航科学与技术博士后流动站哈尔滨150001

针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系... 详细信息

针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器(GDB)间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器(GDB)三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.

关键词：嵌入式软件测试虚拟目标机虚拟测试系统

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术

引用

计算机测量与控制 2019年第8期27卷 125-129页

作者：沈怡颹张程何益康林荣峰朱晏庆上海航天控制技术研究所上海201109 上海市空间智能控制技术重点实验室上海201109

动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动... 详细信息

动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。

关键词：虚拟目标机动态系统建模工具协同仿真软件非干涉运行监控技术

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：