1. April 11, 2011 - HCMDSS/MDPnP Workshop Program
9:00 - 9:05am Welcome and Kick-off
9:05 - 10:00am Keynote
Mats Heimdahl, Professor and Director of Software Engineering Center
Professor Mats Heimdahl specializes in software engineering and safety critical systems. He is the director
of the University of Minnesota Software Engineering Center (UMSEC). Heimdahl is the recipient of the
National Science Foundation's CAREER award, a McKnight Land-Grant Professorship and the McKnight
Presidential Fellow award at the University of Minnesota, and the University of Minnesota Award for
Outstanding Contributions to Post-Baccalaureate, Graduate, and Professional Education.
10-10.30am Coffee break
10:30 - 12:00pm: Session I
Cognitive Complexity in the ICU: What Clinicians Really Need from Patient Monitors
Soojin Park, MD. Assistant Professor of Neurology, Division of Stroke and Neurocritical Care, Director of
Neurocritical Care Monitoring and Informatics, Departments of Neurology Neurosurgery & Anesthesiology
and Critical Care. Hospital of the University of Pennsylvania
Certifying the Concurrent State Table Implementation in a Surgical Robotic System
Yanni Kouskoulas, Ming Fu, Zhong Shao and Peter Kazanzides
An Overview of Regulatory and Trust Issues for the Integrated Clinical Environment
John Hatcliff, Eugene Vasserman, Sandy Weininger and Julian Goldman
Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application
Andre Stollenwerk, Florian Göbe, Marian Walter, Jutta Arens, Rüdger Kopp and Stefan Kowalewski
12:00 - 1.30pm Lunch
1:30 - 3:00pm Session II
Invited Talk on Medical Device Plug-n-Play
Dave Arney, CIMIT - Center for Integration of Medicine and Innovative Technology
From Offline Long-Run to Online Short-Run: Exploring A New Approach of Hybrid Systems Model
Checking for MDPnP
Tao Li, Qixin Wang, Feng Tan, Lei Bu, Jian-nong Cao, Xue Liu, Yufei Wang and Rong Zheng
A Protocol for Dual Channel Transmission in Service-Oriented Medical Device Architectures based
on Web Services
Stephan Pöhlsen, Winfried Schöch and Stefan Schlichting
Semantic Alarms in Medical Device Networks
Albert Goldfain, Atanu Roy Chowdhury, Min Xu, Jim DelloStritto and Jonathan Bona
3:00 - 3:30pm Coffee break

2. 3:30 - 5:00pm Session III
Architecture-based Static Analysis of Medical Device Software: Initial Results
Dharmalingam Ganesan, Mikael Lindvall and Rance Cleaveland
Compressed Sensing Based EEG Analysis for Fall Prevention
Wenyao Xu, Fang Gong, Lei He and Majid Sarrafzadeh
Panel Session
Details to follow
5pm Workshop Ends