Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/24363

Process-oriented analysis for medical devices
Sfyrla, Vassiliki; Carmona Vargas, Josep; Henck, Pascal
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
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.
Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica
Medical informatics
Discovery
Formal analysis
Infusion pump
Process logs
Process mining
Medicina -- Informàtica
Attribution 3.0 Spain
http://creativecommons.org/licenses/by/3.0/es/
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Muñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P.
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Muñoz Gama, Jorge; Carmona Vargas, Josep; Aalst, Wil M.P. van der
Carmona Vargas, Josep; Solé, Marc
Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike