Towards Model Checking of Implantable Cardioverter Defibrillators

Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It usually ends in death within a minute. A common way to treat the symptoms of fibrillation is to implant a medical device, known as an Implantable Cardioverter Defibrillator (ICD), in the patient\u27s body. Model-based verification can supply rigorous proofs of safety and efficacy. In this paper, we build a hybrid system model of the human heart+ICD closed loop, and show it to be a STORMED system, a class of o-minimal hybrid systems that admit finite bisimulations. In general, it may not be possible to compute the bisimulation. We show that approximate reachability can yield a finite simulation for STORMED systems, and that certain compositions respect the STORMED property. The results of this paper are theoretical and motivate the creation of concrete model checking procedures for STORMED systems

What's the evidence that NICE guidance has been implemented? Results from a national evaluation using time series analysis, audit of patients' notes, and interviews

OBJECTIVES: To assess the extent and pattern of implementation of guidance issued by the National Institute for Clinical Excellence (NICE). DESIGN: Interrupted time series analysis, review of case notes, survey, and interviews. SETTING: Acute and primary care trusts in England and Wales. PARTICIPANTS: All primary care prescribing, hospital pharmacies; a random sample of 20 acute trusts, 17 mental health trusts, and 21 primary care trusts; and senior clinicians and managers from five acute trusts. MAIN OUTCOME MEASURES: Rates of prescribing and use of procedures and medical devices relative to evidence based guidance. RESULTS: 6308 usable patient audit forms were returned. Implementation of NICE guidance varied by trust and by topic. Prescribing of some taxanes for cancer (P <0.002) and orlistat for obesity (P <0.001) significantly increased in line with guidance. Prescribing of drugs for Alzheimer’s disease and prophylactic extraction of wisdom teeth showed trends consistent with, but not obviously a consequence of, the guidance. Prescribing practice often did not accord with the details of the guidance. No change was apparent in the use of hearing aids, hip prostheses, implantable cardioverter defibrillators, laparoscopic hernia repair, and laparoscopic colorectal cancer surgery after NICE guidance had been issued. CONCLUSIONS: Implementation of NICE guidance has been variable. Guidance seems more likely to be adopted when there is strong professional support, a stable and convincing evidence base, and no increased or unfunded costs, in organisations that have established good systems for tracking guidance implementation and where the professionals involved are not isolated. Guidance needs to be clear and reflect the clinical context

Monitoring of CRT-D devices during radiation therapy in vitro

Background: Using of active cardiac medical devices increases steadily. In Europe, there were 183 implants of ICD and 944 implants of PM, 119 of biventricular ICD and 41 of biventricular PM, all per million inhabitants in 2014. Healthcare environments, including radiotherapy treatment rooms, are considered challenging for these implantable devices. Exposure to radiation may cause the device to experience premature elective replacement indicator, decreased pacing amplitude or pacing inhibition, inappropriate shocks or inhibition of tachyarrhythmia therapy and loss of device function. These impacts may be temporary or permanent. The aim of this study was to evaluate the influence of linear accelerator ionizing radiation dose of 10 Gy on the activity of the biventricular cardioverter-defibrillator in different position in radiation beam. Methods: Two identical wireless communication devices with all three leads were used for the measurement. Both systems were soused into solution saline and exposed in different position in the beam of linear accelerator per 10 Gy fractions. In comparison of usually used maximum recommended dose of 2 Gy, the radiation doses used in test were five times higher. Using the simultaneous monitoring wireless communication between device and its programmer allowed watching of the devices activities, noise occurrence or drop of biventricular pacing on the programmer screen, observed by local television loop camera. Results: At any device position in radiation beam, there were no influences of the device activity at dose of 10 Gy neither a significant increase of a solution saline temperature in any of the measured positions of CRT-D systems in linear accelerator. Conclusions: The results of the study indicated, that the recommendation dose for treating the patients with implantable devices are too conservative and the risk of device failure is not so high. The systems can easily withstand the dose fractions of tens Gy, which would allow current single-dose-procedure treatment in radiation therapy. Even though the process of the random alteration of device memory and electrical components by scatter particles not allowed to specify a safe dose during ionizing radiation, this study showed that the safe limit are above the today used dose fractions.Web of Science15art. no. 2

Making MRI available for patients with cardiac implantable electronic devices: growing need and barriers to change

More than half of us will need a magnetic resonance imaging (MRI) scan in our lifetimes. MRI is an unmatched diagnostic test for an expanding range of indications including neurological and musculoskeletal disorders, cancer diagnosis, and treatment planning. Unfortunately, patients with cardiac pacemakers or defibrillators have historically been prevented from having MRI because of safety concerns. This results in delayed diagnoses, more invasive investigations, and increased cost. Major developments have addressed this-newer devices are designed to be safe in MRI machines under specific conditions, and older legacy devices can be scanned provided strict protocols are followed. This service however remains difficult to deliver sustainably worldwide: MRI provision remains grossly inadequate because patients are less likely to be referred, and face difficulties accessing services even when referred. Barriers still exist but are no longer technical. These include logistical hurdles (poor cardiology and radiology interaction at physician and technician levels), financial incentives (re-imbursement is either absent or fails to acknowledge the complexity), and education (physicians self-censor MRI requests). This article therefore highlights the recent changes in the clinical, logistical, and regulatory landscape. The aim of the article is to enable and encourage healthcare providers and local champions to build MRI services urgently for cardiac device patients, so that they may benefit from the same access to MRI as everyone else. KEY POINTS: • There is now considerable evidence that MRI can be provided safely to patients with cardiac implantable electronic devices (CIEDs). However, the volume of MRI scans delivered to patients with CIEDs is fifty times lower than that of the estimated need, and patients are approximately fifty times less likely to be referred. • Because scans for this patient group are frequently for cancer diagnosis and treatment planning, MRI services need to develop rapidly, but the barriers are no longer technical. • New services face logistical, educational, and financial hurdles which can be addressed effectively to establish a sustainable service at scale

Predicting Early Mortality Among Implantable Defibrillator Patients Treated With Cardiac Resynchronization Therapy

Background: The beneficial effects of a cardiac resynchronization defibrillator (CRT-D) in patients with heart failure, low left ventricular ejection fraction (LVEF), and wide QRS have clearly been established. Nevertheless, mortality r

Trends in Cardiac Pacemaker Batteries

Batteries used in Implantable cardiac pacemakers-present unique challenges to their developers and manufacturers in terms of high levels of safety and reliability. In addition, the batteries must have longevity to avoid frequent replacements. Technological advances in leads/electrodes have reduced energy requirements by two orders of magnitude. Micro-electronics advances sharply reduce internal current drain concurrently decreasing size and increasing functionality, reliability, and longevity. It is reported that about 600,000 pacemakers are implanted each year worldwide and the total number of people with various types of implanted pacemaker has already crossed 3 million. A cardiac pacemaker uses half of its battery power for cardiac stimulation and the other half for housekeeping tasks such as monitoring and data logging. The first implanted cardiac pacemaker used nickel-cadmium rechargeable battery, later on zinc-mercury battery was developed and used which lasted for over 2 years. Lithium iodine battery invented and used by Wilson Greatbatch and his team in 1972 made the real impact to implantable cardiac pacemakers. This battery lasts for about 10 years and even today is the power source for many manufacturers of cardiac pacemakers. This paper briefly reviews various developments of battery technologies since the inception of cardiac pacemaker and presents the alternative to lithium iodine battery for the near future