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

by Michaela Huhn (Editor), Laurie Williams (Editor)

Overview

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.

Product Details

ISBN-13:	9783319631936
Publisher:	Springer International Publishing
Publication date:	08/31/2017
Series:	Lecture Notes in Computer Science , #9062
Edition description:	1st ed. 2017
Pages:	239
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

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 EpisodicDocument 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.