Patient Flow Monitoring Systems: Investigation of Alternatives -- Retrofitting Communication Security into a Publish/Subscribe Middleware Platform -- Towards an AADL-Based Definition of App Architectures for Medical Application Platforms -- Energy-Aware Model-Driven Development of a Wearable Healthcare Device -- Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey -- Building semantic causal models to predict treatment adherence for tuberculosis patients in sub-Saharan Africa -- From Requirements to Code: Model Based Development of a Medical Cyber Physical System -- Demonstrating that medical devices satisfy user related safety requirements -- Secure and Customizable EHR Management Services with COASTmed -- Process Execution and Enactment in Medical Environments -- Engineering A Performance Management System To Support Community Care Delivery -- A Framework for Continuous Certification of Clinical Information Systems -- Applying Information System Hazard Analysis to an Episodic Document Context -- Using PVSio-web to demonstrate software issues in medical user interfaces -- Formalizing The Cardiac Pacemaker Resynchronization Therapy -- A Tool for Analyzing Clinical Datasets as Blackboxes.

This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in Health Care. The meeting took place in Washington, DC, USA, in July 2014. The 16 papers presented in this volume were carefully reviewed and selected from 23 submissions. They deal with security aspects of health information systems; medical devices in cyberphysical systems; the process of providing healthcare and of monitoring patients; and patient safety and the assurance of medical systems. .