郭向英

作品数：10被引量：56H指数：5
导出分析报告
供职机构：北京控制工程研究所更多>>
发文主题：模拟器数据竞争目标码嵌入式软件处理器更多>>
发文领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
发文期刊：《计算机工程与设计》《空间控制技术与应用》《计算机应用与软件》《软件学报》更多>>
所获基金：国家自然科学基金国家中长期科技发展规划重大专项国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于变量访问序模式的中断数据竞争检测方法被引量：17
《软件学报》2016年第3期547-561,共15页陈睿 杨孟飞 郭向英 
国家自然科学基金(91118007)~~
在航天嵌入式软件等中断驱动型软件中,中断数据竞争问题十分突出.然而,中断在并发语义、同步机制、调度机制等方面与线程(任务)有诸多不同,具有Ad-hoc特征,难以统一刻画,因此,主流的数据竞争检测方法并不适用.以航天嵌入式软件数据竞争...
关键词：中断驱动型程序 数据竞争 抽象解释 
航天嵌入式软件可信性保障技术及应用研究被引量：12
《中国科学：技术科学》2015年第2期198-203,共6页杨孟飞 顾斌 郭向英 董晓刚 王政 陈睿 
国家中长期科技发展规划重大专项和国家自然科学基金(批准号:91118007)资助项目
研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具...
关键词：航天器 可信软件 嵌入式 
应用虚拟测试技术提升航天嵌入式软件可信性被引量：3
《质量与可靠性》2014年第1期55-59,共5页郭向英 张西超 赵雷 
将虚拟测试环境应用于航天嵌入式软件的研制过程,可有效解决航天嵌入式软件研制过分依赖硬件环境造成的软件研制受限于硬件研制、测试不充分等问题,对于提高软件的可信性具有重要意义。本文针对航天嵌入式软件领域,比较了目前基于真实...
关键词：嵌入式软件 软件测试 虚拟环境 
TCG动态二进制翻译技术研究被引量：10
《计算机应用与软件》2013年第11期34-37,41,共5页张西超 郭向英 赵雷 
国家自然科学基金项目(91118007)
动态二进制翻译是一种即时编译技术,能在运行时将一种指令集体系结构的二进制代码实时翻译成可在另一种指令集体系结构下运行的代码。针对TCG(Tiny Code Generator)动态二进制翻译技术,首先对其基本原理进行研究,分析它的分层机制和翻...
关键词：微代码生成 动态二进制翻译 翻译块 中间表示 优化 
基于VTEST的TMS320C3x指令集模拟器设计被引量：2
《计算机工程与设计》2013年第6期1973-1977,1982,共6页郭向英 盛庄 张西超 
国家高技术研究发展计划基金项目(2011AA010105)
TMS320C3x指令集模拟器主要由指令集、中断和外设模块3部分组成。根据TMS320C3x指令的寻址特点,提出了双线代码指令模拟技术,该技术既能降低开发模拟程序的工作量,又能保证模拟效率;通过对中断识别机制的研究,给出了模拟器中断响应过程...
关键词：VTEST平台 TMS320C3x指令集 模拟器 中断 外设 
面向单粒子效应的航天嵌入式软件软防护技术研究被引量：2
《质量与可靠性》2013年第1期54-58,共5页郭向英 赵雷 沈沛 
单粒子效应是影响航天器可靠性和在轨寿命的重要因素。单粒子效应引发的可恢复性错误称为软错误,会导致软件运行出错。本文针对单粒子效应引发的软错误,对航天嵌入式软件中采用的软防护技术,按照控制流防护和数据流防护进行了分类分析...
关键词：单粒子效应 软错误 软防护技术 数据流 控制流 
一种用于分析MCS-51目标码堆栈深度的方法被引量：5
《空间控制技术与应用》2010年第2期47-50,共4页张西超 郭向英 
在嵌入式软件中,针对目标码的堆栈分析是堆栈检查的常用手段.提出了一种用于MCS-51系列处理器目标码的堆栈深度分析方法,该方法可分析最坏情况下的堆栈深度,并考虑了不同优先级下中断服务程序对堆栈的影响.利用该方法可开发出分析MCS-5...
关键词：MCS-51 目标码 堆栈分析 堆栈深度 
汇编语言自动单元测试工具设计方法研究被引量：1
《质量与可靠性》2006年第3期50-53,共4页郭向英 刘景炜 
单元测试是发现软件缺陷的重要测试手段。目前可用的单元测试工具也有许多,但大多是针对高级程序设计语言的测试工具,针对汇编语言的单元测试工具却很少。而对于嵌入式应用还不可避免地大量使用汇编语言,因此汇编语言的单元测试工具是...
关键词：单元测试 汇编语言 模拟器 测试工具 
航天常用微处理器的中断系统概述
《控制工程（北京）》2005年第5期40-49,80,共11页郭向英 
中断系统是微处理器结构中的重要组成部分。对于嵌入式系统的应用十分关键。无论是开发人员还是测试人员，对于微处理器中断系统的原理都应该十分了解。本文介绍了几种航天常用微处理器的中断系统基本原理。重点介绍工作原理。而不着重...
关键词：微处理器 CPU 中断 优先级 断点 中断向量 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部