Conference Paper (published)
Details
Citation
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. http://www.sdpsnet.org
Abstract
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.
Keywords
; Radiotherapy, High energy Equipment and supplies; Radiotherapy, Computer-assisted
Status | Published |
---|---|
Publication date | 30/06/2002 |
URL | http://hdl.handle.net/1893/1008 |
Publisher | Society for Design and Process Science |
Publisher URL | http://www.sdpsnet.org |
Conference | 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002) |
Conference location | Pasadena, California |
Dates | – |
People (1)
Emeritus Professor, Computing Science