loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Andrea Domenici 1 ; Cinzia Bernardeschi 1 and Paolo Masci 2

Affiliations: 1 University of Pisa, Italy ; 2 Queen Mary University of London, United Kingdom

ISBN: 978-989-758-055-0

Keyword(s): Public Health Informatics, Software Analysis, Formal Verification Technologies.

Related Ontology Subjects/Areas/Topics: Cardiovascular Technologies ; Computing and Telecommunications in Cardiology ; Decision Support Systems, Remote Data Analysis ; Health Engineering and Technology Applications ; Public Health Informatics ; Telemedicine, Real-Time Cardiac Monitoring and Patient Management Systems

Abstract: This paper presents an approach for integrated simulation of pacemaker models and heart models, each developed with the appropriate formalism. Heart models are developed in MathWorks, a powerful tool for the simulation of complex systems, whereas pacemakers are developed in PVS, a theorem-proving environment enabling both simulation and formal verification of safety requirements. The two tools communicate over a Web-based interface, which makes it possible to integrate the simulation of the MathWorks model of the heart and the PVS model of the pacemaker. In this paper, we illustrate the architecture developed for integrated simulation of the pacemaker-heart system and present an example application for realistic models.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.94.109

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Domenici, A.; Bernardeschi, C. and Masci, P. (2014). Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models.In Proceedings of the 2nd International Congress on Cardiovascular Technologies - Volume 1: CARDIOTECHNIX, ISBN 978-989-758-055-0, pages 55-59. DOI: 10.5220/0005153900550059

@conference{cardiotechnix14,
author={Andrea Domenici. and Cinzia Bernardeschi. and Paolo Masci.},
title={Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models},
booktitle={Proceedings of the 2nd International Congress on Cardiovascular Technologies - Volume 1: CARDIOTECHNIX,},
year={2014},
pages={55-59},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005153900550059},
isbn={978-989-758-055-0},
}

TY - CONF

JO - Proceedings of the 2nd International Congress on Cardiovascular Technologies - Volume 1: CARDIOTECHNIX,
TI - Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models
SN - 978-989-758-055-0
AU - Domenici, A.
AU - Bernardeschi, C.
AU - Masci, P.
PY - 2014
SP - 55
EP - 59
DO - 10.5220/0005153900550059

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.