Verification of Embedded Software

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

FREE-DOWNLOAD [PDF] L Cordeiro, B Fischer, H Chen… – 2009
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 im- portant role to
ensure the product’s quality. Embedded sys- tems engineers usually face the problems of