Automated Verification of Quantitative Properties of Cardiac Pacemaker Software

Kwiatkowska, Marta; Mereacre, Alexandru

doi:10.4230/OASIcs.MCPS.2014.137

Document

Automated Verification of Quantitative Properties of Cardiac Pacemaker Software

Authors Marta Kwiatkowska, Alexandru Mereacre

Part of: Volume: 5th Workshop on Medical Cyber-Physical Systems (MCPS 2014)
Part of: Series: Open Access Series in Informatics (OASIcs)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2014-04-14

PDF

File

PDF

OASIcs.MCPS.2014.137.pdf

Filesize: 0.52 MB
4 pages

Document Identifiers

DOI: 10.4230/OASIcs.MCPS.2014.137
URN: urn:nbn:de:0030-drops-45317

Subject Classification

Keywords

Pacemakers
Verification
Simulink

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This poster paper reports on a model-based framework for software quality assurance for cardiac pacemakers developed in Simulink and described in [Chen/Diciolla/Kwiatkowska/Mereacre - Information&Computation, 2013]. A novel hybrid heart model is proposed that is suitable for quantitative verification of pacemakers.
The heart model is formulated at the level of cardiac cells, can be adapted to patient data, and incorporates stochasticity. We validate the model by demonstrating that its composition with a pacemaker model can be used to check safety properties by means of approximate probabilistic verification.

Cite As Get BibTex

Marta Kwiatkowska and Alexandru Mereacre. Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 137-140, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014) https://doi.org/10.4230/OASIcs.MCPS.2014.137

Author Details

Marta Kwiatkowska

Alexandru Mereacre

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail