Timed model of the radiation therapy system with respiratory motion compensation
Author | Affiliation | |||
---|---|---|---|---|
LT | Baltic Institute of Advanced Technologies, Lithuania | LT | ||
Date |
---|
2011 |
The goal of the radiation therapy is to give as much dose as possible to the target volume and avoid giving any dose at all to a normal tissue. Despite the advances of the computer-based control current technology does not allow to compensate respiratory movement. It considerably restricts effectiveness of such treatment the case of lung cancer. In this paper we present a work in progress, a timed model of radiation treatment system developed to analyze a potential set up for a system that compensates respiratory motion. We model the system with Uppaal, a tool for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). The model is used to validate understanding of the model and selected scenarios.