A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
2009
2009 International Conference on Embedded Software and Systems
In recent days, the complexity of software has increased significantly in embedded products in such a way that the verification of Embedded Software (ESW) now plays an important role to ensure the product's quality. Embedded systems engineers usually face the problems of verifying properties that have to meet the application's deadline, access the memory region, handle concurrency, and control the hardware registers. This work proposes a semiformal verification approach that combines dynamic
doi:10.1109/icess.2009.82
dblp:conf/icess/CordeiroFCM09
fatcat:wiuwzndkynglpfy6d6gaexg7ne