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


Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints At The 6th International Conference on Embedded Software and Systems, China. 25 - 27 May 2009.

Download

[img] PDF icess2009.pdf - Version of Record
Download (281kB)

Description/Abstract

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 and static verification to stress and cover exhaustively the state space of the system. We perform a case study on embedded software used in the medical devices domain. We conclude that the proposed approach improves the coverage and reduces substantially the verification time.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: May 25 - May 27, 2009
Venue - Dates: The 6th International Conference on Embedded Software and Systems, China, 2009-05-25 - 2009-05-27
Keywords: Embedded Software Verification, Bounded Model Checking, Predicate Abstraction and Simulation
Organisations: Electronic & Software Systems
ePrint ID: 267239
Date :
Date Event
30 March 2009Accepted/In Press
Date Deposited: 31 Mar 2009 20:44
Last Modified: 23 Feb 2017 10:02
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267239

Actions (login required)

View Item View Item