License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.MCPS.2014.143
URN: urn:nbn:de:0030-drops-45335
Go to the corresponding OASIcs Volume Portal

Sfyrla, Vasiliki ; Carmona, Josep ; Henck, Pascal

Process-Oriented Analysis for Medical Devices

18.pdf (0.7 MB)


Medical Cyber Physical Systems are widely used in modern healthcare environments. Such systems are considered life-critical due to the severity of consequences that faults may cause. Effective methods, techniques and tools for modeling and analyzing medical critical systems are of major importance for ensuring system reliability and patient safety.

This work is looking at issues concerning different types of medical industry needs including safety analysis, testing, conformance checking, performance analysis and optimization. We explore the possibility of addressing these issues by exploiting information recorded in logs generated by medical devices during execution. Process-oriented analysis of logs is known as process mining, a novel field that has gained considerable interest in
several contexts in the last decade.

Process mining techniques will be applied to an industrial use case provided by Fresenius, a manufacturer of medical devices, for analyzing process logs generated by an infusion pump.

BibTeX - Entry

  author =	{Vasiliki Sfyrla and Josep Carmona and Pascal Henck},
  title =	{{Process-Oriented Analysis for Medical Devices}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{143--146},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-45335},
  doi =		{10.4230/OASIcs.MCPS.2014.143},
  annote =	{Keywords: Process Logs, Process Mining, Discovery, Formal Analysis, Infusion Pump}

Keywords: Process Logs, Process Mining, Discovery, Formal Analysis, Infusion Pump
Collection: 5th Workshop on Medical Cyber-Physical Systems
Issue Date: 2014
Date of publication: 14.04.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI