MCPS 2014 April 14, 2014 - Berlin, Germany

5th Workshop on Medical Cyber-Physical Systems



Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer (Eds.)
ISBN 978-3-939897-66-8, OASICS Vol. 36 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 13 MB)
Search Publication Server


Authors
  • Ahn, Yong woon
  • Al-Humam, Abdulaziz
  • Alonso, Diego
  • Arney, David
  • Ayoub, Anaheed
  • Bezzo, Nicola
  • Bogdan, Paul
  • Busshaus, Timm
  • Carmona, Josep
  • Chen, Sanjian
  • Cheng, Albert Mo Kim
  • Curzon, Paul
  • Fahel, Leila
  • Feng, Lu
  • Fischer, Stefan
  • Ghorbani, Mahboobeh
  • Goldman, Julian M.
  • Gollmann, Dieter
  • Gregorczyk, David
  • Habli, Ibrahim
  • Haverkort, Boudewijn R.
  • Henck, Pascal
  • Jones, Paul
  • Kühn, Franziska
  • Kelly, Tim
  • King, Andrew L.
  • Kwiatkowska, Marta
  • Lee, Insup
  • Leucker, Martin
  • Ma, Xintao
  • Mangharam, Rahul
  • Masci, Paolo
  • Mattegunta, Pratyusha
  • Mereacre, Alexandru
  • Mildner, Alexander
  • Montero-Rodríguez, Juan J.
  • Ortiz-León, Gabriela
  • Pöhlsen, Stephan
  • Park, Junkil
  • Plourde, Jeff
  • Remke, Anne
  • Rinast, Jonas
  • Ringwelski, Martin
  • Schlichting, Stefan
  • Schrenker, Rick
  • Schupp, Sibylle
  • Sfyrla, Vasiliki
  • Simalatsar, Alena
  • Skalistis, Stefanos
  • Sokolsky, Oleg
  • Thimbleby, Harold
  • Timm-Giel, Andreas
  • Turau, Volker
  • Vílchez-Monge, Marta
  • van den Berg, Freek
  • Weyer, Christoph
  • Whitehead, Susan F.
  • Zhang, Yi

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Turau, Volker ; Kwiatkowska, Marta ; Mangharam, Rahul ; Weyer, Christoph

    Abstract | Document (299 KB) | BibTeX

    A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
    Authors: Masci, Paolo ; Zhang, Yi ; Jones, Paul ; Thimbleby, Harold ; Curzon, Paul

    Abstract | Document (596 KB) | BibTeX

    An Approach to Integrate Distributed Systems of Medical Devices in High Acuity Environments
    Authors: Gregorczyk, David ; Fischer, Stefan ; Busshaus, Timm ; Schlichting, Stefan ; Pöhlsen, Stephan

    Abstract | Document (2,000 KB) | BibTeX

    Simulations of the Cardiovascular System Using the Cardiovascular Simulation Toolbox
    Authors: Ortiz-León, Gabriela ; Vílchez-Monge, Marta ; Montero-Rodríguez, Juan J.

    Abstract | Document (1,084 KB) | BibTeX

    Adaptive Failure Detection and Correction in Dynamic Patient-Networks
    Authors: Ringwelski, Martin ; Timm-Giel, Andreas ; Turau, Volker

    Abstract | Document (671 KB) | BibTeX

    Challenges and Opportunities in Design of Control Algorithm for Artificial Pancreas
    Authors: Ghorbani, Mahboobeh ; Bogdan, Paul

    Abstract | Document (415 KB) | BibTeX

    Automatic Resource Scaling for Medical Cyber-Physical Systems Running in Private Cloud Computing Architecture
    Authors: Ahn, Yong woon ; Cheng, Albert Mo Kim

    Abstract | Document (997 KB) | BibTeX

    Modeling of Reconfigurable Medical Ultrasonic Applications in BIP
    Authors: Skalistis, Stefanos ; Simalatsar, Alena

    Abstract | Document (869 KB) | BibTeX

    A Domain Specific Language for Performance Evaluation of Medical Imaging Systems
    Authors: van den Berg, Freek ; Remke, Anne ; Haverkort, Boudewijn R.

    Abstract | Document (904 KB) | BibTeX

    A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal
    Authors: Feng, Lu ; King, Andrew L. ; Chen, Sanjian ; Ayoub, Anaheed ; Park, Junkil ; Bezzo, Nicola ; Sokolsky, Oleg ; Lee, Insup

    Abstract | Document (508 KB) | BibTeX

    Evaluating On-line Model Checking in UPPAAL-SMC using a Laser Tracheotomy Case Study
    Authors: Ma, Xintao ; Rinast, Jonas ; Schupp, Sibylle ; Gollmann, Dieter

    Abstract | Document (434 KB) | BibTeX

    Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures
    Authors: Habli, Ibrahim ; Al-Humam, Abdulaziz ; Kelly, Tim ; Fahel, Leila

    Abstract | Document (887 KB) | BibTeX

    Design Pillars for Medical Cyber-Physical System Middleware
    Authors: Arney, David ; Plourde, Jeff ; Schrenker, Rick ; Mattegunta, Pratyusha ; Whitehead, Susan F. ; Goldman, Julian M.

    Abstract | Document (365 KB) | BibTeX

    OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices
    Authors: Kühn, Franziska ; Leucker, Martin ; Mildner, Alexander

    Abstract | Document (3,032 KB) | BibTeX

    Automated Verification of Quantitative Properties of Cardiac Pacemaker Software
    Authors: Kwiatkowska, Marta ; Mereacre, Alexandru

    Abstract | Document (540 KB) | BibTeX

    Potential Advantages of Applying Assurance Case Modeling to Requirements Engineering for Interoperable Medical Device Systems
    Authors: Schrenker, Rick ; Plourde, Jeff ; Alonso, Diego ; Arney, David ; Goldman, Julian M.

    Abstract | Document (308 KB) | BibTeX

    Process-Oriented Analysis for Medical Devices
    Authors: Sfyrla, Vasiliki ; Carmona, Josep ; Henck, Pascal

    Abstract | Document (734 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI