Clinical Neutron Therapy System
Department of Radiation Oncology
University of Washington

The CNTS project is building a new control system for a clinical cyclotron in the Cancer Center. It provides new capabilities to the Cancer Center's neutron radiation therapy program. It is also an example of the application of formal methods (in particular the Z notation and the SMV model checker) in software development.

The new control software and hardware for the isocentric treatment unit were completed in July 1999 and are now in use treating patients.

This report provides an overview and summary of the control system project:

These recent reports describe the new control system in detail:

This brief conference paper describes how we used formal software development methods in this project:

Here is a large portion of the formal specification itself:

More about the project appears in the following reports and papers, and in a textbook.

More information about the neutron therapy facility, including some pictures.

More information about:

Jonathan Jacky / Department of Radiation Oncology Box 356043
University of Washington / Seattle, Washington 98195-6043 / USA

E-mail: jon@u.washington.edu