| MD CPS: Medical Device Cyber Physical Systems |
NSF CPS Large Site Visit
January 31, 2012
307 Levine Hall
Poster (pdf) - Agenda (pdf) - Poster Session (pdf)
| 10 am - 10:20 am | |
| Insup Lee | Introductions |
| Helen Gill | NSF |
| 10:20 am – 12:15 pm | Research presentations |
| Insup Lee | Project overview |
| Julian Goldman | MD Interoperability Ecosystem Updates: MD Clock Time and the Regulatory Pathway |
| Soojin Park | Decision Caddy in Neurocritical Care |
| Denis Foo Kune | Medical Device Security: Improving trust in clinical environments |
| Bill Hanson | Enterprise Healthcare Cyber Systems |
| Ross Koppel | Role and value of the interdisciplinary cooperation |
| 12:15 pm - 1:45 pm | Working lunch with poster and demo session, 279 GRW |
| 1:45 pm - 3:45 pm | Research presentations |
| George Pappas Rahul Mangharam |
Physiological closed-loop controllers for MDCPS - Handout |
| Mats Heimdahl Michael Whalen |
Verification and Certification of Medical Device Software |
| Oleg Sokolsky | Assurance cases for evidence based certification |
| Rajeev Alur | Model Synthesis: Challenges in Model-Based Design |
| 3:45 pm - 4:00 pm | Break |
| 4:00 pm - 5:00 pm | Feedback and discussion |
| Government perspectives (NIH, FDA, NSF, ...) Industry perspectives Caregiver perspectives (Margaret Mullen-Fortino) Social science and HCI perspectives (Ross Koppel) | |
| 5:00 pm - 6:00 pm | Reception |
12:15 pm - 1:45 pm Posters and Demo
(Be patient when the posters are downloading)
- Andrew King: Middleware Assurance Substrate
- BaekGyu Kim: Safety-Assured GPCA Reference Implementation
- Santosh Vattam/Danyang Cong/Bhumika Malik: Medical Device Dongle: An Open-Source Standards-Based Platform for Inter-operable Medical Device Connectivity
- Alex Roederer: Clinical Decision Support for Integrated Cyber-Physical Systems: A Mixed Methods Approach (includes demo)
- Anaheed Ayoub: A Safety Case Pattern for Model-Based Development Approach
- Vincent Wang: Life Data Recorder and Three-Valued Runtime Checking Semantics
- Sanjian Chen: Closed-loop Medical Cyber-Physical Systems
- Miroslav Pajic: From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
- Miroslav Pajic: Model-Driven Safety Analysis of Closed-Loop Medical Systems
- Sriram Radhakrishnan/Varun Sampath/Shilpa Sarode: Closed-Loop Pacemaker Testing and Verification Test-Bed Real-Time Heart Model on a Chip
- Andrew King & Alex Roederer: Generic Smart Alarm