|Appears in Collections:||Computing Science and Mathematics Conference Papers and Proceedings|
|Peer Review Status:||Refereed|
|Authors:||Turner, Kenneth J|
|Title:||Protocol Techniques for Testing Radiotherapy Accelerators|
Peled, Doron A
|Citation:||Turner KJ & Bing Q (2002) Protocol Techniques for Testing Radiotherapy Accelerators In: Vardi Moshe, Peled Doron A (ed.) Formal Techniques for Networked and Distributed Systems - FORTE 2002, Berlin: Springer Verlag. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, 11.11.2002 - 14.11.2002, Houston, Texas, pp. 81-96.|
|Series/Report no.:||Lecture Notes in Computer Science, Volume 2529|
|Conference Name:||22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002|
|Conference Location:||Houston, Texas|
|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. An outline specification is given in LOTOS (Language Of Temporal Ordering Specification) of the accelerator control system. It is completely infeasible to use this 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 automatically of the actual accelerator to check that it agrees with its specification according to the relation ioconf (input-output conformance). Sample input annotations, their translation to LOTOS, and the resulting test cases are described.|
|Status:||Post-print (author final draft post-refereeing)|
|Rights:||Published by Springer-Verlag. The original publication is available at www.springerlink.com|
This item is protected by original copyright
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
If you believe that any material held in STORRE infringes copyright, please contact email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.