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

Yu Wang, Fengjuan Gao, Linzhang Wang +4

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…