Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …

Deadlocking is an unresponsive state of software that arises when threads hold locks while
trying to acquire other locks that are already held by other threads, resulting in a circular lock …

Interrupt-driven programs have been widely used in safety-critical areas such as aerospace
and embedded systems. However, uncertain interleaving execution of interrupt service …

Interrupt-driven programs are widely used in embedded systems with high security
requirements. However, uncertain interleaving execution of tasks and interrupts may cause …

Interrupt-driven programs are extensively employed in safety-critical areas such as
aerospace, autonomous driving, and medical equipment. Nevertheless, the uncertainty of …

Atomicity violation bugs are a frequent problem in concurrency. Because of the
unpredictable nature of thread interleaving, most current methods are unable to differentiate …

Concurrency errors are known for their difficulty of debugging and reproducing prior to
execution. Undetected concurrency errors could result in nondeterministic executions that …