Critical feature analysis of a radiotherapy machine

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2788, Issue , 2003, Pages 221-234

  Rae, Andrew ^a   Jackson, Daniel ^b   Ramanan, Prasad ^b   Flanz, Jay ^c   Leyman, Didier ^d  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c MASSACHUSETTS GENERAL HOSPITAL   (United States)

^d IBA Group   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FORESTRY;

CODE REVIEW; CRITICAL FEATURE ANALYSIS; CRITICAL FEATURES; EMERGENCY SHUTDOWN; SOFTWARE IMPLEMENTATION;

RADIOTHERAPY;

EID: 35248883139     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39878-3_18     Document Type: Article

References (19)

1. P. Fenelon and B. Hebbron. Applying HAZOP to software engineering models. Risk Management And Critical Protective Systems: Proceedings of SARSS. Altrincham, England. The Safety And Reliability Society. Oct. 1994. pp. 11-116.
2. Food and Drug Administration. FDA Statement on Radiation Overexposures in Panama. Available at http://www.fda.gov/cdrh/ocd/panamaradexp.html.
3. William G. Griswold. Coping With Software Change Using Information Transparency. Technical Report CS98-585, Department of Computer Science and Engineering, University of California, San Diego, April 1998 (revised August 1998).
4. S. Horwitz, T. Reps and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems. Volume 12. 1990. pp. 26-60.
5. Daniel Jackson and Eugene J. Rollins. A New Model of Program Dependences for Reverse Engineering. Proc. SIGSOFT Conf. on Foundations of Software Engineering, New Orleans, December 1994.
6. Daniel Jackson. Module dependences in software design. Monterey Workshop on Radical Innovations of Software and Systems Engineering in the Future, Venice, Italy, October 2002.
7. Daniel Jackson. Dependences and decoupling. Lecture notes, 6170: Laboratory in Software Engineering. Dept. of Electrical Engineering and Computer Science, MIT, Sept. 2002, Available at: http://6170.lcs.mit.edu/www-archive/Old-2002-Fall/lectures/ lecture-09.pdf.
8. Nancy G. Leveson, Stephen S. Cha, and Timothy J. Shimeall. Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software. Vol. 8, No. 4. July/August 1991, pp. 48-59.
9. Nancy G. Leveson and C. Turner. An investigation of the therac-25 accidents. IEEE Computer. Vol. 7, No. 26, 1993, pp. 18-41.
10. Robyn R. Lutz and Robert M. Woodhouse. Experience Report: Contributions of SFMEA to Requirements Analysis, pp. 44-51. Available at http://citeseer.nj.nec.com/article/ lutz96experience.html.
11. Gail C. Murphy, David Notkin, and Kevin Sullivan. Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1995, pp. 18-28.
12. Robert O'Callahan and Daniel Jackson. Lackwit: A program understanding tool based on type inference. Proceedings of the 1997 International Conference on Software Engineering (ICSE'96), Boston, MA, May 1997.
13. David Parnas. Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, Vol. SE-5, No 2, 1979.
14. Robert C. Ricks, Mary Ellen Berger, Elizabeth C. Holloway and Ronald E. Goans. REACTS Radiation Accident Registry: Update of Accidents in the United States. International Radiation Protection Association, 2000.
15. Judith A. Stafford and Debra J. Richardson and Alexander L. Wolf. Architecture-Level Dependence Analysis for Software Systems. International Journal of Software Engineering and Knowledge Engineering. Volume 11, No. 4, 2001. pp. 431-451.
16. Red Hat, Inc. The Source Navigator IDE. Available at: http://sourcenav.sourceforge.net.
17. Talarian, Inc. SmartSockets. http://www.talarian.com/rtworks.html.
18. Mark Weiser. Program Slicing. IEEE Transactions on Software Engineering. Vol. SE-10, No. 4, 1984, pp. 352-357.
19. Ken Wong. Looking at Code With Your Safety Goggles On. Reliable Software Technologies: 1998 Ada-Europe International Conference on Reliable Software Technologies. Lars Asplund, ed. Uppsala, Sweden, 1998. Lecture Notes in Computer Science, Vol. 1411. Springer, 1998.