Allison Connolly

Learn More
Designing bug-free medical device software is difficult, especially in complex implantable devices that may be used in unanticipated contexts. Safety recalls of pacemakers and implantable cardioverter defibrillators due to firmware problems between 1990 and 2000 affected over 200,000 devices, comprising 41% of the devices recalled and are increasing in(More)
Artificial pacemakers are one of the most widely-used implantable devices today, with millions implanted worldwide. The main purpose of an artificial pacemaker is to treat bradycardia, or slow heart beats, by pacing the atrium and ventricles at a faster rate. While the basic functionality of the device is fairly simple, there are many documented cases of(More)
—Designing bug-free medical device software is difficult, especially in complex implantable devices that may be used in unanticipated contexts. Safety recalls of pacemakers and implantable cardioverter defibrillators due to firmware problems between 1990 and 2000 affected over 200,000 devices, comprising 41% of the devices recalled and are increasing in(More)
We present the design of an integrated modeling platform to investigate efficient methodologies for certifying medical device software. The outcome of this research has the potential to expedite medical device software certification for safer operation. Our specific focus in this study is on our ongoing research in artificial pacemaker software. Designing(More)
Designing bug-free medical device software is difficult, especially in complex implantable devices that may be used in unanticipated contexts. In the 20-year period from 1985 to 2005, the US Food and Drug Administration's (FDA) Maude database records almost 30,000 deaths and almost 600,000 injuries from device failures [8]. There is currently no formal(More)
Designing bug-free medical device software is difficult, especially in complex implantable devices used for rhythm management of the cardiac or the neurological system. There is currently no formal methodology or open experimental platform to validate the correct operation of implantable medical device software. We describe our recent work on heart modeling(More)
and reproduction in any medium, provided the original work is properly cited. Objective A community-based EVD surveillance system with improved symptom recording and follow-up of malaria positive patients at PHUs was implemented during low EVD transmission. The rationale and methodology in implementing a PHU-focused approach to strengthen surveillance(More)
This paper discusses the distinctive nature of the specialism of counselling psychology and outlines the development of the discipline in Ireland in the context of international developments and its recognition as a professional branch of applied psychology. Today, counselling psychologists are employed in varied clinical and non-clinical settings including(More)
A Platform for Implantable Medical Device Validation",. October 2010. Abstract: A Platform for Implantable Medical Device Validation. ABSTRACT Designing bug-free medical device software is difficult, especially in complex implantable devices that may be used in unanticipated contexts. In the 20-year period from 1985 to 2005, the US Food and Drug(More)