| 嵌入式软件中断数据竞争安全性检测技术研究 |
| |
| 引用本文： | 付佩儒,谢鹏.嵌入式软件中断数据竞争安全性检测技术研究[J].航天控制,2015,33(3). |
| |
| 作者姓名： | 付佩儒 谢鹏 |
| |
| 作者单位： | 北京航天自动控制研究所,北京,100854 |
| |
| 摘 要： | 嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具。通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测。经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题。
|
| 关 键 词： | 嵌入式 中断 数据竞争 中断作用域集合 检测 |
Research of Interrupt Data Race Safety Detection Technology of Embedded Software |
| |
| FU Peiru,XIE Peng.Research of Interrupt Data Race Safety Detection Technology of Embedded Software[J].Aerospace Control,2015,33(3). |
| |
| Authors: | FU Peiru XIE Peng |
| |
| Abstract: | |
| |
| Keywords: | Embedded Interrupt Data race Interrupt-enable set Detection |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
