We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

TAT-based formal representation of medical guidelines: Imatinib case-study

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Simalatsar, A. ; Integrated Syst. Lab., EPFL, Lausanne, Switzerland ; De Micheli, G.

Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. 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.

Published in:

Engineering in Medicine and Biology Society (EMBC), 2012 Annual International Conference of the IEEE

Date of Conference:

Aug. 28 2012-Sept. 1 2012