Category Archives: News

Model-based Closed-loop Testing paper published in IEEE ICCPS’11 (April 2011)

The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over 40% of device recalls. Testing remains the principal means of verification in the medical device certification regime. Traditional software test generation techniques, where the tests are generated independently of the operational environment, are not effective as the…
Read more

VHM published in Proceeding of IEEE Special Issue on Cyber-Physical Systems, 2012

The design of bug-free and safe medical device software is challenging, especially in complex implantable devices that control and actuate organs in unanticipated contexts. Safety recalls of pacemakers and implantable cardioverter defibrillators between 1990 and 2000 affected over 600,000 devices. Of these, 200,000 or 41%, were due to firmware issues and their effect continues to…
Read more

Pacemaker Malfunction paper published in IEEE EMBC’11, Auguest 2011

Implantable cardiac devices such as artificial pacemakers deliver therapies according to the timing information from the heart. Such devices work under the assumptions of perfect sensing, which are: (a) the pacemaker leads remain in place, and (b) the pacing therapy in one chamber (e.g. atrium) is insulated from the other chambers (e.g. ventricles). But there…
Read more

mLAB will host the Analytical Virtual Integration for CPS (AVICPS) Workshop at RTSS 2011

The goal of the Analytic Virtual Integration of Cyber-Physical Systems (AVICPS) workshop is to explore architecture design patterns, tools and the theoretical analytical foundations for creating common system-wide composition models where key properties can be studied and guarantees provided before the start of actual development. Of particular interest are the case studies on the challenges…
Read more