Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/33857
Type of publication: Straipsnis tarptautinėse DB ir/ar pripažintose leidyklose (S4);Article in international databases and / or recognized publishing houses (S4)
Field of Science: Informatika (N009);Computer science (N009)
Author(s): Wan, Kaiyu;Lee, Kevin;Man, Ka Lok;Krilavičius, Tomas
Title: Specification and verification of radiation therapy system with respiratory compensation using Uppaal
Is part of: International journal of design, analysis and tools for integrated circuits and systems (IJDATICS). Hong Kong : Solari Co., 2012, vol. 3, no. 1
Extent: p. 8-13
Date: 2012
Note: eISSN 2071-2987
Keywords: Simulation;Quality assurance;Radiation treatment;Formal methods;Verification
Abstract: The goal of radiation therapy is to give as much dose as possible to the target volume of tissue and avoid giving any dose to a healthy tissue. Advances of the digital control allow performing accurate plans and treatments. Unfortunately, motion compensation during the treatment remains a considerable problem. Currently, a combination of the different techniques, such as gating (restricting movement of patient) and periodic emission are used to avoid damaging healthy tissue. This paper focuses on systems that completely compensate respiratory movement (up to certain limit) and start by investigating adequacy of the existing hardware and software platform. In this paper a radiation therapy system consisting of a HexaPOD couch with 6-degrees movement, a tracking camera, a marker (markers) and a controller is modeled. A formal un-timed model was evaluated and found to be insufficient to completely determine adequacy of the system to compensate respiratory motion. Therefore, un-timed model was extended to include time and investigated. It provides more information than un-timed model, but does not answer all interesting question. Therefore, based on the results further research directions are sketched
Internet: https://hdl.handle.net/20.500.12259/33857
http://ijdatics.distributedthought.com/current_issues/IJDATICS_03_01_02.pdf
http://ijdatics.distributedthought.com/current_issues/IJDATICS_03_01_02.pdf
Affiliation(s): Vytauto Didžiojo universitetas
Informatikos fakultetas
Taikomosios informatikos katedra
Appears in Collections:1. Straipsniai / Articles
Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml9.12 kBXMLView/Open

MARC21 XML metadata

Show full item record

Page view(s)

90
checked on May 24, 2019

Download(s)

12
checked on May 24, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.