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

Authors are invited to submit papers by February 10th, 2014 (short papers 4 pages, full papers 6 pages) and posters by March 15th, 2014 via easychair.org. Papers should follow the two-column ACM Proceedings Format. Please refer to
the ACM SIG Proceedings Template page for paper templates in both Microsoft Word and LaTeX (preferred) formats. Submissions must be original and should not have been published previously or be under consideration for publication
while being evaluated for this workshop. More details about the submission process can be found on the website.