Medical Cyber Physical Systems Workshop 2014

Medical Device Interoperability, Safety, and Security Assurance

April 14th, 2014 – Berlin, Germany

The Medical CPS workshop provides a forum for the presentation of research and development covering all aspects of high integrity medical devices, software, and systems, which is essential to support innovative, networked medical device systems to improve safety and efficiency in health care. The past four workshops have enjoyed a healthy participation of 35-40 attendees, and have provided a working forum for medical device specialists, including researchers, developers, and caregivers, from clinical environments, industry, research laboratories, academia, and government with the goal of advancing science, technology, and practice to overcome crucial issues with medical devices, software, and systems and challenges facing the design, manufacture, certification, and use of medical devices. This year, the workshop will feature medical device and clinical experts from the EU.

The topics to be covered in the workshop will range across all aspects of medical device software modeling and synthesis for safety, assurance, security and control, including but not limited to:

  • Foundations for Integration of Medical Device Systems/Models: Component-based technologies for accelerated design and verifiable system integration, Systems of systems, MD PnP (Plug-and-Play) to support interoperability of heterogeneous systems
  • Enabling Technologies for Future Medical Devices: Implantable regulatory devices, energy harvesting devices, networked biosensors, tele-surgery, robotic surgery, physiologic signal QoS (Quality of Service)
  • Distributed Control & Sensing of Networked Medical Device Systems: Robust, verifiable, fault-tolerant control of uncertain, multi-modal systems
  • Medical Device Plug-and-Play Ecosystem: Requirements for supporting interoperability in the clinical environment, including "black box" data recording, device authorization, and data security
  • Patient Modeling & Simulation: Large scale, high fidelity organ/patient models for design & testing
  • Embedded, Real-Time, Networked System Infrastructures for HCMDSS: Architecture, platform, middleware, resource management, QoS in HCMDSS, Dynamic interoperation in HCMDSS, including MD PnP (Plug-and-Play) operation
  • High Confidence Medical Device Software Development & Assurance: Care-giver requirements solicitation and capture, design and implementation, verification, and validation, heterogeneity in environment, architecture, platforms in medical devices
  • Medical Practice-driven Models and Requirements: User-centric design, risk understanding, and use/misuse modeling in medical practice, management of failures in a clinical environment, modeling of operational scenarios, including medical devices, care-givers, patients
  • Certification of HCMDSS and MD PnP: Quantifiable incremental certification of HCMDSS and MD PnP interoperability, role of design tools and COTS, approval of non-deterministic and self-adaptive medical device systems
February 24th, 2014 Extended Submission Deadline (Short, Full Papers)
March 15th, 2014 March 18th, 2014 Submission Deadline (Posters)
March 3rd, 2014 March 14th, 2014 Notification
March 17th, 2014 March 21th, 2014 Camera Submission Due
March 7th, 2014 Early Registration
April 14th, 2014 Workshop

Authors are invited to submit papers by February 24th, 2014 (short papers 6-8 pages, full papers 10-14 pages in A4 format) and posters by March 15th, 2014 (short abstract 2-4 pages in A4 format) via Easychair. Papers should prepare their papers using LaTeX and the OASIcs style file. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. All accepted papers will be included in the workshop proceedings published in the open access OASIcs series (Dagstuhl series).

Further instructions for the camera ready version:

    Use further LaTeX packages only if required.
  • Provide full author names (especially with regard to the first name) in the \author macro and in the \Copyright macro.
  • Fill out the \subjclass and \keywords macros. For the \subjclass, please refer to the ACM classification at
  • Take care of suitable linebreaks and pagebreaks. No overfull \hboxes should occur in the warnings log.
  • Provide suitable graphics of at least 300dpi (preferrably in pdf format).
  • Keep the standard style (plain) for the bibliography as provided by the oasics.cls style file.
  • Use BibTex and provide exactly one BibTex file for your article. The BibTex file should contain only entries that are referenced in the article. Please make sure that there are no errors and warnings with the referenced BibTex entries.
  • A manual for the OASIcs style is available at