Medical Cyber-Physical Systems (MCPS) encompass a new generation of smart medical systems that integrate human, cyber, and physical elements in closed-loop control. They aim to improve patient care by enabling the delivery of advanced therapies and complex surgeries. An example is the artificial pancreas that allows people with diabetes to better manage their condition. Another example is medical robotic systems, which allow doctors to perform minimally-invasive surgeries that were not possible before. Such systems may be integrated into the Internet of Medical Things (IoMT) which consist of connected infrastructures of medical devices, mobile and web applications, and other health services. Designing safe and effective MCPS and IoMT involves the work of a multi-disciplinary team of engineers, medical domain experts, and human factors specialists. This work needs to be supported by rigorous development processes and tools, as substantial evidence needs to be documented and integrated to justify design choices and ease the review process mandated by regulation. The proposed workshop aims to bring together different stakeholders involved in the design, development, acquisition, and regulation of MCPS/IoMT, and provide them with a stage that facilitates discussion of ideas, cross-pollination, and collaboration.

The MCPS/IoMT workshop will be an one-day event co-located with CPS-IoT Week 2023 in San Antonio, TX, USA. The objectives of the MCPS and IoMT workshop 2023 are to provide opportunities for researchers, industrial practitioners, caregivers, and government agencies to demonstrate innovative development methods and tools, present experience reports, discuss open challenges, and explore ideas for future development of MCPS and the IoMT. Contributions are welcome on all aspects of system development, including specification, design, analysis, implementation, documentation, and certification of MCPS. Demonstrations of existing tools for design and analysis of MCPS are also encouraged. Topics of interest include, but are not limited to, the following:

• Foundations for Integration of Medical Device Systems/Models: Component-based technologies for accelerated design and verifiable system integration, Systems of systems, Medical devices plug-and-play to support interoperability of heterogeneous systems;
• Enabling Technologies for Future Medical Devices: Implantable regulatory devices, networked biosensors, tele-surgery, robotic surgery, physiologic signal QoS (Quality of Service), Medical CPS in developing countries;
• 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 and emerging standards for supporting interoperability in the clinical environment, including "black box" data recording, device authorization, and data security;
• Human-Machine Interfaces: Identification of use-related safety requirements, model-based analysis of medical user interface design, user studies involving medical devices, modelling and analysis of use-errors with medical devices;
• Patient Modeling & Simulation: Large scale, high fidelity organ/patient models for design and testing;
• Embedded, Real-Time, Networked System Infrastructures for High Confidence Medical Devices: Architecture, platform, middleware, resource management, QoS (Quality of Service), Dynamic interoperation, including plug-and-play operation;
• High Confidence Medical Device Software Development & Assurance: Care-giver requirements solicitation and capture, design and implementation, V&V (Verification and Validation), Heterogeneity in environment, architecture, platforms in medical devices;
• Internet of Medical Things (IoMT): Mobile medical Apps, data analytics, security, logging, forensics, and privacy;
• 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 medical devices: Quantifiable incremental certification of medical devices and interoperable medical systems, role of design tools and COTS (Commercial Off-The-Shelf) components, challenges with self-adaptive medical systems.