Conference Proceeding

Systematic Testing of Radiotherapy Accelerators



Turner KJ & Bing Q (2002) Systematic Testing of Radiotherapy Accelerators. In: Ehrig H(, Krämer BJ & Ertas A (eds.) Proceedings of The Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT 2002). 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, 23.06.2002-28.06.2002. Society for Design and Process Science, pp. 33.1-33.8.

The nature of radiotherapy accelerators is briefly explained. It is argued that these complex safety-critical systems need a systematic basis for testing their software. The paper describes a novel application of protocol specification and testing methods to radiotherapy accelerators. It is explained that the accelerator control system is specified using LOTOS (Language Of Temporal Ordering Specification). It is completely infeasible to use the LOTOS directly for test generation. Instead, specification inputs are restricted using annotations in a Parameter Constraint Language. This is automatically translated into LOTOS and combined with the accelerator specification. It then becomes manageable to generate tests of the actual accelerator to check that it agrees with its specification according to the relation ioconf (input-output conformance). Test annotations and a sample test are described.

; Radiotherapy, High energy Equipment and supplies; Radiotherapy, Computer-assisted

Publication date30/06/2002
PublisherSociety for Design and Process Science
Publisher URL
Conference6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002)
Conference locationPasadena, California

People (1)


Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science