Critical feature analysis of a radiotherapy machine

Rae, Andrew, Jackson, Daniel, Ramanan, Prasad, Flanz, Jay and Leyman, Didier (2005). Critical feature analysis of a radiotherapy machine. In: , , (48-56). . doi:10.1016/j.ress.2004.08.006

Author Rae, Andrew
Jackson, Daniel
Ramanan, Prasad
Flanz, Jay
Leyman, Didier
Title of paper Critical feature analysis of a radiotherapy machine
Journal name Reliability Engineering and System Safety   Check publisher's open access policy
Publication Year 2005
Sub-type Fully published paper
DOI 10.1016/j.ress.2004.08.006
Open Access Status Not yet assessed
ISSN 0951-8320
Volume 89
Issue 1
Start page 48
End page 56
Total pages 9
Language eng
Abstract/Summary The software implementation of the emergency shutdown feature in a major radiotherapy system was analyzed, using a directed form of code review based on module dependences. Dependences between modules are labelled by particular assumptions; this allows one to trace through the code, and identify those fragments responsible for critical features. An 'assumption tree' is constructed in parallel, showing the assumptions which each module makes about others. The root of the assumption tree is the critical feature of interest, and its leaves represent assumptions which, if not valid, might cause the critical feature to fail. The analysis revealed some unexpected assumptions that motivated improvements to the code.
Subjects 2213 Safety, Risk, Reliability and Quality
2209 Industrial and Manufacturing Engineering
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

Document type: Conference Paper
Sub-type: Fully published paper
Collection: Scopus Import
Version Filter Type
Citation counts: Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 10 May 2018, 21:34:46 EST