Critical Feature Analysis of a Radiotherapy Machine

Rae, Andrew; Jackson, Daniel; Ramanan, Prasad; Flanz, Jay; Leyman, Didier

doi:10.1007/978-3-540-39878-3_18

Cited by 6 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a previous study, we had investigated a similar property using an ad hoc approach, based on a mostly manual review of the code [22]. In this study, we analyzed the door safety property using the framework we have recently developed [14,15] and using a new code analysis tool built for this purpose.…”

Section: Overview Of the Systemmentioning

confidence: 99%

A lightweight code analysis and its role in evaluation of a dependability case

Near

Milićević

Kang

et al. 2011

Proceedings of the 33rd International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a dependability case for the control software of a medical device. The key novelty of our approach is a lightweight code analysis that generates a list of side conditions that correspond to assumptions to be discharged about the code and the environment in which it executes. This represents an unconventional trade-off between, at one extreme, more ambitious analyses that attempt to discharge all conditions automatically (but which cannot even in principle handle environmental assumptions), and at the other, flow-or contextinsensitive analyses that require more user involvement. The results of the analysis suggested a variety of ways in which the dependability of the system might be improved.

show abstract

Section: Overview Of the Systemmentioning

confidence: 99%

A lightweight code analysis and its role in evaluation of a dependability case

Near

Milićević

Kang

et al. 2011

Proceedings of the 33rd International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…In addition to the proton beam control, a highly critical function of software in a proton treatment system is real-time image processing to determine precise position of the patient and detect any patient movement. In [19], the authors have analyzed the safety of proton therapy machines, however their analysis concentrates on a single system, the emergency shutdown. In general, proper analysis and validation of such large and complex systems remains one of the big challenges facing the medical device industry.…”

Section: Background and Trendsmentioning

confidence: 99%

Medical Cyber-Physical Systems

Sokolsky

2011

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

View full text Add to dashboard Cite

Abstract-We discuss current trends in the development and use of high-confidence medical cyber-physical systems (MCPS). These trends, including increased reliance on software to deliver new functionality, wider use of network connectivity in MCPS, and demand for continuous patient monitoring, bring new challenges into the process of MCPS development and at the same time create new opportunities for research and development.

show abstract

Module Dependences in Software Design

Jackson¹

2004

Radical Innovations of Software and Systems Engineering in the Future

View full text Add to dashboard Cite

Critical Feature Analysis of a Radiotherapy Machine

Cited by 6 publications

References 11 publications

A lightweight code analysis and its role in evaluation of a dependability case

A lightweight code analysis and its role in evaluation of a dependability case

Medical Cyber-Physical Systems

Module Dependences in Software Design

Contact Info

Product

Resources

About