Software Engineering in Health Care

1. Front Matter

   Pages I-X

   PDF

2. Patient Flow Monitoring Systems: Investigation of Alternatives

   • Omar Badreddin, Liam Peyton

   Pages 1-9

3. Retrofitting Communication Security into a Publish/Subscribe Middleware Platform

   • Carlos Salazar, Eugene Y. Vasserman

   Pages 10-25

4. Towards an AADL-Based Definition of App Architecture for Medical Application Platforms

   • Sam Procter, John Hatcliff, Robby

   Pages 26-43

5. Energy-Aware Model-Driven Development of a Wearable Healthcare Device

   • José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen

   Pages 44-63

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

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

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

9. Demonstrating that Medical Devices Satisfy User Related Safety Requirements

   • Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon

   Pages 113-128

10. Secure and Customizable EHR Management Services with COASTmed

    • Alegria Baquero, Richard N. Taylor

    Pages 129-144

11. Process Execution and Enactment in Medical Environments

    • Bernard Lambeau, Christophe Damas, Axel van Lamsweerde

    Pages 145-161

12. Engineering a Performance Management System to Support Community Care Delivery

    • Pillar Mata, Craig Kuziemsky, Jaspreet Singh, Aladdin Baarah, Liam Peyton

    Pages 162-177

13. Towards Continuous Certification of Clinical Information Systems

    • Jens H. Weber, Craig Kuziemsky

    Pages 178-193

14. Applying Information System Hazard Analysis to an Episodic Document Context

    • Fieran Mason-Blakley, Jens Weber, Abdul Roudsari, Morgan Price

    Pages 194-213

15. Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces

    • Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby

    Pages 214-221

16. A Tool for Analyzing Clinical Datasets as Blackbox

    • Nafees Qamar, Yilong Yang, Andras Nadas, Zhiming Liu, Janos Sztipanovits

    Pages 222-238

17. Back Matter

    Pages 239-239

    PDF

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. 

• software engineering
• semantics
• data security
• privacy
• model checking
• human-computer interaction
• software assurance
• telemedicine
• patient monitoring

• TU Clausthal, Clausthal-Zellerfeld, Germany

  Michaela Huhn

• North Carolina State University, Raleigh, USA

  Laurie Williams

Policies and ethics