The Medical Cyber-Physical Systems (MCPS) workshop provides a forum for the presentation of research and development towards a new generation of smart medical systems that integrate human, cyber, and physical elements in closed-loop control. Such systems are essential to support innovative, networked medical device systems to improve safety and efficiency in health care. Designing safe and effective MCPS 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 MCPS workshop aims to bring together different stakeholders involved in the design, development, acquisition, and regulation of Medical CPS, and provide them with a stage that facilitates discussion of ideas, cross-pollination, and collaboration.
The 8th MCPS workshop will be an one-day event co-located with CPS Week 2018 in Portugal. The objectives of the workshop 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. Contributions are welcome on all aspects of system development, including specification, design, analysis, implementation, documentation, and certification of Medical CPS. Demonstrations of existing tools for design and analysis of Medical CPS are also encouraged. Topics of interest include, but are not limited to, the following:
|February 21st, 2018||Submission Deadline (Papers) -- EXTENDED|
|March 2nd, 2018||Submission Deadline (Posters)|
|March 5th, 2018||Notification of Acceptance|
|March 16th, 2018||Camera Submission Due|
|April 10th, 2018||Workshop|
Authors are invited to submit papers by February 14th, 2018 (short papers 4-6 pages, full papers 8 -10 pages -- including bibliography) and posters/demos (1 page abstract) by March 2nd, 2018.
Submit your papers via EasyChair - https://easychair.org/conferences/?conf=mcpsworkshop2018
Authors should prepare their papers using LaTeX and the ACM style file (SIGCONF). Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. Reviews will be single blind.
Accepted papers will be included in the CPS week proceedings. and published in the SIGBED Review newsletter. By submitting to the workshop the authors are granting permission for ACM to publish in print and digital formats for the SIGBED Review and the ACM archive. Note that the copyright remains with authors.
To be announced
A Reference Architecture for Mixed-Criticality Medical Devices with an Exemplar PCA Pump Device
John Hatcliff, Kansas State University
Building safe and secure interoperable medical devices with accompanying assurance artifacts can often be challenging task. In industry, many start-up companies have great ideas for innovation, but are not familiar with appropriate safety/security-critical engineering processes, architecture principles, risk management, and assurance techniques. Larger, more experienced, companies may face hurdles in re-engineering their devices for interoperability and greater security. In academia, researchers often have good techniques for addressing some of the issues above, but are not familiar with how a realistic medical device is developed and assured. Building a prototype medical device for a classroom project or research work to validate proposed techniques is often a huge effort.
In this talk, I will describe a open-source reference architecture developed by Adventium Labs and Kansas State University for interoperable medical devices and the Open PCA Pump built using the reference architecture and associated hardware. The Intrinsically Secure, Open and Safe Cyber-Physically Enabled, Life-Critical Essential Services (ISOSCELES) architecture is a reference implementation for future mixed-criticality medical and Internet of Things (IoT) system designs. By the use of a partitioning architecture based on hypervisor technology, the reference implementation enables manufacturers to focus on the clinical side of their product, reducing the time and effort spent ensuring that security vulnerabilities in the resulting platform minimize adverse impacts on patient safety. The Open PCA Pump illustrates a full suite of realistic development artifacts that academic researchers can leverage in their work including use cases, requirements, architecture models, verified source code, testing and simulation infrastructure, risk management artifacts, and assurance cases.
This work is sponsored by the US Department of Homeland Security and the US National Science Foundation Food and Drug Administration Scholar-in-Residence program.
Dr. John Hatcliff is a University Distinguished Professor at Kansas State University working in the areas of safety-critical systems, software architectures, and software verification and certification. He leads the Laboratory on Static Analysis and Transformation of Software (SAnToS Lab), which emphasizes developer-centric formal methods tools. SAnToS research has been funded by from a number of sources including US Department of Homeland Security, Department of Defense, the National Institutes of Health, NASA, the US National Science Foundation, Lockheed-Martin, Rockwell Collins, IBM, and Intel. Dr. Hatcliff co-chairs the Architecture Requirements Working Group of the AAMI / UL 2800 Joint Committee that is developing safety standards for medical device interoperability.
To be announced
The workshop is advised by the following steering committee members:
Julian M. Goldman, Massachusetts General Hospital/Harvard Medical School
Paul Jones, US Food and Drug Administration (FDA)
Insup Lee, University of Pennsylvania
Sandy Weininger, US Food and Drug Administration (FDA)
Homa Alemzadeh, University of Virginia
Ezio Bartocci, Vienna University of Technology
Cinzia Bernardeschi, University of Pisa
Luca Bortolussi, University of Trieste
José Creissac Campos, University of Minho
Paul Curzon, Queen Mary University of London
Nuno Dias, Polytechnic Institute of Cavado and Ave
Claudio Eccher, FBK-IRST
Peter Gorm Larsen, Aarhus University
Martin Leucker, University of Lübeck
Sergio Monteiro, University of Minho
Miroslav Pajic, Duke University
Nicola Paoletti, Stony Brook University
Steve Reeves, University of Waikato
Scott Smolka, Stony Brook Universtiy
Oleg Sokolsky, University of Pennsylvania
Harold Thimbleby, Swansea University
Alessio Vecchio, University of Pisa
Krishna K. Venkatasubramanian, Worcester Polytechnic Institute
Yi Zhang, US FDA
Paolo Zuliani, Newcastle University