嵌入式软件中断数据竞争安全性检测技术研究

• 作者: 付佩儒 谢鹏
• 来源期刊: 航天控制
• 学科: 工学
• 关键词: 嵌入式 中断 数据竞争 中断作用域集合 检测
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 计算机技术与仿真技术
• 页码范围: 79-82,87
• 页数: 5页
• 分类号: TP311.5
• 字数: 3263字
• 语种: 中文

摘要

嵌入式领域中由中断引发的软件故障时有发生,这些故障大多源于中断响应所带来的数据竞争,而目前缺乏针对嵌入式软件中断数据竞争的检测技术及工具.通过引入中断特征形式化描述语言和中断作用域集合概念,设计相关算法,完成对被测软件的数据竞争检测.经实验验证,该检测技术能有效帮助测试人员定位嵌入式软件中断数据竞争问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谢鹏		2	16	2.0	2.0
2	付佩儒		1	3	1.0	1.0