赵永超

作品数：3被引量：3H指数：1
导出分析报告
供职机构：国防大学更多>>
发文主题：违背数据竞争原子性航天软件动态检测更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》《软件工程与应用》《航天控制》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
控制系统多重中断并发程序测试动态工具设计
《计算机工程与设计》2015年第7期1813-1819,共7页梁昊 艾云峰 陈丽容 沈怀荣 赵永超 
为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方...
关键词：多重中断 迁移 状态 数据竞争 原子性违背 偏序化简 
航天软件中多重中断程序的动态检测方法研究被引量：3
《航天控制》2014年第5期59-64,共6页梁昊 艾云峰 沈怀荣 赵永超 
随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加。本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述...
关键词：多重中断 数据竞争 原子性违背 偏序化简 
VXWORKS系统并发程序动态测试工具设计
《软件工程与应用》2014年第3期86-96,共11页梁昊 艾云峰 沈怀荣 赵永超 
近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但在实时嵌入式系统测试的过程中,由于实时嵌入式系统中中断和线程相互交叠,始终缺乏有效的并发程序测试工具。为此本文设...
关键词：实时嵌入式系统 并发程序 多重中断 多线程 并发错误 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部