TY - GEN
T1 - Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
AU - Man, Ka Lok
AU - Krilavičius, Tomas
AU - Wan, Kaiyu
AU - Hughes, Danny
AU - Lee, Kevin
PY - 2011
Y1 - 2011
N2 - 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.).
AB - 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.).
UR - http://www.scopus.com/inward/record.url?scp=80052001050&partnerID=8YFLogxK
U2 - 10.1109/ISPAW.2011.19
DO - 10.1109/ISPAW.2011.19
M3 - Conference Proceeding
AN - SCOPUS:80052001050
SN - 9780769544298
T3 - Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011
SP - 50
EP - 54
BT - Proceedings - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - ICASE 2011, SGH 2011, GSDP 2011
T2 - 9th IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - 2011, ICASE 2011, SGH 2011, GSDP 2011
Y2 - 26 May 2011 through 28 May 2011
ER -