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

Research of Interrupt Data Race Safety Detection Technology of Embedded Software

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

Interrupt faults of embedded software occur from time to time in the field of embedded system, data race is the deep reason of many of these interrupt faults, but barely no technologies and tools are avail- able for interrupt data race detection of embedded software. The concepts of the interrupt formal description language and the interrupt enable set are introduced in this paper, and several related algorithms are de- signed. Through experiments implemented, it is proven that the detection technology can help software testers target interrupt data race problems.