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

Dynamic Testing Method for Program with Multiple Interrupts in Aerospace Software

作　　者：梁昊 艾云峰[2] 沈怀荣 赵永超[4] 

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

出　　处：《航天控制》2014年第5期59-64,共6页Aerospace Control

摘　　要：随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加。本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间。In recent years, with increasing degree of design complexity on control system, especially f or fly- ing control system integrated with increasing number of sensors, there is a growing number of interrupts in control system. The LTS is used as the system model in multiple interruptions program, the formal descrip- tion for atomicity violation and data race is presented, the DPOR algorithm is used to reduce the space of program state and the dynamic testing tool is designed for control system under the multiple interruptions. At last, the experimental results show that this testing method can not only test dug for the multiple interrupt program, but also can largely reduce the testing time.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]