×
ABSTRACT. Designing bug-free medical device software is difficult, es- pecially in complex implantable devices that may be used in unanticipated contexts.
We present the design of an integrated modeling platform to investigate efficient methodologies for certifying medical device software.
We present the design of an integrated modeling platform to investigate efficient methodologies for certifying medical device software.
The platform exposes functional and formal interfaces for validation and verification of implantable cardiac devices.
Demo Abstract: A Platform for Implantable Medical Device Validation ; Date of presentation. 2010-10-01 ; Conference name. Real-Time and Embedded Systems Lab (mLAB) ...
Demo Abstract: A Platform for Implantable Medical Device Validation. October 2010. Authors: Miroslav Pajic at Duke University · Miroslav Pajic · Duke University.
The design of an integrated modeling platform to investigate efficient methodologies for certifying medical device software certification for safer ...
The platform exposes functional and formal interfaces for validation and verification of implantable cardiac devices. We demonstrate the VHM is capable of ...
We present the design of an integrated modeling platform to investigate efficient methodologies for certifying medical device software.
Demo Abstract: A Platform for Implantable Medical Device Validation Keywords Real-time systems, medical devices, validation, cyber-physical systems ...