DocumentCode :
586377
Title :
Medical guidelines reconciling medical software and electronic devices: Imatinib case-study
Author :
Simalatsar, Alena ; De Micheli, G.
Author_Institution :
Ecole Polytech. Fed. de Lausanne, Lausanne, Switzerland
fYear :
2012
fDate :
11-13 Nov. 2012
Firstpage :
19
Lastpage :
24
Abstract :
Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system that includes both software and electronic devices. However, often medical GLs suffer from structural problems, such as incompleteness, inconsistencies, ambiguity and redundancy. Formal representation of GLs would enable the validation of GLs structural, real-time and life-cycle properties. Several GLs formal representation methods have been presented recently. Only some of them enable automatic formal verification by introducing an additional translation path to the existing model checking environments. However, if a verified property fails it is difficult to trace back the result needed to change the model. Moreover, these formalisms provide the notion of time mostly in terms of actions order. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.
Keywords :
automata theory; formal verification; medical computing; patient monitoring; patient treatment; GL formal representation methods; GL structural validation; Imatinib case study; TAT; TIMES toolbox; automatic formal verification; basic treatment procedures; electronic devices; medical GL; medical devices; medical guideline reconciling medical software; medical protocol formal representation; medical system specification; model checking environments; patient state monitoring; structural problems; timed automata extended with tasks; Clocks; Computational modeling; Guidelines; Medical diagnostic imaging; Performance evaluation; Protocols; Software; Formalization; Medical Guidelines; Timed Automaton; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Bioinformatics & Bioengineering (BIBE), 2012 IEEE 12th International Conference on
Conference_Location :
Larnaca
Print_ISBN :
978-1-4673-4357-2
Type :
conf
DOI :
10.1109/BIBE.2012.6399700
Filename :
6399700
Link To Document :
بازگشت