赵永超
- 作品数：3 被引量：3H指数：1
- 供职机构：国防大学更多>>
- 相关领域：自动化与计算机技术更多>>
- 航天软件中多重中断程序的动态检测方法研究被引量：3
- 2014年
- 随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加。本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间。
- 梁昊艾云峰沈怀荣赵永超
- 关键词：数据竞争
- VXWORKS系统并发程序动态测试工具设计
- 2014年
- 近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但在实时嵌入式系统测试的过程中,由于实时嵌入式系统中中断和线程相互交叠,始终缺乏有效的并发程序测试工具。为此本文设计了针对VXWORKS系统并发程序动态测试工具,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。
- 梁昊艾云峰沈怀荣赵永超
- 关键词：实时嵌入式系统并发程序多线程
- 控制系统多重中断并发程序测试动态工具设计
- 2015年
- 为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。
- 梁昊艾云峰陈丽容沈怀荣赵永超
- 关键词：迁移数据竞争
