Preliminary Conference Program

Thursday, July 17 2014

  • 8:45 – Registration
  • 9:15 – Welcome
  • 10:30 - Coffee break
  • 11:00 – Session: Security Aspects in Health Information Systems
    • Jens Weber and Craig Kuziemsky. Towards Continuous Certification of Clinical Information Systems.
    • Alegria Baquero and Richard Taylor. Secure and Customizable EHR Management Services with COASTmed.
    • Carlos Salazar and Eugene Vasserman. Retrofitting Communication Security into a Publish/Subscribe Middleware Platform.
  • 12:30 - Lunch
  • 14:00 – Session: Cyperphysical Medical Devices
    • José Antonio Esparza Isasa, Peter Gorm Larsen and Finn Overgaard Hansen. Energy-Aware Model-Driven Development of a Wearable Healthcare Device.
    • Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Mats Heimdahl, Baek-Gyu Kim, Oleg Sokolsky and Insup Lee. From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
    • Sam Procter, John Hatcliff and Robby. Towards an AADL-Based Definition of App Architectures for Medical Application Platforms.
  • 15:30 - Coffee break
  • 16:00 – Session: Health Care Process Improvements
    • Pilar Mata, Craig Kuziemsky, Jaspreet Bindra, Aladdin Baarah and Liam Peyton. Engineering A Performance Management System To Support Community Care Delivery
    • Nafees Qamar, Yilong Yang, Andras Nadas, Zhiming Liu and Janos Sztipanovits. A Tool for Analyzing Clinical Datasets as Blackboxes. (Short Paper)
    • Omar Badreddin and Liam Peyton. Patient Flow Monitoring Systems: Investigation of Alternatives. (Short Paper)
  • 17:15 – Discussion
  • 18:00 - End of sessions

Friday, July 18 2014

  • 9:00 – Session: Safety: Analysis, Validation and Assurance
    • Lian Duan, Mats Heimdahl, Sanjai Rayadurgam, Anaheed Ayoub, Oleg Sokolsky and Insup Lee. Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey.
    • Michael D. Harrison, Paolo Masci, Jose Creissac Campos and Paul Curzon. Demonstrating that medical devices satisfy user related safety requirements.
    • Fieran Mason-Blakley, Jens Weber and Morgan Price. Applying Information System Hazard Analysis to an Episodic Document Context.
    • Paolo Masci, Patrick Oladimeji, Paul Curzon and Harold Thimbleby. Tool demo: Using PVSio-web to demonstrate software issues in medical user interfaces. (Short Paper)
  • 10:50 - Coffee break
  • 11:20 – Keynote
    • Rick Chapman (FDA). Regulatory Review of Embedded Software in Medical Devices at FDA – A Peek Into the Future.
  • 12:20 - Lunch
  • 14:00 – Session:
    • Olukunle Ogundele, Deshendran Moodley, Anban Pillay and Christopher Seebregts A semantic causal model to predict treatment adherence for tuberculosis patients in sub-Saharan Africa.
    • Bernard Lambeau, Christophe Damas and Axel Van Lamsweerde. Process Execution and Enactment in Medical Environments.
  • 15:00 – Work-in-Progress Session
    • Author16
    • Author17
  • 16:00 - End of the official FHIES/SEHC Program
  •             Coffee break
  • 16:30 - Book Project: The Pacemaker Challenge: Developing Certifiable Medical Devices
    • At the Dagstuhl Seminar of the same title (Feb 2- 7, 2014) a book project was started. Editors and potential contributors to this book will discuss the further steps.