System Safety References
Leveson, N.G. and Turner, C.L. ``An Investigation of the Therac-25
Accidents,'' IEEE Computer, July 1993.
Leveson, N.G., Cha, S.S., Shimeall, T.J. ``Safety Verification of Ada Programs using Software Fault Trees,'' IEEE Software, July 1991.
Jaffe, M.S., Leveson, N.G., Heimdahl, M., and Melhart, B. ``Software Requirements Analysis for Real-Time Process-Control Software,'' IEEE Trans. on Software Engineering, March 1991.
Leveson, N.G. ``Software Safety in Embedded Computer Systems,'' Communications of the ACM, February, 1991.
Copyright © 2003 Safeware Engineering Corporation. All rights reserved