The University of Southampton
University of Southampton Institutional Repository

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

Record type: Conference or Workshop Item (Paper)

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.

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

Citation

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.

More information

Accepted/In Press date: 30 March 2009
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

Identifiers

Local EPrints ID: 267239
URI: http://eprints.soton.ac.uk/id/eprint/267239
PURE UUID: f0117c0f-d0b0-4a2a-b4a9-d2d533d7bf8f

Catalogue record

Date deposited: 31 Mar 2009 20:44
Last modified: 18 Jul 2017 07:06

Export record

Contributors

Author: Lucas Cordeiro
Author: Bernd Fischer
Author: Huan Chen
Author: Joao Marques-Silva

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×