Skip to main content

"Design, verification and synthesis tools for cardiac pacemaker software"

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

Field of science

  • /medical and health sciences/clinical medicine/surgery
  • /natural sciences/computer and information sciences/software
  • /social sciences/sociology/demography/mortality

Call for proposal

ERC-2013-PoC
See other projects for this call

Funding Scheme

CSA-SA(POC) - Supporting action (Proof of Concept)

Host institution

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Address
Wellington Square University Offices
OX1 2JD Oxford
United Kingdom
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 149 103
Administrative Contact
Gill Wells (Ms.)

Beneficiaries (1)

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
EU contribution
€ 149 103
Address
Wellington Square University Offices
OX1 2JD Oxford
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Gill Wells (Ms.)