Control system specification for a cyclotron and neutron therapy facility

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. >