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

fYear

1991

fDate

6-9 May 1991

Firstpage

1359

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/PAC.1991.164635

Filename

164635