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

作     者：梁昊 艾云峰 沈怀荣 赵永超 LIANG Hao;AI Yunfeng;SHEN Huairong;ZHAO Yongchao

作者机构：装备学院研究生管理大队北京101416 中国科学院大学工程管理与信息技术学院北京100049 装备学院航天装备系北京101416 国防大学作战与指挥训练教研部北京100091 

出 版 物：《航天控制》 (Aerospace Control)

年 卷 期：2014年第32卷第5期

页      码：59-64页

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

主 题 词：多重中断 数据竞争 原子性违背 偏序化简 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1006-3242.2014.05.011

馆 藏 号：203812622...