航天软件中多重中断程序的动态检测方法研究

• 作者: 梁昊 沈怀荣 艾云峰 赵永超
• 来源期刊: 航天控制
• 学科: 工学
• 关键词: 多重中断 数据竞争 原子性违背 偏序化简
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 计算机技术与仿真技术
• 页码范围: 59-64
• 页数: 6页
• 分类号: TP311.5
• 字数: 4852字
• 语种: 中文

摘要

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈怀荣	装备学院航天装备系	27	102	6.0	9.0
2	艾云峰	中国科学院大学工程管理与信息技术学院	12	33	3.0	5.0
3	赵永超	国防大学作战与指挥训练教研部	3	2	1.0	1.0