The University of Southampton
University of Southampton Institutional Repository

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

Record type: Conference or Workshop Item (Other)

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.

Microsoft PowerPoint icess2009.ppt - Other
Download (851kB)

Citation

Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints At 6th IEEE International Conference on Embedded Systems and Software (ICESS-09).

More information

Accepted/In Press date: 27 May 2009
Venue - Dates: 6th IEEE International Conference on Embedded Systems and Software (ICESS-09), 2009-05-27
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 268272
URI: http://eprints.soton.ac.uk/id/eprint/268272
PURE UUID: 48dc370c-be53-42d1-8962-957b2536479e

Catalogue record

Date deposited: 27 Nov 2009 11:16
Last modified: 18 Jul 2017 06:55

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.

×