Title :
Control system specification for a cyclotron and neutron therapy facility
Author :
Jacky, Jonathan ; Risler, Ruedi ; Kalet, Tra ; Wootton, Peter ; Barke, Alexandra ; Brossard, S. ; Jackson, Ralph
Author_Institution :
Dept. of Radiat. Oncol., Washington Univ., Seattle, WA, USA
Abstract :
A comprehensive specification for the computer control system of a cyclotron and treatment facility that provides particle beams for cancer treatments for fast neutrons, production of medical isotopes, and physics experiments is discussed. The control system is described as thoroughly as is practical using standard technical English, supplemented by tables, diagrams, and algebraic equations. This specification comprises over 300 single-spaced pages. A more precise and compact specification might be achieved by making greater use of formal mathematical notations instead of English. Work has begun on a formal specification of the system, using the Z and Petri net notations.<>
Keywords :
biological techniques and instruments; computerised control; cyclotrons; radiation therapy; Petri net notations; Z notation; algebraic equations; cancer treatments; computer control; cyclotron; fast neutrons; medical isotopes; neutron therapy facility; particle beams; physics experiments; single-spaced pages; treatment facility; Cancer; Control systems; Cyclotrons; Medical control systems; Medical treatment; Neutrons; Particle beams; Particle production; Physics computing; Production systems;
Conference_Titel :
Particle Accelerator Conference, 1991. Accelerator Science and Technology., Conference Record of the 1991 IEEE
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7803-0135-8
DOI :
10.1109/PAC.1991.164635
