Software Engineering in Health Care : 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

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. Front Matter ....Pages I-X Patient Flow Monitoring Systems: Investigation of Alternatives (Omar Badreddin, Liam Peyton)....Pages 1-9 Retrofitting Communication Security into a Publish/Subscribe Middleware Platform (Carlos Salazar, Eugene Y. Vasserman)....Pages 10-25 Towards an AADL-Based Definition of App Architecture for Medical Application Platforms (Sam Procter, John Hatcliff, Robby)....Pages 26-43 Energy-Aware Model-Driven Development of a Wearable Healthcare Device (José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen)....Pages 44-63 Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey (Lian Duan, Sanjai Rayadurgam, Mats P. E. Heimdahl, Anaheed Ayoub, Oleg Sokolsky, Insup Lee)....Pages 64-80 Building Semantic Causal Models to Predict Treatment Adherence for Tuberculosis Patients in Sub-Saharan Africa (Olukunle A. Ogundele, Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay)....Pages 81-95 From Requirements to Code: Model Based Development of a Medical Cyber Physical System (Anitha Murugesan, Mats P. E. Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan et al.)....Pages 96-112 Demonstrating that Medical Devices Satisfy User Related Safety Requirements (Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon)....Pages 113-128 Secure and Customizable EHR Management Services with COASTmed (Alegria Baquero, Richard N. Taylor)....Pages 129-144 Process Execution and Enactment in Medical Environments (Bernard Lambeau, Christophe Damas, Axel van Lamsweerde)....Pages 145-161 Engineering a Performance Management System to Support Community Care Delivery (Pillar Mata, Craig Kuziemsky, Jaspreet Singh, Aladdin Baarah, Liam Peyton)....Pages 162-177 Towards Continuous Certification of Clinical Information Systems (Jens H. Weber, Craig Kuziemsky)....Pages 178-193 Applying Information System Hazard Analysis to an Episodic Document Context (Fieran Mason-Blakley, Jens Weber, Abdul Roudsari, Morgan Price)....Pages 194-213 Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces (Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby)....Pages 214-221 A Tool for Analyzing Clinical Datasets as Blackbox (Nafees Qamar, Yilong Yang, Andras Nadas, Zhiming Liu, Janos Sztipanovits)....Pages 222-238 Back Matter ....Pages 239-239