Loading...
Loading...

Go to the content (press return)

Process-oriented analysis for medical devices

Author
Sfyrla, V.; Carmona, J.; Henck, P.
Type of activity
Presentation of work at congresses
Name of edition
5th Medical Cyber Physical Systems Workshop: Medical Device Interoperability, Safety, and Security Assurance
Date of publication
2014
Presentation's date
2014-04
Book of congress proceedings
5th Workshop on Medical Cyber-Physical Systems: MCPS’14, April 14th, 2014, Berlin, Germany
First page
143
Last page
146
Publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI
10.4230/OASIcs.MCPS.2014.143
Repository
http://hdl.handle.net/2117/24363 Open in new window
Abstract
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, perform...
Citation
Sfyrla, V.; Carmona, J.; Henck, P. Process-oriented analysis for medical devices. A: Medical Cyber Physical Systems Workshop: Medical Device Interoperability, Safety, and Security Assurance. "5th Workshop on Medical Cyber-Physical Systems: MCPS’14, April 14th, 2014, Berlin, Germany". Berlin: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, p. 143-146.
Keywords
Discovery, Formal analysis, Infusion pump, Process logs, Process mining
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Sfyrla, Vassiliki  (author and speaker )
  • Carmona Vargas, Jose  (author and speaker )
  • Henck, P.  (author and speaker )

Attachments