Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software

Citations Over TimeTop 15% of 2020 papers

Abstract

Interrupt-driven programs are widely deployed in safety-critical embedded systems to perform hardware and resource dependent data operation tasks. The frequent use of interrupts in these systems can cause race conditions to occur due to interactions between application tasks and interrupt handlers (or two interrupt handlers). Numerous program analysis and testing techniques have been proposed to detect races in multithreaded programs. Little work, however, has addressed race condition problems related to hardware interrupts. In this paper, we present SDRacer, an automated framework that can detect, validate and repair race conditions in interrupt-driven embedded software. It uses a combination of static analysis and symbolic execution to generate input data for exercising the potential races. It then employs virtual platforms to dynamically validate these races by forcing the interrupts to occur at the potential racing points. Finally, it provides repair candidates to eliminate the detected races. We evaluate SDRacer on nine real-world embedded programs written in C language. The results show that SDRacer can precisely detect and successfully fix race conditions.

Related Papers

• → xICU - in interrupt control unit for a configurable DSP core(2004)2 cited
• Interrupt Handling Based on ML507 Imbedded System Under VxWorks(2012)
• Interrupt Process Design Based on MPC860 and VxWorks(2005)
• Interrupt Processing Technique of High Performance DSP(2004)
• → Interrupt Handling in Symbian and Linux Mobile Operating Systems(2010)