Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal

Tools

Man, K. L., Krilavicius, T., Wang, K., Hughes, D. and Lee, K. (2011) Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal. In: 9th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPAW 2011), 26 - 28 May, Busan, South Korea.

Preview

PDF - Authors' Version
Download (740kB) | Preview

Link to Published Version: http://dx.doi.org/10.1109/ISPAW.2011.19
*Subscription may be required

Abstract

The goal of radiation therapy is to give as much dose as possible to the exact target location and minimizing any dose to a normal tissue. Advances of Cyber-physical control systems allow planning and provide very accurate treatments. However, the current technology does not sufficiently compensate a respiratory movement that is especially important in case of lung (area) cancer. In this paper we present a model of radiation treatment system developed to analyze a system that compensates respiratory motion. We use Uppaal, an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

Publication Type:	Conference Paper
Murdoch Affiliation:	School of Information Technology
Publisher:	IEEE
Copyright:	© 2011 IEEE
Notes:	Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. This paper appears in: Proceedings of the 9th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPAW 2011), pp 50 - 54.
URI:	http://researchrepository.murdoch.edu.au/id/eprint/4848

Item Control Page

Document Downloads

More statistics for this item...