Background - Using Event-B for Critical Device Software Systems - page 43

54. IEEE-SA. IEEE Standards Association. http://standards.ieee.org/ .
55. IEEE Std. 1012-1998. IEEE standard for software verification and validation. http://
standards.ieee.org/ .
56. IEEE Std. 1074-1997. IEEE standard for developing software life cycle processes.

http://standards.ieee.org/ .
57. Imperial Chemical Industries Ltd., Chemical Industries Association, & Chemical Industry
Safety and Health Council (1977). A guide to hazard and operability studies . London: Chem-
ical Industry Safety and Health Council of the Chemical Industries Association.
58. ISO. International Organization for Standardization. http://www.iso.org/ .
59. ISO 13485. International Organization for Standardization: Medical devices—quality man-
agement systems—requirements for regulatory purposes. http://www.iso.org/ .
60. ISO 14971. International Organization for Standardization: Medical devices—application of
risk management to medical devices. http://www.iso.org/ .
61. Jetley, R. P., Carlos, C., & Purushothaman Iyer, S. (2004). A case study on applying formal
methods to medical devices: Computer-aided resuscitation algorithm. International Journal
on Software Tools for Technology Transfer , 5 (4), 320-330.
62. Jetley, R., Purushothaman Iyer, S., & Jones, P. (2006). A formal methods approach to medical
device review. Computer , 39 (4), 61-67.
63. Johnson, J. A. (2012). FDA regulation of medical devices. http://www.fas.org/sgp/crs/misc/
R42130.pdf .
64. Jones, C. B. (1990). Systematic software development using VDM (2nd ed.). Upper Saddle
River: Prentice Hall.
65. Kaivola, R., Ghughal, R., Narasimhan, N., Telfer, A., Whittemore, J., Pandav, S., et al.
(2009). Replacing testing with formal verification in Intel Core tm i7 processor execution
engine validation. In Proceedings of the 21st international conference on computer aided
verification , CAV'09 (pp. 414-429). Berlin: Springer.
66. Kanholm, J. (2003). ISO 13485:2003 & FDA QSR, 21 CFR 820, quality manual: 34 proce-
dures and forms . Los Angeles: AQA Press.
67. Kapur, K. C. (2007). Reliability and maintainability (pp. 1921-1955). New York: Wiley.
68. Keatley, K. L. (1999). A review of the FDA draft guidance document for software validation:
Guidance for industry. Quality Assurance , 7 (1), 49-55.
69. Khan, M. G. (2008). Rapid ECG interpretation . Clifton: Humana Press.
70. Laprie, J. C. C., Avizienis, A., & Kopetz, H. (Eds.) (1992). Dependability: Basic concepts
and terminology . Secaucus: Springer.
71. Lecomte, T., Servat, T., & Pouzancre, G. (2007). Formal methods in safety-critical railway
systems. In 10th Brazilian symposium on formal methods , Ouro Preto (pp. 29-31).
72. Leveson, N. G. (1991). Software safety in embedded computer systems. Communications of
the ACM , 34 , 34-46.
73. Leveson, N. G., & Harvey, P. R. (1983). Software fault tree analysis. The Journal of Systems
and Software , 3 (2), 173-181.
74. Leveson, N. G., & Turner, C. S. (1993). An investigation of the Therac-25 accidents. Com-
puter , 26 , 18-41.
75. Leveson, N. G., Heimdahl, M. P. E., Hildreth, H., & Reese, J. D. (1994). Requirements spec-
ification for process-control systems. IEEE Transactions on Software Engineering , 20 (9),
684-707.
76. Lions, J. L. (Chairman) (1996). Ariane 5 flight 501 failure: Report by the inquiry board
(Technical report). Paris: European Space Agency.
77. Lyu, M. R. (Ed.) (1996). Handbook of software reliability engineering . Hightstown:
McGraw-Hill.
78. Macedo, H. D., Larsen, P. G., & Fitzgerald, J. (2008). Incremental development of a dis-
tributed real-time model of a cardiac pacing system using VDM. In Lecture notes in com-
puter science . Proceedings of the 15th international symposium on formal methods , FM'08
(pp. 181-197). Berlin: Springer.