Conference Proceeding

Formally-Based Testing of Radiotherapy Accelerators

Details

Citation

Turner KJ (2001) Formally-Based Testing of Radiotherapy Accelerators. In: Procter RN & Rouncefield M (eds.) Dependability in Healthcare Informatics: Proceedings of the First Dependability IRC Workshop, Edinburgh, United Kingdom, March 22-23, 2001. The First Dependability IRC (Interdisciplinary Research Collaboration) Workshop, Edinburgh, Scotland, 22.03.2001-23.03.2001. Manchester: Lancaster University, pp. 97-99. http://dirc.cs.ncl.ac.uk/publications/proceedings/index.php

Abstract
The paper presents the aims and research plan of the CONFORMED project (Conformance Of Radiological/Medical Devices). This three-year project will develop tools and techniques for modelling and testing radiotherapy equipment. Formal specifications in LOTOS (Language Of Temporal Ordering Specification) will be used to model accelerators formally and to derive tests rigorously based on these specifications.

StatusPublished
Publication date31/03/2001
URLhttp://hdl.handle.net/1893/634
PublisherLancaster University
Publisher URLhttp://dirc.cs.ncl.ac.uk/publications/proceedings/index.php
Place of publicationManchester
ConferenceThe First Dependability IRC (Interdisciplinary Research Collaboration) Workshop
Conference locationEdinburgh, Scotland
Dates

People (1)

People

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science