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
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.