HCMDSS11 Workshop Agenda
- 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