VERIPACE
"Design, verification and synthesis tools for cardiac pacemaker software"
| Coordinatore | THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 163˙817 € |
| EC contributo | 149˙103 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2013-PoC |
| Funding Scheme | CSA-SA(POC) |
| Anno di inizio | 2014 |
| Periodo (anno-mese-giorno) | 2014-01-01 - 2014-12-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Organization address
address: University Offices, Wellington Square contact info |
UK (OXFORD) | hostInstitution | 149˙103.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'Typical treatment for declining heart function or arrhythmias involves expensive surgical implantation of cardiac pacemakers, medical devices which stimulate the heart to beat appropriately.
Currently, pacemakers do not operate at optimal conditions, resulting in limited battery life and generic functional settings for patients. Pacemaker batteries have an average life of 5-6 years, leading to frequent necessary replacements and increased mortality from the risks of surgery. Further, the ‘one size fits all’ approach to current pacemaker settings leads to inefficient pacing that can result in inadequate symptom relief and, in some cases, can damage heart muscle by over-pacing the ventricles. We propose to optimize pacemakers through developing novel software tools that generate patient-specific pacemaker device settings, resulting in (1) enhanced battery life, (2) decreased/eliminated replacement surgeries, (3) increased symptom relief, and (4) optimal pacing rates. We estimate this has the potential to save £32m for the NHS in the UK.
The project arises from the results obtained in the first phase of the ERC Advanced Grant AdG-246967 VERIWARE (http://www.veriware.org/), which is concerned with sensor-enabled software-controlled devices (so called ‘everyware’), aiming to develop quantitative modelling, verification and synthesis techniques and tools to support the design and validation of their embedded software. The key innovation is the idea of automated synthesis of optimal rates adapted to patient data. While model-based design and validation are employed in the development of pacemakers, parameter settings are largely pre-defined and not changed upon implantation. Our proposal has the potential to revolutionise the design and manufacture of pacemakers.'