Medical cyber physical systems

Authors:
Insup Lee;Oleg Sokolsky
Affiliations:
University of Pennsylvania;University of Pennsylvania
Venue:
Proceedings of the 47th Design Automation Conference
Year:
2010

Citing 6
Cited 8

Checking Safety Properties Using Induction and a SAT-Solver

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
High-Confidence Medical Device Software and Systems

Computer
MD-Adapt: A Proposed Architecture for Open-Source Medical Device Interoperability

HCMDSS-MDPNP '07 Proceedings of the 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability
Security and Privacy for Implantable Medical Devices

IEEE Pervasive Computing
Software for Dependable Systems: Sufficient Evidence?

Software for Dependable Systems: Sufficient Evidence?
Toward patient safety in closed-loop medical device systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems

Formal verification of hybrid systems

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Digital mockups for the testing of a medical ventilator

Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)

ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Neural network and physiological parameters based control of artificial pancreas for improved patient safety

ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Perceptual control architecture for cyber-physical systems in traffic incident management

Journal of Systems Architecture: the EUROMICRO Journal
Editorial: Cyber-physical systems: Milestones and research challenges

Computer Communications
Dependable and secure computing in medical information systems

Computer Communications
MEDS: mockup electronic data sheets for automated testing of cyber-physical systems using digital mockups

DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss current trends in the development and use of high-confidence medical cyber-physical systems (MCPS). These trends, including increased reliance on software to deliver new functionality, wider use of network connectivity in MCPS, and demand for continuous patient monitoring, bring new challenges into the process of MCPS development and at the same time create new opportunities for research and development.