Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/629
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Authors: Turner, Kenneth J
Bing, Qian
Contact Email: kjt@cs.stir.ac.uk
Title: Protocol Techniques for Testing Radiotherapy Accelerators
Editors: Vardi, Moshe
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, pp. 81-96.
Issue Date: 2002
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
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.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
Rights: Published by Springer-Verlag. The original publication is available at www.springerlink.com
URI: http://hdl.handle.net/1893/629
Affiliation: Computing Science - CSM Dept
University of Stirling

Files in This Item:
File Description SizeFormat 
test-rad.pdf93.4 kBAdobe PDFView/Open


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 library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.