- 1 H. Bassen, J. Silberberg, F. Houston, W. Knight, C. Christman, and M. Greberman. Computerized medical devices: usage trends, problems, and safety technology. In James C. Lin and Barry N. Feinberg, editors, Frontiers of Engineering ond Compu.ting in Health Care: Proceedings of the Seventh. Annunl Conference of the IEEE/Engineerdn,g in Medicine and Biology Society, pages 180-185, 1985.Google Scholar
- 2 R. E. Bloomfield and P. K. D. Froome. The application of formal methods to high integrity software. IEEE Transactions on Software Engineering, SE-12(9):988 - 993, 1986. Google ScholarDigital Library
- 3 Jonathan Bowen. Specification of timing constraints. 2 Forum, l(G), 1986. June 3.Google Scholar
- 4 A. Brahme. Design principles and clinical possibilities with a new generation of radiation therapy equipment. Acta Uncologica, 26(6):403-412, 1987.Google ScholarCross Ref
- 5 B. Cohen, W. T. Harwoocl, and M. I. Jackson. The Specification of Cornplea: Systems, c.hapter Model-Based Specification, pages 45 - 75. Addison-Wesley, Reading, MA, 1986. Google ScholarDigital Library
- 6 Norman Delisle and David Garlan. Formally specifying electronic instruments. In Proceedings of the Fifth International Workshop on Software Specification. and DesigTL, IEEE Computer Society Press, Washington, DC, 1989. (also ACM Software Engineering Notes 14(3), May 1989). Google ScholarDigital Library
- 7 Ian Hayes, editor. Specification Case Studies. Prentice Hall International, Englewood Ciffs, NJ, 1981. Google ScholarDigital Library
- 8 K.L. Heninger. Specifying software requirements for complex systems: new techniques and their application. IEEE Tra.nsa.ctions on Software Engineering, SE-6(1):2-13, 1980.Google Scholar
- 9 J. Jacky, R. Risler, S. Brossard, and I. Kalet. Relational database: a radiation therapy machine control software development tool. In Yongmin Kim and Francis A. Spelman, editors, Images of the Twenty-First Century: Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Volume 11, pages Part 6, 1918 - 1919, 1989. (in press).Google Scholar
- 10 Farnam Jahanian and Aloysius Ka-Lau Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12(9):890 - 904, 1986. Google ScholarDigital Library
- 11 Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs, NJ, 1986. Google ScholarDigital Library
- 12 E. J. Joyce. Malfunction 54: unraveling deadly medical mystery of computerized accelerator gone awry. American Medical News, 1986. Oct. 3, page 1.Google Scholar
- 13 Ira Kalet, J onathan Jacky, Stan Brossard, Juri Eenmaa, Ruedi Risler, and Peter Wootton. Clinical Neutron Theropy System Control Software Specification. Technical Report, University of Washington, Department of Radiation Oncology, Seattle, Washington, 98195, 1989.Google Scholar
- 14 C. J. Karzmark and Neil C. Pering. Electron linear accelerators for radiation therapy: history, principles and contemporary developments. Physics in Medicine and Biology, 18(3):321-354, May 1973.Google ScholarCross Ref
- 15 Nancy G. Leveson and Janice L. Stolzy. Safety analysis using Petri nets. IEEE Transactions on Software Engineering, SE-13(3):386-397, 1985. Google ScholarDigital Library
- 16 Eric R. Lindstrom and Louise S. Naylor, editors. Proceedings of the 1987 IEEE Particle Accelerator Conference: Accelerator Engineering and Tech.- nology, IEEE, 1987.Google Scholar
- 17 M. Loyd, H. Chow, J. Laxton, I. Rosen, awl R. Lane. Dose delivery error detection by a computer-controlled linear accelerator. Medical Physics, 16(1):137-139, 1989.Google ScholarCross Ref
- 18 Ruedi Risler, J iiri Eenmaa, Jonathan P. Jacky, Ira J. Kalet and Peter Wootton. Installation of the cyclotron based clinical neutron therapy system in Seattle. In Proceedings of the Tenth Interna.tional Conference on Cyclotrons and their Applications, pages 428 - 430, IEEE, East Lansing, Michigan, May 1984.Google Scholar
- 19 J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall, New York, 1989. Google ScholarDigital Library
- 20 Martin S. Weinhous, James A. Purdy, and Conrad O. Granda. Testing of a medical linear accelerator's computer-control system. Medicnl Physics, 17(1):95 - 102, Jan/Feb 1990.Google ScholarCross Ref
Index Terms
- Formal specification for a clinical cyclotron control system
Recommendations
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication TechnologyOSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Comments