Medical Devices

Equipment used in the health care industry that use CPS technology.
news

Visible to the public Distinguished Lecture

On February 25, 2013 Insup Lee gave a talk Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems (MDCPS) as part of Triangle Computer Science Distinguished Lecturer Series. More information available here

event

Visible to the public  43rd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013)
Jun 24, 2013 8:00 am - Jun 27, 2013 5:00 pm CEST

The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependability and security.

event

Visible to the public  MD-CPS Teleconference
Mar 08, 2013 1:00 pm - 3:00 pm EST

event

Visible to the public  Smart Alarm Meeting
Mar 08, 2013 3:00 pm - 4:30 pm EST

Group meeting for the MD CPS project.
More information and meeting schedule here

event

Visible to the public  Smart Alarm Meeting
Mar 01, 2013 3:00 pm - 4:30 pm EST

Group meeting for the MD CPS project.
More information and meeting schedule here

event

Visible to the public  Smart Alarm Meeting
Feb 22, 2013 3:00 pm - 4:30 pm EST

Group meeting for the MD CPS project.
More information and meeting schedule here

news

Visible to the public First Prize at 2012 World Embedded Software Competition

Heart-on-a-Chip, an embedded systems platform that was the 2012 Senior Design Project of Electrical and Systems Engineering (ESE) students Sriram Radhakrishnan, Varun Sampath, and Shilpa Sarode, received first prize in the High-Tech Medical Service category at the 2012 World Embedded Software Competition held in Seoul, Korea. The platform, originally called Pacemaker Verification System, was developed in the laboratory of Rahul Mangharam, Stephen J.

page

Visible to the public OUR CONTRIBUTIONS

  • Model-Driven Safety Analysis of Closed-Loop Medical Systems: We studied the safety of a medical device system for the physiologic closed-loop control of drug infusion. The main contribution is the verification approach for the safety properties of closed-loop medical device systems. We demonstrated, using a case study, that the approach can be applied to a system of clinical importance.

forum

Visible to the public CFP: Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13)

Third Workshop on
Design, Modeling and Evaluation
of Cyber Physical Systems (CyPhy'13)

Philadelphia, PA | April 8, 2012 | CPSWeek 2013 Workshop
http://www.cyphy.org

Call for Papers

Cyber physical systems combine computing and networking power with physical components. As a result, they enable innovation in a wide range of domains, including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.