Penn Medicine      University of Minnesota      CIMIT Logo
MD CPS  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn
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)

MD CPS  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn