A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Interrupt Verification via Thread Verification
2007
Electronical Notes in Theoretical Computer Science
Most of the research effort towards verification of concurrent software has focused on multithreaded code. On the other hand, concurrency in low-end embedded systems is predominantly based on interrupts. Low-end embedded systems are ubiquitous in safety-critical applications such as those supporting transportation and medical automation; their verification is important. Although interrupts are superficially similar to threads, there are subtle semantic differences between the two abstractions.
doi:10.1016/j.entcs.2007.04.002
fatcat:zhcu4sh4yjhnxltlqu7eh77pz4