1 Search Results for "Mereacre, Alexandru"

Document
DOI: 10.4230/OASIcs.MCPS.2014.137
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software

Authors: Marta Kwiatkowska and Alexandru Mereacre

Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)

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

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)

Copy BibTex To Clipboard

@InProceedings{kwiatkowska_et_al:OASIcs.MCPS.2014.137,
  author =	{Kwiatkowska, Marta and Mereacre, Alexandru},
  title =	{{Automated Verification of Quantitative Properties of Cardiac Pacemaker Software}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{137--140},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.137},
  URN =		{urn:nbn:de:0030-drops-45317},
  doi =		{10.4230/OASIcs.MCPS.2014.137},
  annote =	{Keywords: Pacemakers, Verification, Simulink}
}
  • Refine by Author
  • 1 Kwiatkowska, Marta
  • 1 Mereacre, Alexandru

  • Refine by Classification

  • Refine by Keyword
  • 1 Pacemakers
  • 1 Simulink
  • 1 Verification

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2014

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact