HCRQ
System Safety, Software Safety Experts
Since 1986
"The Key To A Safer World"
salus populi suprema lex




Reference Material

System Safety, Software Safety, Human Factors Engineering, Reliability, Availability, Maintainability

NEW - Free Monthly System/Software Safety Newsletter

Please click here to subscribe.



HCRQ Welcomes You !!!

 You are one of the thousands of people from around the world who use this web page.

Please contact Haley MacGregor if you have additions or changes.



Last Update - May 29, 2008
Added - Safety Risk Management Guidance For System Acquisitions

A

 Back to Top

B

  • Basic Guide To System Safety, Jeffrey W. Vincoli, John Wiley & Sons, ISBN 978-0-471-72241-0, March 2006.
  • Basic Safety Manual, NASA, NHB 1700.1 (V1.A).
  • Behind Human Error: Cognitive Systems, Computers And Hindsight, D. D. Woods, L. J. Johannesen, R. I. Cook, and N. B. Sarter, Crew System Ergonomics Information Analysis Center (CSERIAC), 1994.
  • Best Current Practice Of SRE, J.D. Musa, M.M. Donnelly, W.W. Everett, G.A. Wilson, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Best Practices In Code Inspection For Safety-Critical Software, Jorge Rady de Almeida Jr., Joao Batisto Camargo Jr., Bruno Abrantes Basseta, Sergio Miranda Paz, IEEE Software, May/June 2003.
  • Black Box Testing, Boris Beizer, IEEE Computer Society Press, ISBN 0-471-12094-4, 1995.
  • Bringing Design To Software, Edited by Terry Winograd, Addison-Wesley and ACM Press Books, ISBN 0-201-85491-0, 1996.
  • Building Quality Software, Robert L. Glass, Prentice-Hall, 1992.
  • Building Secure Software: How to Avoid Security Problems the Right Way, Gary McGraw, John Viega, Addison-Wesley Professional, ISBN 020172152X, September 2001.
Back to Top

C

  • CAD: Computer Aided Disaster, P. Mellor, Journal Of High Integrity Systems, 1(2), pp 101-156, 1994.
  • Calculus Of Communicating Systems, Robin A. Milner, ECS-LFCS-86-7, Laboratory For The Foundations Of Computer Science, Edinburgh University, 1986.
  • Certification Considerations For Highly-Integrated Or Complex Aircraft Systems - SAE ARP-4754, November 1996.
  • Coding Regulations For Safety Critical Software Development, Franco Mazzanti, In Proceedings of 2nd IEEE International Software Engineering Standards Symposium, August 1995, pp 134-138.
  • Colored Petri Nets: A High-Level Language For System Design And Analysis, K. Jensen, In High-Level Petri Nets: Theory and Application, Springer-Verlag, 1991, pp 44-119.
  • Combination Of Predictions Obtained From Different Software Reliability Growth Models, Bev Littlewood, M. Lu, S. Brocklehurst, In Proceedings of Annual Software Reliability Symposium, Denver, Colorado, June 1992, also reprinted in Journal of Computer and Software Engineering, Vol. 1, No. 4, 1993, pp 303-324.
  • Communicating Sequential Processes, C.A.R. Hoare, Prentice-Hall International, London, 1986.
  • Completeness, Robustness, And Safety Of Real-Time Requirements Specification, Matthew S. Jaffe, PhD Thesis, University Of California, Irvine, California, 1988.
  • Computer-Based Control System Safety Requirements, International Space Station Alpha Program, NASA, SSP 50038, April 4, 1994.
  • Computer-Based Safety Systems - The Elements Of An Acceptable Safety Case, D.W. Hunns, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Computer Control And Human Error, Trevor A. Kletz, P.W. Chung, E. Broomfield, C. Shen-Orr, Institution of Chemical Engineers, 1995.
  • Computer-Related Accidental Deaths: An Empirical Exploration, D. MacKenzie, Science & Public Policy, Vol. 21, No. 4, August 1994.
  • Computer Related Risks, Peter G. Neumann, Addison-Wesley, 1995.
  • Conceptual Modelling Of Coincident Failures In Multi-Version Software, Bev Littlewood, D.R. Miller, IEEE Transactions on Software Engineering, Vol. 15, No. 12, December 1989, pp 1596-1614.
  • Contribution Of Programming Languages To Software Quality, B.A. Wichmann, IEE Software Engineering Journal, January 1994.
  • C Traps And Pitfalls, A. Koenig, Addison-Wesley, 1988.
Back to Top

D

  • Danger: Software At Work, Barbara Wade Rose, The Globe and Mail, Report On Business Magazine, March 1995.
  • Death By Robot, J.G. Fuller, Omni, March 1984, pp 45-46, 97-102.
  • Definitions For Hardware/Software Reliability Engineers, M.J.P. van der Meulen, ISBN 90-9008437-1, June 1995.
  • Definitions For Hardware and Software Safety Engineers, M.J.P. van der Meulen, ISBN 1-85233-175-5, February 2000.
  • Dependability Terminology: Similarities And Differences, D. Prasad, J.A. McDermid, I. Wand, In Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS '95), IEEE, pp 213-221.
  • Dependable Computing: From Concepts to Design Diversity, A. Avizienis and J.C. Laprie, Proceedings of the IEEE, Vol. 74, No. 5, pp 629-638, May 1986.
  • Design And Code Inspections To Reduce Errors In Program Development, Michael E. Fagan, IBM Systems Journal, Vol. 15, No. 3, 1976, pp 182-211, available from IBM under Reprint Order No. G321-5033.
  • Design Assurance Guidance For Airborne Electronic Hardware - DO-254, RTCA, April 19, 2000.
  • Design/CPN: A Tool Supporting Colored Petri Nets, User's Manual, Volume 1-2, Meta Software Corporation, Cambridge, MA, 1988.
  • Design For Safe Software, Nancy G. Leveson, Timothy J. Shimeall, Janice L. Stolzy, Jeffrey Thomas, In Proceedings Of The 21st American Institute For Astronautics And Aeronautics Space Sciences Meeting, AIAA, Reno, Nevada, January 1983.
  • Design Phase Considerations For Safety-Critical Software Systems, Lon D. Gowen, James S. Collofello, Professional Safety, April 1995.
  • Developing Safety-Critical Systems With UML, Jan Jürjens, In P. Stevens, editor, UML 2003 - The Unified Modeling Language, volume 2863 of Lecture Notes in Computer Science, pp 360-372, San Francisco, Oct. 20-24 2003, Springer-Verlag, 6th International Conference.
  • Developing Safety Systems: A Guide Using Ada, I.C. Pyle, Prentice-Hall, 1991.
  • Development Guidelines For Vehicle-Based Software, Motor Industry Software Reliability Association - MISRA, ISBN 0-9524156-0-7, November 1994.
  • Development Of Safety-Critical Software For Airborne Systems - MOD 00-31.
  • Deviations And The Feedback Control Of Accidents, U. Kjellen, In New Technology And Human Error, Edited by Jens Rasmussen, K. Duncan, J. Leplat, John Wiley & Sons, 1987.
  • Digital Avionics Quick Reference Guide, Cary R. Spitzer, AvioniCon Inc.
  • Digital Avionics Systems, Principles and Practices, 2nd Edition, Cary R. Spitzer, Blackburn Press, 2000.
  • Digital Woes: Why We Should Not Depend On Software, Lauren Ruth Wiener, Addison-Wesley, ISBN 0-201-62609-8, 1993.
  • Directions In Safety-Critical Systems, Proceedings Of The Safety-Critical Systems Symposium, Edited by Felix Redmill, Tom Anderson, ISBN 3-540-198172, 1993.
  • Disaster Prevention, Planning And Limitation, Proceedings of the First Conference, University of Bradford, Edited by A.Z. Keller, H.C. Wilson, ISBN 0-94-665535-9, 1990.
  • DoD Ammunition And Explosives Safety Standards - DoD 6055.9-STD, Department of Defense, October 5, 2004.
  • Dow's Chemical Exposure Index Guide - 1st Edition, AIChE, John Wiley & Sons, ISBN 0-8169-0647-5, August 1998.
  • Dow's Fire And Explosion Index: Hazard Classification Guide - 7th Edition, AIChE, John Wiley & Sons, ISBN 0-8169-0623-8, June 1994.
  • Dynamic Fault-Tree Models For Fault-Tolerant Computer Systems, J. B. Dugan, S. J. Bavuso, and M. A. Boyd, IEEE Transactions On Reliability, 41(3), pp 363-376, September, 1992.
  • Dynamic Testability Analysis For Assessing Fault Tolerance, J.M. Voas, High Integrity Systems Journal, Vol. 1, No. 2, 1994, pp 171-178.
Back to Top

E

  • Education And Training For Safety-Critical Systems Practitioners, J.A. McDermid, In Software In Safety-Related Systems, B.A. Wichmann, ISBN 0-47-193474-7, 1992, pp 177-207.
  • Effective Application Of Software Safety Techniques For Automotive Embedded Control Systems, Barbara J. Czerny, Joseph G. D'Ambrosio, Brian T. Murray, Padma Sundaram, SAE Technical Paper Series, 2005-01-0785, 2005 SAE World Congress, Detroit, Michigan, April 11-14, 2005.
  • Electronic Equipment Used On Rail Vehicles - IEC 60571, International Electrotechnical Commission, Geneva, Switzerland, February 26, 1998.
  • Electronic Reliability Design Handbook - MIL-HDBK-338B, 1 October 1998.
  • Eliminating Potential Process Hazards, Part 1, Trevor A. Kletz, Hazard Prevention, September/October 1985, pp 4-15.
  • Eliminating Potential Process Hazards, Part 2, Trevor A. Kletz, Hazard Prevention, November/December 1985, pp 6-11.
  • Emergency! Crisis In The Cockpit, Stanley Stewart, ISBN 0-8306-6499-8, 1991.
  • Emergency Planning And Disaster Control - Management Self-Audit, British Safety Council.
  • Emergency Planning For Industrial Hazards, H.B.F. Gow, R.W. Kay, ISBN 1-85-166260-X, 1988.
  • Emergency Planning In The 1990's, Proceedings of the Second Conference, University of Bradford, Edited by A.Z. Keller, H.C. Wilson, ISBN 0-94-665538-3, 1991.
  • Emergency Response Guidebook (ERG2004) - A Guidebook For First Responders During The Initial Phase Of A Dangerous Goods/Hazardous Materials Incident.
  • Engineering Psychology: Contribution To System Safety, Jan Noyes, Neville Stanton, Computing & Control Engineering Journal, June 1997, pp 107-112.
  • Engineering Safety Assessment: An Introduction, J.R. Thomson, John Wiley & Sons, New York, 1987.
  • Engineering Safety Management, Issue 3, Yellow Book 3, Volumes 1 and 2, Fundamentals And Guidance, Railtrack, January 2000.
  • Engineering System Safety, G.J. Terry, ISBN 0-85-298781-1, 1991.
  • Ensuring Software Reliability, Ann Marie Neufelder, ISBN 0-8247-8762-5, 1993.
  • Ergonomics Standards And Guidelines For Designers, S.T. Pheasant, British Standards Institution, ISBN 0580153916.
  • Evaluating Software For Safety Systems In Nuclear Power Plants, D.L. Lawrence, G. Gallagher, et al, In Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS '94), IEEE, pp 197-207.
  • Evaluating The Reliability Of Commercial Off-The-Shelf (COTS) Items - RAC-HDBK-1610, Reliability Information Analysis Center, 1999.
  • Evaluation Of Safety-Critical Software, D.L. Parnas, A.J. van Schouwen, S. Po Kwan, CACM, Vol. 33, No. 6, June 1990, pp 636-648.
  • Evaluation Of Software Dependability, Bev Littlewood, In Chapter 11 of Computing Tomorrow: Future Research Directions in Computer Science, Edited by Ian Wand, Robin Milner, Cambridge University Press, 1996.
  • Event Trees And Their Treatment On PC Computers, N. Limnious, J.P. Jeannette, Reliability Engineering, Vol. 18, No. 3, 1987.
  • Examining Fault-Tolerance Using Unlikely Inputs: Turning The Test Distribution Up-Side Down, J.M. Voas, K.W. Miller, In Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS '95), IEEE, pp 3-11.
  • Experience Report: Contributions of SFMEA to Requirements Analysis, Robyn R. Lutz, R.M. Woodhouse, Proceedings of 2nd International Conference on Requirements Engineering (ICRE '96), April 15-18, 1996, Colorado Springs, CO, pp 44-51.
  • Experience With Formal Methods In Critical Systems, Susan Gerhart, Dan Craigen, Ted Ralston, IEEE Software, Vol.11, No. 1, January 1994, pp 21-28.
  • Experience With Formal Specifications Using An Extended State Transition Model, G. Bochmann, et. al, IEEE Transactions On Communications, COM-30, December 6, 1982.
  • Experience With The Application Of HAZOP To Computer-Based Systems, J.A. McDermid, M. Nicholson, D.J. Pumfrey, P. Fenelon, In Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS '95), IEEE, pp 37-48.
  • Exploiting Software: How to Break Code, Greg Hoglund, Gary McGraw, ISBN 0-201-78695-8, February 2004.
Back to Top

F

  • Facility System Safety Guidebook - NASA-STD-8719.7, National Aeronautics and Space Administration, January 1998.
  • Failure Mode and Effect Analysis: FMEA from Theory to Execution, D. H. Stamatis, American Society for Quality, ISBN 087389300X, March 1995.
  • Failure Modes And Effects Analysis -- Bibliography, B. S. Dhillon, Microelectronics And Reliability, 32(5), 1992.
  • Failure Mode, Effects And Criticality Analysis, Reliability Information Analysis Center, 1996.
  • Failure Reporting, Analysis and Corrective Action System (FRACAS) Application Guidelines, Reliability Information Analysis Center, 1999.
  • Fatal Defect: Chasing Killer Computer Bugs, Ivars Peterson, New York: Times Books, ISBN 0-8129-2023-6, 1995.
  • Fatal Dose, Barbara Wade Rose, Saturday Night Magazine, June 1994.
  • Fault/Failure Analysis Procedure - ARP 926, Revision B, SAE Aerospace Recommended Practice, Society of Automotive Engineers, June 1997.
  • Fault Tree Analysis And Its Applications To Nuclear Power Risk Assessment, Vijay M. Raina, Presentation to the Institute for Risk Research, Univ. of Waterloo, February 13, 1990.
  • Fault Tree Analysis Application Guide, Reliability Information Analysis Center, 1990.
  • Fault Tree Analysis (FTA) - IEC 1025, International Electrotechnical Commission, Geneva, Switzerland, 1990.
  • Fault Tree Analysis Of Software At Ontario Hydro , Mohammad R. Nourani, William C. Bowman, David Levan, Feizal Kanji, Presented at the 12th Annual Conference of the Canadian Nuclear Society, Saskatoon, Saskatchewan, June 1991.
  • Fault Tree And Cause-Consequence Analysis For Control Software Validation, J.R. Taylor, Technical Report RISO-M-2326, Riso National Laboratory, DK-4000 Roskilde, Denmark, January 1982.
  • Fault Tree Handbook, NUREG-0492, W.E. Vesely, F.F. Goldberg, N.H. Roberts, D.F. Haasl, U.S. Nuclear Regulatory Commission, Washington, D.C., January 1981.
  • Fault Trees And Event Trees, A. Cross, In High Risk Safety Technology, Edited by A.E. Green, John Wiley & Sons, New York, 1982, pp 49-65.
  • Fault Tree Techniques As Applied To Software (Soft Tree), James W. McIntee, Dept. of Air Force.
  • Federal Aviation Regulation 25.1309: Equipment, Systems and Installation, Office of the Federal Register National Archives and Records Administration, 1993.
  • Finding Fault: The Formidable Task Of Eradicating Software Bugs, Ivars Peterson, Science News, Vol. 139, No. 7, February 16, 1991.
  • Fire Safety Countermeasures For Urban Rail Vehicles, U.S. DOT, FTA, FTA-MA-06-0200-92-1, DOT-VNTSC-FTA-92-1, July 1992.
  • Flight Safety For The Canadian Forces - A-GA-135-001/AA-001, Department of National Defence (DND).
  • Formal Methods: A Survey, S. Austin, G.I. Parkin, National Physical Laboratory, 1993.
  • Formal Methods For Trustworthy Computer Systems, Edited by Dan Craigen, Karen Summerskill, Springer-Verlag, 1990.
  • Formal Methods Reality Check: Industrial Usage, Dan Craigen, Susan Gerhart, IEEE Transactions on Software Engineering, Vol. 21, No. 2, February 1995.
  • Formal Methods Specification And Verification Guidebook For Software And Computer Systems, Volume I: Planning And Technology Insertion, National Aeronautics and Space Administration, Office of Safety and Mission Assurance, NASA/TP-98-208193, Release 2, December 1998.
  • Formal Methods Specification And Analysis Guidebook For The Verification Of Software And Computer Systems, Volume II: A Practitioner's Companion, National Aeronautics and Space Administration, Office of Safety and Mission Assurance, NASA-GB-001-97, Release 1, May 1997.
  • Formal Methods Technology Transfer: Impediments And Innovation, Dan Craigen, Susan Gerhart, Ted Ralston, In Applications of Formal Methods, Edited by Michael G. Hinchey, Jonathan P. Bowen, Prentice Hall International, 1995.
  • Formal Verification Of Algorithms For Critical Systems, John Rushby, IEEE Transactions on Software Engineering, Vol. 19, No. 1, January 1993, pp 13-23.
  • Formal Verification Of The AAMP5 Microprocessor: A Case Study In The Industrial Use Of Formal Methods, Steven P. Miller, Mandayam Srivas, In Proceedings of WIFT '95: Workshop On Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, April 5-8, 1995, pp 30-43.
  • FRA Guide For Preparing Accidents/Incidents Reports, DOT/FRA/RRS-22, Office Of Safety.
  • Functional Documentation For Computer Systems Engineering (Version 2), D.L. Parnas, J. Madey, McMaster University, Communications Research Laboratory Report No. 237, Telecommunications Research Institute of Ontario, September 1991.
  • Functional Safety And IEC 61508 - A Basic Guide, International Electrotechnical Commission, Geneva, Switzerland, May 2004.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 1: General Requirements - IEC 61508-1, International Electrotechnical Commission, Geneva, Switzerland, December 1998.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 2: Requirements For Electrical/Electronic/Programmable Electronic Safety-Related Systems - IEC 61508-2, International Electrotechnical Commission, Geneva, Switzerland, May 2000.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 3: Software Requirements - IEC 61508-3, International Electrotechnical Commission, Geneva, Switzerland, December 1998.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 4: Definitions and Abbreviations - IEC 61508-4, International Electrotechnical Commission, Geneva, Switzerland, December 1998.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 5: Examples of Methods for the Determination of Safety Integrity Levels - IEC 61508-5, International Electrotechnical Commission, Geneva, Switzerland, December 1998.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 6: Guidelines on the Application of IEC 61508-2 and IEC 61508-3 - IEC 61508-6, International Electrotechnical Commission, Geneva, Switzerland, April 2000.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 7: Overview of Techniques and Measures - IEC 61508-7, International Electrotechnical Commission, Geneva, Switzerland, MArch 2000.
  • Functional Safety - Safety Instrumented Systems For The Process Industry Sector - Part 1: Framework, Definitions, System, Hardware And Software Requirements - IEC 61511-1, International Electrotechnical Commission, Geneva, Switzerland, March 2001.
  • Functional Safety - Safety Instrumented Systems For The Process Industry Sector - Part 2: Guidelines For The Application Of IEC 61511-1 - IEC 61511-2, International Electrotechnical Commission, Geneva, Switzerland, July 2003.
  • Functional Safety - Safety Instrumented Systems For The Process Industry Sector - Part 3: Guidance For The Determination Of The Required Safety Integrity Levels - IEC 61511-3, International Electrotechnical Commission, Geneva, Switzerland, March 2003.
  • Fundamental Human Factors Concepts - CAP 719, Civil Aviation Authority, London, February 2002.
Back to Top

G

  • General Safety Program: General Safety Standards - C-02-040-09/AG-001, Department of National Defence (DND).
  • General Specification For Application And Derating Requirements For Electronic Components - NAVAIR AS-4613, Naval Air Systems Command, July 30, 1976.
  • Glossary Of International Terms (Availability, Reliability And Maintainability) - British Standard 4778, Part 3, Section 3.2, 1991 (IEC 50 (191) 1990).
  • Glossary of Software Engineering Terminology - IEEE 610.12, 1990.
  • Glueing Together Software Components: How Good Is Your Glue?, J. Voas, G. McGraw, A. Ghosh, K. Miller, In 1996 Proceedings of the Pacific Northwest Software Quality Conference.
  • Good Practices For Implementing Human Reliability Analysis (HRA) - NUREG-1792, Draft Report For Comment, U.S. Nuclear Regulatory Commission, Washington, D.C., July 2004.
  • Guidance On HAZOP Procedures For Computer-Controlled Plants, Contract Research Report No. 26, P. Andow, Her Majesty's Stationery Office, ISBN 0-11-885977-3, 1991.
  • Guidance On The Design, Presentation And Use Of Emergency And Abnormal Checklists - CAP 676, Civil Aviation Authority, London, August 2006.
  • Guidance On The Provision Of Equipment And Arrangements For Evacuation And Escape From Trains In An Emergency, HM Railway Inspectorate.
  • Guide For Safety In AC Substation Grounding - IEEE 80, ISBN: 0-7381-1926-1, 2000.
  • Guidelines And Tools For Conducting The Safety Assessment Process On Civil Airborne Systems And Equipment - SAE ARP-4761, Society of Automotive Engineers, December 1996.
  • Guidelines For Chemical Process Quantitative Risk Analysis, CCPS/AIChE, New York: American Institute of Chemical Engineers, 1989.
  • Guidelines For Failure Modes And Effects Analysis (FMEA) For Automotive, Aerospace, And General Manufacturing Industries, CRC Press, ISBN 0849319080, March 3, 2003.
  • Guidelines For Failure Modes And Effects Analysis (FMEA) For Medical Devices, CRC Press, ISBN 0849319102, March 3, 2003.
  • Guidelines For Hazard Evaluation Procedures, CCPS/AIChE, 2nd Edition with Worked Examples, New York: American Institute of Chemical Engineers, 1992.
  • Guidelines For Improved Human Performance In Process Safety, CCPS/AIChE, New York: American Institute of Chemical Engineers, 1994.
  • Guidelines For Process Hazards Analysis (PHA, HAZOP), Hazards Identification, And Risk Analysis, Nigel Hyatt, CRC Press, ISBN 0849319099, March 3, 2003.
  • Guidelines On Risk Issues, The Engineering Council, ISBN 0-9516611-7-5, 1993.
  • Guidelines For Communication, Navigation, Surveillance And Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance - DO-278, RTCA, March 5, 2002.
  • Guidelines For Safe Automation Of Chemical Processes, CCPS/AIChE, New York: American Institute of Chemical Engineers, 1993.
  • Guidelines For The Use Of The C Language In Vehicle Based Software, Motor Industry Software Reliability Association - MISRA, April 1998.
  • Guide To Quality Control, Kaoru Ishikawa, Asian Productivity Organization, 1976.
  • Guide To The Software Engineering Standards - ESA PSS-05-01, European Space Agency, 1991.
Back to Top

H

  • Handbook Of 217Plus: Reliability Prediction Models - HDBK-PLUS, Reliability Information Analysis Center, May 25, 2006.
  • Handbook Of Aviation Human Factors (Human Factors In Transportation Series), Daniel J. Garland, John A. Wise, V. David Hopkin, Lea, ISBN 0805816801, January 1, 1999.
  • Handbook Of Human Factors And Ergonomics Methods, Neville Stanton, Alan Hedge, Karel Brookhuis, Eduardo Salas, Hal Hendrick, CRC Press, ISBN 0415287006, May 24, 2004.
  • Handbook Of Human Systems Integration, Harold R. Booher, John Wiley & Sons, ISBN 0-471-02053-2, July 2003.
  • Handbook of Reliability Engineering and Management, W. Grant Ireson, Clyde F. Coombs, Richard Y. Moss, McGraw-Hill, ISBN 0070127506, December 1, 1995.
  • Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Handbook Of System And Product Safety, Willie Hammer, Prentice-Hall, 1972.
  • Handbook Of Usability Testing: How To Plan, Design, And Conduct Effective Tests, J. Rubin, John Wiley & Sons, 1994.
  • Hardware Related Software Errors: Measurement And Analysis, R.K. Iyer, P. Velardi, IEEE Transactions on Software Engineering, Vol. 11, No. 2, February 1985, pp 223-231.
  • Harmonization Of International Software Standards On Integrity And Dependability, David Kiang, In Proceedings of 2nd IEEE International Software Engineering Standards Symposium, August 1995, pp 98-104.
  • Hazard Analysis: The FDA's Perspective OR How Can I Avoid Getting Into Trouble?, FDA, HZASQC1.
  • Hazard Analysis Using HAZOP: A Case Study, M. F. Chudleigh, In Safecomp '93: Proceedings of the 12th International Conference on Computer Safety, Reliability, and Security, Oct. 1993, pp 99-108.
  • Hazard And Operability Studies As An Approach To Software Safety Assessment, J.V. Earthy, In IEE Computing and Control Division Colloquium on Hazard Analysis, IEE, November 1992, Digest No. 1992/198.
  • Hazop And Hazan: Identifying And Assessing Process Industry Hazards, Trevor A. Kletz, Institution of Chemical Engineers, Third Edition, ISBN 085295-265-1, 1992.
  • High Integrity Ada - The Spark Approach, John Barnes, Addison-Wesley, ISBN 0-201-17517-7, 1997.
  • High Integrity C++ Coding Standard Manual, Version 2.2, The Programming Research Group, May 2004.
  • High Integrity Software: The SPARK Approach to Safety and Security, John Barnes, Addison Wesley, ISBN 0321136160, April 25, 2003.
  • High-Level Petri Nets: Theory And Application, K. Jensen, G. Rozenberg, Springer-Verlag, 1991.
  • HOL: A Machine Oriented Formulation Of High Order Logic, M. Gordon, University of Cambridge Computing Laboratory, Report No. 104, University of Cambridge, 1985.
  • How Liable Are You For Your Software?, George B. Trubow, IEEE Software, July 1991.
  • How Software Doesn't Work: Nine Ways To Make Your Code More Reliable, Alan Joch, BYTE Magazine, December 1995.
  • Human Engineering Design Criteria For Military Systems, Equipment And Facilities - MIL-STD-1472F, 23 August 1999.
  • Human Error, James T. Reason, Cambridge University Press, 1990.
  • Human Error And The Problem Of Causality In Analysis Of Accidents, Jens Rasmussen, In Human Factors In Hazardous Situations, Edited by D.E. Broadbent, J.T. Reason, A. Baddeley, Clarendon Press, Oxford, United Kingdom, 1990, pp 1-12.
  • Human Error In Aviation Operations, D.C. Nagel, In Human Factors In Aviation, Edited by E.L. Wiener, D.C. Nagel, Academic Press, San Diego, 1988.
  • Human Factors Evaluation Of Control Room Design And Operator Performance At Three Mile Island 2, T.B. Malone, M. Kirkpatrick, K. Mallory, D. Eike, J.H. Johnson, R.W. Walker, Report prepared for the Nuclear Regulatory Commission by the Essex Corporation, Fairfax, Virginia, 1980.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 15 - Principles and Process, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 16 - Introduction and Manpower Domain, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 17 - Personnel Domain, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 18 - Training Domain, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 19 - Human Engineering Domain, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 20 - Health Hazard Assessment Domain, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 21 - System Safety Domain, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors For Designers Of Systems - MOD 00-25 - Part 25 - Supporting Information, Technical Guidance and Data, Ministry Of Defence, Directorate of Standardisation, Issue 1, July 30, 2004.
  • Human Factors In Aircraft Maintenance And Inspection - CAP 718, Civil Aviation Authority, London, April 2002.
  • Human Factors In Engineering And Design, E.J. McCormick, M.S. Sanders, McGraw-Hill, New York.
  • Human Factors In Industrial Safety - HS(G) 48, Health & Safety Executive, Her Majesty's Stationery Office, ISBN 0-11-885486-0.
  • Human Factors In Safety-Critical Systems, Edited by Felix Redmill, J. Rajan, Butterworth-Heinemann, ISBN 0750627158, 1997.
  • Human Problems With Computer Control, Trevor A. Kletz, Plant/Operations Progress, Vol. 1, No. 4, October 1982.
  • Human Reliability Assessment - A Critical Overview, Second Report, HSC Study Group on Human Factors, ISBN 0-11-885695-2.
  • Human Reliability Assessors Guide, Edited by P. Humphreys, Human Factors in Reliability Group, SRD Association, SRDA-R7, 1993.
Back to Top

I

  • IEC 1508: Functional Safety: Safety-Related Systems, John Brazendale, In Proceedings of 2nd IEEE International Software Engineering Standards Symposium, August 1995, pp 8-17.
  • IEC 61508 - A Process Industry View Of IEC 61508, A. King, Computing & Control Engineering Journal, February 2000, pp 19-23.
  • IEC 61508 - Conformity Assessment Of Safety Related Systems To IEC 61508 - The CASS Initiative, S.R. Nunns, Computing & Control Engineering Journal, February 2000, pp 33-39.
  • IEC 61508 - Functional Safety In The Field Of Industrial Automation - The Influence Of IEC 61508 On The Improvement Of Safety-Related Control Systems, H. von Krosigk, Computing & Control Engineering Journal, February 2000, pp 13-18.
  • IEC 61508 - Functional Safety Of Electrical/Electronic/Programmable Electronic Safety-Related Systems, R. Bell, P.A. Bennett, Computing & Control Engineering Journal, February 2000, pp 3-5.
  • IEC 61508 - Human Factors In The Design Of Safety-Related Systems, M.S. Carey, Computing & Control Engineering Journal, February 2000, pp 28-32.
  • IEC 61508 - Overview - Design Of Electrical/Electronic/Programmable Electronic Safety-Related Systems, S. Brown, Computing & Control Engineering Journal, February 2000, pp 6-12.
  • IEC 61508 - Principles Underlying The Development Of Competencies For Engineers, A. McGettrick, R. May, R. Ward, Computing & Control Engineering Journal, February 2000, pp 40-43.
  • IEC 61508 - What It Doesn't Tell You, W.S. Black, Computing & Control Engineering Journal, February 2000, pp 24-27.
  • IEC 880: Feedback Of Experience And Guidelines For Future Work, Nguyen N.Q. Thuy, Francoise Ficheux-Vapne, In Proceedings of 2nd IEEE International Software Engineering Standards Symposium, August 1995, pp 117-126.
  • Implementation Guidelines For State Safety Oversight Of Rail Fixed Guideway Systems, U.S. DOT, FTA, DOT-FTA-MA-90-7006-96-3, DOT-VNTSC-FTA-96-5, July 1996.
  • Implementation Of Positive Train Control System, Railroad Safety Advisory Committee, September 8, 1999.
  • Implementation Procedure For NASA Payload System Safety - NSTS 13830B, NASA.
  • Implementing Configuration Management: Hardware, Software And Firmware, Fletcher J. Buckley, IEEE Computer Society Press, ISBN 0-8186-7186-6, 1996.
  • Improving Passenger Survivability In Aircraft Fires: A Review - CAP 586, Civil Aviation Authority, London, 1991.
  • Improving The Continued Airworthiness Of Civil Aircraft: A Strategy for the FAA's Aircraft Certification Service, Committee on Aircraft Certification Safety Management, National Research Council.
  • Improving The Software Development Process Using Testability Research, J.M. Voas, In Proceedings of the 3rd International Symposium on Software Reliability Engineering, October 1992, IEEE, pp 114-121.
  • Influence Of Organization And Management On Industrial Safety, B. Wahlstrom, E. Swaton, Technical Report, International Institute For Applied Systems Analysis, 1991.
  • Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based On The Temporal Ordering Of Observational Behavior, ISO/TC 97/SC 21, ISO DIS 8807, 1987.
  • Information Technology - Software Life Cycle Processes - Risk Management - ISO/IEC 16085, 2004.
  • Information Technology - System and Software Integrity Levels - ISO/IEC 15026, November 15, 1998.
  • Inhibitors To Formal Methods Exploitation - Cause Or Symptom?, George Cleland, Donald Mackenzie, In Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques (WIFT '95), Boca Raton, Florida, April 1995.
  • Insecurities In The Ada Programming Language: An Interim Report, NPL Report DITC 137/89, January 1989.
  • Instructions For Preparation Of Failure Modes And Effects Analysis And Critical Items List For Space Station, Space Station Freedom Program Office, NASA, SSP 30234.
  • Integrated Risk Assessment System Requirements Definition Document, Space Station Freedom Program Office, NASA, SSP 30525.
  • Integrated Safety Program Plan, Space Station Freedom Program Office, NASA, TSS 30688.
  • Integrated Techniques For Software Safety Analysis, P. Fenelon, J.A. McDermid, In Proceedings of the IEE Colloquium on Hazard Analysis, Nov. 1992.
  • Introduction to Human Factors Engineering (2nd Edition), Christopher D. Wickens, John Lee, Yili D. Liu, Sallie Gordon-Becker, Prentice Hall, ISBN 0131837362, November 20, 2003.
  • Introduction To Software Reliability: A State-Of-The-Art Review, Reliability Information Analysis Center.
  • Investigation Into The Clapham Junction Railway Accident, Anthony Hidden, Department of Transport, Her Majesty's Stationery Office, ISBN 0-10-108202-9, 1989.
  • Investigating Human Error: Incidents, Accidents, and Complex Systems, Barry Strauch, Ashgate Publishing, ISBN 0754641228, January 2004.
  • Issues In Software System Safety: Polly Ann Smith Co. v. Ned I. Ludd, C. Michael Holloway, Proceedings 20th International System Safety Conference, August 5-9, 2002, Denver, CO, pp 76-84.
Back to Top

J

  • Joint Aviation Requirements 25.1309: Equipment, Systems and Installations, Cheltenham: Civil Aviation Authority, 1994.
  • JPL Standard For Systems Safety - D-560, Revision C, National Aeronautics and Space Administration, Jet Propulsion Laboratory, March 1999.
Back to Top

L

  • Learning From Accidents, Trevor A. Kletz, Butterworth-Heinemann, 2nd Edition, 1994.
  • Legal Input: Software Liability For Damaging Bugs, Rauer Meyer, Hardcopy Magazine, August 1987.
  • Legal Liability For Software In Safety-Related Systems, B.A. Wichmann, In Software In Safety-Related Systems, B.A. Wichmann, ISBN 0-47-193474-7, 1992, pp 27-33.
  • Lessons From Disaster, Edited by Trevor A. Kletz, Gulf Publishing Company, Houston, 1993.
  • Liability For Defective Electronic Information, Pamela Samuelson, CACM, January 1993, Vol. 36, No. 1.
Back to Top

M

  • Maintainability And Its Influence On System Safety, C. Whetton, In Technology and Assessment of Safety-Critical Systems, Edited by F. Redmill, T. Anderson, Springer-Verlag, 1994, pp 31-54.
  • Major Hazard Assessment: A Survey Of Current Methodology And Information Sources, Specialist Inspector Report 29, Health & Safety Executive, Her Majesty's Stationery Office.
  • Malfunction 54 : Unraveling Deadly Medical Mystery Of Computerized Accelerator Gone Awry, E.J. Joyce, American Medical News, October 1986, pp 1,13-17.
  • Managing The Reliability Of COTS-Based Military Systems, W.M. DeBusk Jr., In Proceedings Annual Reliability and Maintainability Symposium, 1998, pp 394-400.
  • Manual For The Development Of Rail Transit System Safety Program Plans, American Public Transportation Association, May 1999.
  • Mass Transit System Safety Glossary, U.S. DOT, October 1995.
  • Mathematical Descriptions And Specification Of Software, D.L. Parnas, In Proceedings of IFIP World Congress 1994, Vol. I, August 1994, pp 354-359.
  • Mathematical Expressions For Reliability, Availability, Maintainability And Maintenance Support Terms - IEC 61703, International Electrotechnical Commission, Geneva, Switzerland, September 28, 2001.
  • Mathematical Notation In Formal Specification: Too Difficult For The Masses?, Kate Finney, IEEE Transactions on Software Engineering, Vol. 22, No. 2, February 1996, pp 158-159.
  • Measures Of Excellence: Reliable Software On Time, Within Budget, L. Putnam, Quality Publishing Inc., 1991.
  • Medical Devices - Application of Risk Management to Medical Devices - ISO 14971:2000, ISO, December 2000.
  • Medical Devices - Application of Risk Management to Medical Devices, Rationale for Requirements - ISO 14971:2000/Amd 1:2003, ISO, 2003.
  • Medical Devices - Risk Analysis - EN 1441, CEN.
  • Medical Electrical Equipment - Part 1-4: General Requirements For Safety - Collateral Standard: Programmable Electrical Medical Systems - IEC 60601-1-4, International Electrotechnical Commission, Geneva, Switzerland, April 7, 2000.
  • Methodology For Conduct Of Space Shuttle Program Hazard Analyses, NASA, NSTS 22254, Revision A, April 30, 1991.
  • MORT Safety Assurance Systems, William G. Johnson, Marcel Dekker, Inc., New York, 1980.
  • Murphy: Expecting The Worst and Preparing For It, Nancy G. Leveson, In Proceedings of COMPCON Fall '84: The Small Computer (R)Evolution, Arlington, Virginia, 1984, pp 294-300.
  • Myths Of The Chemical Industry, Trevor A. Kletz, The Institution of Chemical Engineers, Rugby, Warwickshire, U.K., 1984.
Back to Top

N

  • NASA Computer-Based Control System Safety Requirements - SSP 50038, Rev. B, November 17, 1995.
  • NASA Fault Tree Handbook with Aerospace Applications, NASA, August 2002.
  • NASA Guidebook For Safety-Critical Software Analysis And Development, NASA-GB-1740.13-96, NASA, April 1996.
  • NASA Probabilistic Risk Assessment Procedures Guide for NASA Managers and Practitioners, August 2002.
  • NASA Safety Requirements Document - SSP 50021, December 12, 1995.
  • NASA Software Assurance Guidebook - SMAP-GB-A201, NASA, September 1989.
  • NASA Software Formal Inspections Guidebook, NASA-GB-A302, NASA, August 1993.
  • NASA Software Formal Inspections Standard, NASA-STD-2202-93, NASA, April 1993.
  • NASA Software Safety Guidebook, NASA-GB-8719.13, NASA, March 31, 2004.
  • NASA Software Safety Standard, NASA-STD-8719.13A, NASA, September 15, 1997.
  • NAS Modernization - System Safety Management Program, Rev. 10, U.S. DOT, Federal Aviation Administration, December 2004.
  • Navy Safety And Occupational Safety And Health Program - OPNAVINST 5100.8G, Department Of The Navy, July 2, 1986.
  • Navy System Safety Program - OPNAVINST 5100.24A, Department Of The Navy, October 3, 1986.
  • New Ways To Get Accurate Reliability Measures, Bev Littlewood, S. Brocklehurst, IEEE Software, Vol. 9, No. 4, July 1992, pp 34-42.
  • NFPA 130: Fixed Guideway Transit and Passenger Rail Systems, National Fire Protection Association, 2003.
  • Nomenclature For Hazard And Risk Assessment, Rugby, Institution of Chemical Engineers, Revised 2nd Edition, ISBN 0-85-29529-7 X, 1992.
  • No Silver Bullet: Essence And Accidents Of Software Engineering, Frederick P. Brooks, Jr., IEEE Computer, April 1987, pp 10-19.
  • Non-electronic Parts Reliability Data (NPRD), RAC-STD-6200, Reliability Information Analysis Center, 1995.
  • NPATH: A Measure Of Execution Path Complexity And Its Applications, B.A. Nejmeh, CACM, Vol. 31, No. 2, 1988, pp 188-200.
  • Nuclear Power Plants - Instrumentation And Control For Systems Important For Safety - Classification - IEC 61226, International Electrotechnical Commission, Geneva, Switzerland, May 13, 1993.
  • Nuclear Power Plants - Instrumentation And Control For Systems Important To Safety - General Requirements For Systems - IEC 61513, International Electrotechnical Commission, Geneva, Switzerland, March 2001.
  • Nuclear Weapon System Safety Program Manual - DOD 3150.2-M, Department of Defense, December 1996.
Back to Top

O

  • Object-Oriented - No Panacea For Safety, Reginald Meeson, In Proceedings of the Eleventh Annual Conference on Computer Assurance (COMPASS '96), IEEE, pp 171-175.
  • Observations On Industrial Practice Using Formal Methods, Susan Gerhart, Dan Craigen, Ted Ralston, In Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, May 1993.
  • Occupational Health And Safety On-Board Aircraft - CAP 757, Civil Aviation Authority, London, August 2005.
  • Occupational Safety and Health Program - 3900.19B, U.S. DOT, Federal Aviation Administration, April 1, 2005.
  • On The Criteria To Be Used In Decomposing Systems Into Modules, D.L. Parnas, CACM, Vol. 15, No. 2, 1972, pp 1053-1058.
  • On The Enforcement Of Software Safety Policies, Kevin G. Wika, John C. Knight, In Proceedings of the Tenth Annual Conference on Computer Assurance (COMPASS '95), IEEE, pp 83-93.
  • Operational Profiles In Software Reliability Engineering, J.D. Musa, IEEE Software, March 1993, pp 14-32.
  • OSHA Regulations For General Industry - 29 CFR 1910, Department of Labour.
  • Out Of Control, Health & Safety Executive, Her Majesty's Stationery Office, ISBN 0-7176-0847-6, May 1995.
Back to Top

P

  • Parts Derating Requirements and Application Manual for Navy Electronic Equipment - NAVSEA TE000-AB-GTP-010, Revision 2, Naval Sea Systems Command.
  • Patterns Of Software Systems Failure And Success, Capers Jones, International Thomson Computer Press, ISBN 1850328048, 1995.
  • PC-FTA: An Expert System For Fault Tree Construction, M. Schwarzblat, J.C. Baker, J.E. Smith, In Proceedings of the Probabilistic Safety Assessment and Management (PSAM) Conference, Beverly Hills, California, February 1991.
  • Performing A Safety Certification For Avionics Components And Systems, Avionics Communications Inc., ISBN 1-885544-07-3, 1995.
  • Petri Net Theory And The Modeling Of Systems, J.L. Peterson, Prentice-Hall, Englewood Cliffs, N.J., 1981.
  • PIE: A Dynamic Failure-Based Technique, J.M. Voas, IEEE Transactions on Software Engineering, Vol. 18, No. 8, August 1992, pp 717-727.
  • Plant Design For Safety - A User Friendly Approach, Trevor A. Kletz, ISBN 1-56-032068-0, 1991.
  • Plants Should Be Friendly, Trevor A. Kletz, Safety and Loss Prevention In The Chemical And Oil Processing Industries, The Institution of Chemical Engineers, Rugby, Warwickshire, U.K., 1990.
  • Potential Failure Mode and Effects Analysis in Design (Design FMEA), Potential Failure Mode and Effects Analysis in Manufacturing and Assembly Processes (Process FMEA), and Potential Failure Mode and Effects Analysis for Machinery (Machinery FMEA) - SAE J1739, Society of Automotive Engineers, June 2000.
  • Practical Design of Safety-Critical Computer Systems, William R. Dunn, Reliability Press, ISBN 0-971-75270-2, July 2002.
  • PRA Procedures Guide: A Guide To The Performance Of Probabilistic Risk Assessments For Nuclear Power Plants, NUREG/CR-2300, U.S. Nuclear Regulatory Commission, Washington, D.C..
  • Precise Documentation Of Well-Structured Programs, D.L. Parnas, J. Madey, M. Iglewski, IEEE Transactions on Software Engineering, Vol. 20, No. 12, 1994, pp 948-976.
  • Predicate Logic For Software Engineering, D.L. Parnas, IEEE Transactions on Software Engineering, Vol. 19, No. 9, 1993, pp 856-862.
  • Preliminary Procedure for Software Hazard Analysis of Safety-Critical Software, David Levan, Prepared for Ontario Hydro Nuclear Safety Department, January 1992.
  • Principle-Based Passive Safety In Nuclear Weapon Systems, Stanley D. Spray, In High Consequence Operations Safety Symposium, Sandia National Laboratories, Albuquerque, N.M., July 13, 1994.
  • Probabilistic Assessment Of Safety-Critical Software: Why And How?, Jean-Claude Laprie, Bev Littlewood, CACM, Vol. 35, No. 2, February 1992.
  • Probabilistic Risk Assessment And Management For Engineers And Scientists, Hiromitsu Kumamoto, Ernest J. Henley, IEEE Press, ISBN 0-7803100-47.
  • Probabilistic Risk Assessment Procedures Guide - NUREG-CR-2300.
  • Procedures For Developing Safety Critical Software In Ada, ESA, ESTEC Contract No. 9202/90/NL/JG, 1991.
  • Procedures For Performing A Failure Mode, Effects And Criticality Analysis - MIL-STD-1629A, Notice 2, U.S. Department of Defense, Washington D.C., November 28, 1984.
  • Procedures For Treating Common Cause Failures In Safety And Reliability Studies - NUREG-CR-4780.
  • Product Safety Management And Engineering, 2nd Edition, Willie Hammer, American Society of Safety Engineers, ISBN 0-939874-90-3, 1993.
  • Programmable Electronic Systems In Safety Related Applications, HSE Guidelines, Health and Safety Executive, Her Majesty's Stationery Office, Part 1 - An Introductory Guide - ISBN 0-11-883913-6, Part 2 - General Technical Guidelines - ISBN 0-11-883906-3, 1987.
  • Programmed For Disaster: Software Errors That Imperil Lives, Jonathan Jacky, The Sciences, September/October 1989.
  • Programming Languages And Safety-Related Systems, Les Hatton, In Achievement and Assurance of Safety - Proceedings of the Safety-Critical Systems Symposium, Brighton 1995, Springer-Verlag, pp 49-64.
  • Protection Against Electric Shock - IEC 364-4-41, Chapter 41 of Part 4 (Protection For Safety) of Electrical Installations Of Buildings, International Electrotechnical Commission, Geneva, Switzerland.
Back to Top

Q

  • Quality Assurance Program For Previously Developed Software Used In Critical Applications, CAN/CSA-Q396.1.2-89, Canadian Standards Association.
  • Quality Assurance Program For The Development Of Software Used In Critical Applications, CAN/CSA-Q396.1.1-89, Canadian Standards Association.
  • Quality Management And Quality Assurance Standards - Part 3: Guidelines For The Application Of ISO 9001 To The Development, Supply, And Maintenance Of Software - ISO 9000-3, 1991.
  • Quality Principles, Software-Based Equipment, Association of American Railroads, Signal Manual, Section 17, 1995.
  • Quantified Risk Assessment: Its Input To Decision Making, Health & Safety Executive, Her Majesty's Stationery Office, ISBN 0-11-885499-2, 1989.
  • Quantifying Software Validation: When To Stop Testing, J.D. Musa, A.F. Ackerman, IEEE Software, Vol. 6, No. 3, May 1989, pp 19-27.
Back to Top

R

  • Railroad Communications And Train Control - Report To Congress, U.S. Department Of Transportation, Federal Railroad Administration, Office Of Safety, July 1994.
  • Railroad Passenger Equipment Safety Standards: Part 238 - Subpart C: Tier II Equipment Requirements - Proposed Rule Text, Federal Railroad Administration, 1996.
  • Rail Safety Management System Guide - TP 13548, Transport Canada, February 2001.
  • Railway Applications - Communication, Signalling, and Processing Systems - Part 1: Safety-related Communication In Closed Transmission Systems - EN 50159-1, CENELEC, March 2001.
  • Railway Applications - Communication, Signalling, and Processing Systems - Part 2: Safety-related Communication In Open Transmission Systems - EN 50159-2, CENELEC, March 2001.
  • Railway Applications - Radio Remote Control System Of Traction Vehicle For Freight Traffic - EN 50239, CENELEC, December 1999.
  • Railway Applications - Safety Related Electronic Systems For Signalling - EN 50129 , CENELEC, February 2003.
  • Railway Applications - Software For Railway Control And Protection Systems - EN 50128 , CENELEC, March 2001.
  • Railway Applications - The Specification And Demonstration Of Dependability, Reliability, Availability, Maintainability, And Safety (RAMS) - EN 50126 , CENELEC, September 1999.
  • Railway Rolling Stock, Fire Behavior, Choice of Materials - NF F16-101, French Railway Standard (AFNOR), October 1, 1988.
  • Railway Rolling Stock, Fire Behavior, Choice of Materials, Application To Electrical Equipment - NF F16-102, French Railway Standard (AFNOR), April 1, 1992.
  • Railway Rolling Stock, Fire Protection and Fire Fighting, Design Arrangements - NF F16-103, French Railway Standard (AFNOR), July 1, 1989.
  • Railway Rolling Stock, Fire Resistance For Seats - NF F16-201, French Railway Standard (AFNOR), March 1, 1990.
  • Railways (Safety Case) Regulations 2000 - Your Questions Answered - Railways Information Sheet No. 2, HM Railway Inspectorate.
  • Real-Time Safety-Critical Systems: Analysis And Synthesis, A. Burns, J.A. McDermid, Software Engineering Journal, Vol. 9, No. 6, Nov. 1994, pp 267-281.
  • Recalibrating Software Reliability Models, Bev Littlewood, S. Brocklehurst, P.Y. Chan, J. Snell, IEEE Transactions on Software Engineering, Vol. 16, No. 4, April 1990, pp 458-470.
  • Recommended Emergency Preparedness Guidelines For Elderly And Disabled Rail Transit Passengers, U.S. DOT, UMTA, UMTA-MA-06-0186-89-1, DOT-VNTSC-UMTA-89-4, March 1994.
  • Recommended Emergency Preparedness Guidelines For Passenger Trains, U.S. DOT, FRA, DOT/FRA/ORD-93/24, DOT-VNTSC-FRA-93-23, December 1993.
  • Recommended Emergency Preparedness Guidelines For Urban, Rural, And Specialized Transit Systems, U.S. DOT, UMTA, UMTA-MA-06-0196-91-1, DOT-VNTSC-UMTA-91-1, January 1991.
  • Recommended Emergency Preparedness Guidelines For Rail Transit Systems, U.S. DOT, UMTA, UMTA-MA-06-0152-85-1, DOT-TSC-UMTA-84-26, August 1992.
  • Recommended Failure Modes And Effects Analysis (FMEA) Practices For Non-Automobile Applications - SAE ARP5580, Society of Automotive Engineers, July 2001.
  • Recommended Fire Safety Practices For Rail Transit Materials Selection, U.S. DOT, UMTA, Federal Register/Vol. 49, No. 158, October 1992.
  • Reduced Operation Software, J.D. Musa, ACM Software Engineering Notes, Vol. 16, No. 3, pp 78.
  • Redundancy In Data Structures: Improving Software Fault Tolerance, D.J. Taylor, D.E. Morgan, J.P. Black, IEEE Transactions on Software Engineering, Vol. 6, No. 6, November 1980, pp 585-594.
  • Regulations For Safety Critical Software Development - An Analysis Of Programming Language Issues, F. Mazzanti, Appendix B of Deliverable 2.1.1 of Project SHIP, July 1993.
  • Reliability And Maintainability - MOD 00-40, Ministry Of Defence, Directorate of Standardisation, 14 December 1994.
  • Reliability And Maintainability Assurance Activity - MOD 00-43, Part 1 - In-Service Reliability Demonstration, Ministry Of Defence, Directorate of Standardisation, 29 January 1993.
  • Reliability And Maintainability Assurance Activity - MOD 00-43, Part 2 - Maintainability Demonstration, Ministry Of Defence, Directorate of Standardisation, 28 July 1995.
  • Reliability And Maintainability Assurance Guide - MOD 00-42 - Part 1 - One-Shot Devices/Systems, Ministry Of Defence, Directorate of Standardisation, 25 July 1997.
  • Reliability And Maintainability Assurance Guide - MOD 00-42 - Part 2 - Software, Ministry Of Defence, Directorate of Standardisation, 1 September 1997.
  • Reliability And Maintainability Assurance Guide - MOD 00-42 - Part 3 - Reliability And Maintainability Case, Ministry Of Defence, Directorate of Standardisation, 22 October 1999.
  • Reliability And Maintainability Data Collection And Classification - MOD 00-44 - Part 2 - Data Classification & Incident Sentencing - General, Ministry Of Defence, Directorate of Standardisation, 29 April 1994.
  • Reliability And Maintainability Data Collection And Classification - MOD 00-44 - Part 3 - Incident Sentencing - SEA, Ministry Of Defence, Directorate of Standardisation, 29 August 1997.
  • Reliability And Maintainability Data Collection And Classification - MOD 00-44 - Part 4 - Incident Sentencing - LAND, Ministry Of Defence, Directorate of Standardisation, 10 November 1995.
  • Reliability And Maintainability: MOD Guide To Practices and Procedures - MOD 00-41, Ministry Of Defence, Directorate of Standardisation, 25 June 1993.
  • Reliability And Maintainability: MOD Guide To Terminology Definitions - MOD 00-49, Ministry Of Defence, Directorate of Standardisation, 26 January 1996.
  • Reliability And Safety Of Real-Time Systems, William W. Everett, IEEE Software, May 1995, pp 13-16.
  • Reliability, Availability, Maintainability And Safety Assessment, Volume 1, Methods and Techniques, Alain Villemeur, John Wiley and Sons, ISBN 0471930482, February 4, 1992.
  • Reliability, Availability, Maintainability And Safety Assessment, Volume 2, Assessment, Hardware, Software and Human Factors, Alain Villemeur, John Wiley and Sons, ISBN 0471930490, January 16, 1992.
  • Reliability Block Diagram Method - IEC 1078, International Electrotechnical Commission, Geneva, Switzerland.
  • Reliability Of Systems, Equipment And Components: Introductory Guide To Reliability - BS 5760-0:1986, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Dependability Programme Elements and Tasks - BS 5760-1:1996, EN 60300-2:1996, IEC 60300-2:1995, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Assessment of Reliability - BS 5760-2:1994, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Reliability Practices: Examples - BS 5760-3:1982, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Specification Clauses Relating to the Achievement and Development of Reliability in New and Existing Items - BS 5760-4:1986, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Failure Modes, Effects and Criticality Analysis (FMEA and FMECA) - BS 5760-5:1991, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Programmes for Reliability Growth - BS 5760-6:1991, IEC 61014:1989, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Fault Tree Analysis - BS 5760-7:1990, IEC 61025:1990, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Assessment of Reliability of Systems Containing Software - BS 5760-8:1998, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Reliability Testing: General Requirements - BS 5760-10.1:1993, IEC 60605-1:1978, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Reliability Testing: Design of Test Cycles - BS 5760-10.2:1995, IEC 60605-2:1994, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Reliability Testing: Compliance Test Procedures for Steady-State Availability - BS 5760-10.3:1993, IEC 61070:1991, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to Reliability Testing: Compliance Test Plans for Success Ratio - BS 5760-10.5:1993, IEC 61123:1991, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Collection of Reliability, Availability, Maintainability and Maintenance Support Data from the Field - BS 5760-11:1994, IEC 60300-3-2:1993, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Presentation of Reliability, Maintainability and Availability Predictions - BS 5760-12:1993, IEC 60863:1986, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Reliability Test Conditions for Consumer Equipment: Conditions Providing a Low Degree of Simulation for Indoor Portable Equipment - BS 5760-13.1:1993, IEC 60605-3-1:1986, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Reliability Test Conditions for Consumer Equipment: Conditions Providing a High Degree of Simulation for Equipment for Stationary Use in Weather Protected Locations - BS 5760-13.2:1993, IEC 60605-3-2:1986, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Reliability Test Conditions for Consumer Equipment: Conditions Providing a Low Degree of Simulation for Equipment for Stationary Use in Partially Weather Protected Locations - BS 5760-13.3:1993, IEC 60605-3-3:1992, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Reliability Test Conditions for Consumer Equipment: Conditions Providing a Low Degree of Simulation for Equipment for Portable and Non-Stationary Use - BS 5760-13.4:1993, IEC 60605-3-4:1992, British Standards Institution.
  • Reliability Of Systems, Equipment And Components: Guide to the Reliability Test Conditions for Consumer Equipment: Ground Mobile Equipment: Low Degree of Simulation - BS 5760-13.5:1996, IEC 60605-3-5:1996, British Standards Institution.
  • Reliability Prediction Of Electronic Equipment - MIL-HDBK-217F, Notice 2, 28 February 1995.
  • Reliability Program Standard - SAE JA1000, Society of Automotive Engineers, June 1998.
  • Reliability Program Standard Implementation Guide - SAE JA1000-1, Society of Automotive Engineers.
  • Reliability, Quality and Safety of Software-Intensive Systems, Dimitris Gritzalis, Chapman & Hall, ISBN 0412802805, 1997.
  • Reliability, Safety And Risk Assessment, S.J. Cox, N.R. Tait, ISBN 0-75-061073-5, 1991.
  • Report Of The Royal Commission To Inquire Into The Crash On Mount Erebus, Antarctica Of A DC-10 Aircraft Operated By Air New Zealand Limited, Thomas Mahon, P.D. Hasselberg, Wellington, New Zealand, 1981.
  • Requirements Discovery During Testing of Safety-Critical Software, Robyn R. Lutz, Ines Carmen Mikulski, Proc. 25th International Conference on Software Engineering (ICSE'03), Portland, OR, May 3-10, 2003.
  • Requirements For Programming Languages In Safety And Security Software Standards, B.A. Wichmann, In Computer & Interfaces 14, 1992, pp 433-441.
  • Requirements Specification For Process Control Systems, Nancy G. Leveson, Mats P.E., Heimdahl, Holly Hildreth, Jon D. Reese, Information and Computer Science Dept., University of California, Irvine, November 10, 1992.
  • Reviewer Guidance For Computer Controlled Medical Devices Undergoing 510(k) Review, Office of Device Evaluation, Center for Devices and Radiological Health, FDA, August 29, 1991.
  • Review Guidelines On Software Languages For Use In Nuclear Power Plant Safety Systems - NUREG/CR-6463, June 1996.
  • Risk, John Adams, UCL Press, London, ISBN 1-85728-067-9,1995.
  • Risk Analysis And Management, M. Granger Morgan, Scientific American, July 1993.
  • Risk Analysis Of Technological Systems - Application Guide, IEC 300-3 Part 9, International Electrotechnical Commission, Geneva, Switzerland.
  • Risk: Analysis, Perception and Management, Royal Society, 1992.
  • Risk And System Integrity Concepts For Safety-Related Control Systems, R. Bell, D. Reinert, Microprocessors and Microsystems, 17(1), pp 3-15, 1993.
  • Risk Assessment And Risk Management For The Chemical Process Industry, Stone & Webster Engineering Corp., ISBN 0-44-223438-4, 1991.
  • Risk Management Policy For Manned Flight Programs, NASA, NMI 8070.4, 1988.
Back to Top

S

  • Safe, Efficient Garbage Collection For C++, J.R. Ellis, D.L. Detlefs, DEC Research Report, June 1993.
  • Safeguards For Personnel Protection - 29CFR1910.335, Occupational Health and Safety Administration.
  • SafeIT - A Government Consultation Document On The Safety Of Computer-Controlled Systems, Part 1 - Overall Approach, Part 2 - Standards Framework, Department of Trade and Industry, May 1990.
  • Safer C: Developing Software For High-Integrity & Safety-Critical Systems, Les Hatton, McGraw-Hill, ISBN 0-07-707640-0, 1995.
  • Safety Analysis And Risk Assessment Requirements Document, Space Station Freedom Program Office, NASA, SSP 30309, Revision C, July 1992.
  • Safety Analysis Applied To Software Design, Stephen S. Cha, PhD thesis, University of California, Irvine, California, June 1991.
  • Safety Analysis Of Timing Properties In Real-Time Systems, F. Jahanian, A.K. Mok, IEEE Transactions of Software Engineering, Vol. 12, No. 9, September 1986, pp 890-904.
  • Safety Analysis Using Petri Nets, Nancy G. Leveson, Janice L. Stolzy, IEEE Transactions On Software Engineering, Vol. 13, No. 3, March 1987, pp 386-397.
  • Safety And Occupational Health (SOH) Program - Instruction 6055.1, Department of Defense, August 19, 1998.
  • Safety And Reliability Of Software Based Systems, Proceedings of the Twelfth Annual CSR Workshop - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Safety Aspects Of Computer Control, Edited by Phil Bennett, Butterworth-Heinemann.
  • Safety Assertions For Process Control Systems, Nancy G. Leveson, Timothy J. Shimeall, In Proceedings 13th International Symp. On Fault Tolerant Computing, Milan, July 1983, IEEE.
  • Safety Assessment Of Computer Systems Using HAZOP And Audit Techniques, M.F. Chudleigh, J.R. Catmur, In Safecomp '92, Safety of Computer Control Systems, Oxford: Pergamon Press, 1992.
  • Safety Assessment of General Aviation Airplanes and Rotorcraft in Commercial Service - SAE ARP5151, Society of Automotive Engineers, October 2006.
  • Safety Case Development: Current Practice, Future Prospects, S.P. Wilson, T.P.Kelly, J.A. McDermid, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Safety Case For The NERC Air Traffic Control System, S. Visram, W. Artner, P. Marsden, In Proceedings 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, October 23-25, 1996.
  • Safety Cases - How Did We Get Here?, Roger Shaw, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • Safety-Critical Computer Systems, Neil Storey, Addison-Wesley, ISBN 0-201-42787-7, 1996.
  • Safety-Critical Systems Built With COTS, Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek, IEEE Computer, November 1996, pp 54-60.
  • Safety-Critical Systems - Current Issues, Techniques And Standards, Edited by Felix Redmill, Tom Anderson, Chapman & Hall, ISBN 0-412-54820-8, 1993.
  • Safety-Critical Systems, Formal Methods And Standards, J. Bowen and V. Stavridou, Software Engineering Journal, 8(4), pp 189-209, July, 1993.
  • Safety-Critical Systems - Legal Liability, Dai Davis, Computing & Control Engineering Journal, February 1994.
  • Safety Design Requirements And Guidelines For Munition Related Safety Critical Computing Systems, NATO Standardization Agreement (STANAG) 4404, Draft.
  • Safety Issues For Software - HB 220-2000, Australian Computer Society, ISBN 0-7337-3282-6, April 13, 2000.
  • Safety Management Requirements For Defence Systems - Interim MOD 00-56, Ministry Of Defence, Directorate of Standardisation, Issue 3, December 17, 2004.
  • Safety Of Machinery: Basic Concepts, General Principles For Design, Part 1: Basic Terminology, Methodology - ISO 12100-1, ISO, 2003.
  • Safety Of Machinery: Basic Concepts, General Principles For Design, Part 2: Technical Principles - ISO 12100-2, ISO, 2003.
  • Safety Of Machinery: Emergency Stop - Principles For Design - ISO 13850, ISO, 1996.
  • Safety Of Machinery: Interlocking Devices Associated With Guards, Principles For Design And Selection - ISO 14119, ISO, 1998.
  • Safety Of Machinery: Prevention Of Unexpected Start-Up - ISO 14118, ISO, 2000.
  • Safety Of Machinery: Principles Of Risk Assessment - ISO 14121, ISO, 1999.
  • Safety Of Machinery: Safety Distances To Prevent Danger Zones Being Reached By The Lower Limbs - ISO 13853, ISO, 1998.
  • Safety Of Machinery: Safety Distances To Prevent Danger Zones Being Reached By The Upper Limbs - ISO 13852, ISO, 1996.
  • Safety Of Machinery: Safety-Related Parts Of Control Systems, Part 1: General Principles For Design - ISO 13849-1, ISO, 1999.
  • Safety Planning Information Directed To Emergency Response: Resource Manual, U.S. DOT, SPI-JNB-94-005, K-148-000.
  • Safety Related Software For Railway Signalling, BRB/LU LTD/RIA Technical Specification No. 23, Railway Industry Association, 1991.
  • Safety-Related Systems: Professional Brief, Institute of Electrical Engineers, 1992.
  • Safety, Reliability, Maintainability, And Quality Provisions For The Space Shuttle Program, NASA, NHB 5300.4 (1D2).
  • Safety Review Process For Space Station, Space Station Freedom Program Office, NASA, TSS 30599.
  • Safety Risk Management Guidance For System Acquisitions, U.S. DOT, Federal Aviation Administration, February 8, 2007.
  • Safety Through Training, Neil Storey, In Proceedings Second Safety Through Quality Conference, Cape Canaveral, Florida, 23-25 October 1995, pp 261-70.
  • Safety Verification Of Ada Programs Using Software Fault Trees, Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall, IEEE Software, Vol. 8, No. 4, July 1991, pp 48-59.
  • Safeware: System Safety And Computers, Nancy G. Leveson, ISBN 0-201-11972-2, 1995.
  • Second Annual Report For Clarification Of DO-178B "Software Considerations In Airborne Systems And Equipment Considerations" - DO-248A, RTCA, September 13, 2000.
  • Security And Safety, Carl Landwehr, In Workshop On Software Safety, Naval Intelligence Center, Washington, D.C., 1993.
  • SEMSPLC Guidelines: Safety-Related Application Software For Programmable Logic Controllers, IEE Technical Guidelines 8:1996, Institute Of Electrical Engineers, ISBN 0-85296-887-6.
  • Set Phasers On Stun, And Other True Tales Of Design, Technology And Human Error, Steven Casey, Aegean Publishing Company, Santa Barbara.
  • Seven Myths Of Formal Methods, J. Anthony Hall, IEEE Software, September 1991.
  • Simpler, Cheaper Plants Or Wealth And Safety At Work, Trevor A. Kletz, In European Major Hazards, Edited by B.H. Harvey, Oyez Scientific and Technical Services, Ltd., London, 1984, pp 33-41.
  • Simplified System Safety, Bruce A. Brown, In Professional Safety, American Society of Safety Engineers, February 1993, pp 24-29.
  • Sneak Circuit Analysis: A Means Of Verifying Design Integrity, U.S. Navy, NAVSO P-3634.
  • Sneak Circuit And Software Sneak Analysis, S.G. Godoy, G.J. Engels, Journal of Aircraft, Vol. 15, August 1978, pp 509-513.
  • Software And Safety, Report Of The Software Reliability Interest Group, Canada, April 1991.
  • Software Aspects Of Defence Against Common Cause Failures, Use Of Software Tools And Of Pre-developed Software - IEC 60880-2, International Electrotechnical Commission, Geneva, Switzerland, December 21, 2000.
  • Software Assessment: Reliability, Safety, Testability, Michael A. Friedman, Jeffrey M. Voas, ISBN 0-471-01009-X, 1995.
  • Software Bugs: A Matter Of Life And Liability, E. Joyce, Datamation, Vol. 33, No. 10, May 15, 1987, pp 88-92.
  • Software Configuration Management, W.A. Babich, Addison-Wesley, 1986.
  • Software Considerations In Airborne Systems And Equipment Certification - DO-178B, RTCA, December 1, 1992.
  • Software Development Failures, Kweku Ewusi-Mensah, MIT Press, ISBN 0262050722, September 2003.
  • Software Engineering Malpractice And Its Avoidance, Christopher J. Palermo, In Proceedings of Third International Symposium on Software Reliability Engineering, IEEE Computer Society Press, 1992.
  • Software Engineering Risk Analysis And Management, R.N. Charette, McGraw-Hill, 1989, ISBN 0-07-010719-X.
  • Software Engineering Guides (ESA), Edited by Jon Fairclough, ISBN 0-13-449281-1, Prentice-Hall, 1995.
  • Software Engineering Standards (ESA), Edited by Carlo Mazza, et al, ISBN 0-13-106568-8, Prentice Hall, 1994.
  • Software Engineering: The Future Of A Profession, J.D. Musa, IEEE Software, Vol. 2, No. 1, January 1985, pp 55-62.
  • Software Evaluation For Certification: Principles, Practice and Legal Liability, Edited by A. Rae, P. Robert, H. Hausen, McGraw-Hill, 1995.
  • Software Failure: Counting Up The Risks, Ivars Peterson, Science News, Vol. 140, No. 24, December 14, 1991.
  • Software Failure: Management Failure -- Amazing Stories And Cautionary Tales, Stephen Flowers, ISBN 0-471-95113-7, 1996.
  • Software Failure Modes And Effects Analysis, Donald J. Reifer, IEEE Transactions On Reliability, Vol. 28, No. 3, August 1979, pp 247-249.
  • Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • Software Fault Tolerance By Design Diversity, Peter Bishop, In Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • Software Fault Tolerance: The Case For Forward Recovery, In Proceedings of the AIAA Conference on Computers in Aerospace, AIAA, Hartford, Connecticut, 1983.
  • Software Fault Tree Analysis, Nancy G. Leveson, P.R. Harvey, Journal of Systems and Software, Vol. 3, 1983, pp 173-181.
  • Software Fault Tree Analysis Applied To Ada, Nancy G. Leveson, Janice L. Stolzy, In Proceedings of COMPSAC '84: The IEEE Computer Society's Eighth International Computer Software & Applications Conference, Chicago, Illinois, 1984, pp 458-467.
  • Software Fault Trees And Weakest Preconditions: A Comparison And Analysis, S. J. Clarke and J. A. McDermid, Software Engineering Journal, 8(4), pp 225-236, July, 1993.
  • Software For Computers In The Safety Systems Of Nuclear Power Stations - IEC 60880, International Electrotechnical Commission, Geneva, Switzerland, September 30, 1986.
  • Software/Hardware Reliability - Bridging The Communication Gap, Ellen Walker, RAC Journal, Vol. 4, No. 2, pp 2-4, 2nd Quarter 1996.
  • Software Hazard Analysis Techniques, Software System Design Methods, Nancy G. Leveson, J.K. Skwirzynski, Editor, NATO ASI Series F22, Springer-Verlag, Heidelberg, 1986, pp 681-699.
  • Software In Protection And Control Systems: A Proposed Regulatory Guide, C-138, Draft 5, Atomic Energy Control Board, March 20, 1996.
  • Software In Safety-Related Systems, Edited by B.A. Wichmann, ISBN 0-47-193474-7, 1992.
  • Software Inspection, Tom Gilb, Dorothy Graham, Addison-Wesley, ISBN 0-201-63181-4.
  • Software Inspection: An Industry Best Practice, Edited by David A. Wheeler, Bill Brykczynski, Reginald N. Meeson, Jr., IEEE Computer Society Press, ISBN 0-8186-7340-0, 1996.
  • Software Integrity Program, Phil S. Babel, Aeronautical Systems Division, U.S. Air Force, April 1987.
  • Software Quality Assurance:Techniques For Reducing Software Risk, William L. Bryan, Stanley G. Siegel, ISBN 0-444-01120-X, 1988.
  • Software Quality:Concepts And Plans, R.H. Dunn, ISBN 0-13-820283-4, 1990.
  • Software-Related Accidents - First-Hand Insight, HCRQ, Inc., Internal Publication.
  • Software Reliability, J.D. Musa, A. Iannino, Advances in Computers, Vol. 30, 1990, pp 85-170.
  • Software Reliability And Safety, In Reliability Engineering & System Safety, Vol. 31, No. 1 & 2, 1991.
  • Software Reliability - An Overview - SAE JA1001, Society of Automotive Engineers, draft.
  • Software Reliability-Engineered Testing, J.D. Musa, IEEE Computer, November 1996, pp 61-68.
  • Software Reliability Engineering - A Technology For The 90's, J.D. Musa, W.W. Everett, IEEE Software, Vol. 7, No. 6, November 1990, pp 36-43.
  • Software Reliability Engineering At AT&T, J.D. Musa, A. Iannino, In Proceedings Probabilistic Safety and Risk Management Conference, Beverly Hills, California, February 4-6, 1991, Elsevier Scientific Publishing, pp 485-491.
  • Software Reliability Engineering: More Reliable Software Faster And Cheaper, 2nd Edition, John D. Musa, Authorhouse, ISBN 1418493880, September 30, 2004.
  • Software Reliability Implementation Guide - SAE JA1003, Society of Automotive Engineers, draft.
  • Software Reliability Measurement Experience, Allen P. Nikora, Michael R. Lyu, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Software Reliability: Measurement, Prediction, Application, J.D. Musa, A. Iannino, K. Okumoto, McGraw-Hill, 1987.
  • Software Reliability Program Standard - SAE JA1002, Society of Automotive Engineers, July 1998.
  • Software Reliability Simulation, Robert C. Tausworthe, Michael R. Lyu, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Software Requirements Analysis For Real-Time Process-Control Systems, Matthew S. Jaffe, Nancy G. Leveson, Mats P.E. Heimdahl, Bonnie E. Melhart, IEEE Transactions on Software Engineering, Vol. 17, No. 3, March 1991.
  • Software Requirements Engineering, 2nd Edition, Edited by Richard H. Thayer, Merlin Dorfman, IEEE Computer Society Press, ISBN 0-8186-7738-4, January 1997.
  • Software Risk Management, B. Boehm, IEEE Computer Society Press, 1989, Catalog No. 106.
  • Software Runways, Rober L. Glass, Prentice-Hall, ISBN 013673443X, 1998.
  • Software Safety, Nancy G. Leveson, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982, pp 21-24.
  • Software Safety & Reliability: Techniques, Approaches and Standards of Key Industrial Sectors, Debra S. Herrmann, IEEE Computer Society Press, ISBN 0-7695-0299-7, 1999.
  • Software Safety Hazard Analysis, UCRL-ID-122514, Version 2.0, J. Dennis Lawrence, Lawrence Livermore National Laboratory, October 1995.
  • Software Safety In Computer-Controlled Systems, Nancy G. Leveson, IEEE Computer, February 1984, pp 48-55.
  • Software Safety In Embedded Computer Systems, Nancy G. Leveson, CACM, Vol. 34, No. 2, February 1991.
  • Software Safety In Medical Systems, Nancy G. Leveson, In Proceedings of the Seventeenth Annual Hawaii International Conference on System Sciences, 1984, pp 13-19.
  • Software Safety: The Neglect Of Computer Controlled Medical Devices, In Safety Last, The Failure Of The Consumer Health Protection System In Canada, Nicholas Regush, ISBN 1-55013-462-0, 1993.
  • Software Safety: What, Why And How, Computing Surveys, Nancy G. Leveson, CACM, Vol. 18, No. 2, June 1986, 125-163.
  • Software's Chronic Crisis, W. Wayt Gibbs, Scientific American, September 1994, pp 86-95.
  • Software Security: Building Security In, Gary McGraw, Addison-Wesley Professional, ISBN 0321356705, January 2006.
  • Software Shock: The Danger And The Opportunity, Roger S. Pressman, S. Russel Herron, Dorset House Publishing, 1991.
  • Software System Failure Mode And Effects Analysis (SSFMEA) - A Tool For Reliability Growth, Dev. G. Raheja, Technology Management Inc., Laurel, MD.
  • Software System Safety, E.S. Dean, In Proceedings Fifth International System Safety Conference, System Safety Society, 1981.
  • Software System Safety Guide, Leonard L. Russo, U.S. Army Communications and Electronics Command, May 1992.
  • Software Systems Safety Design Guidelines And Recommendations, Michael L. Brown, Technical Report NSWCTR 89-33, Naval Surface Warfare Center, Dahlgren, Virginia, March 1989.
  • Software Systems Safety Handbook, JPL D-10058, Jet Propulsion Laboratory, May 10, 1993.
  • Software System Safety Handbook: A Technical & Managerial Team Approach, Joint Software System Safety Committee, December 1999.
  • Software System Testing And Quality Assurance, Boris Beizer, Van Nostrand Reinhold, 1987.
  • Software Testability: The New Verification, Jeffrey M. Voas, Keith W. Miller, IEEE Computer, May 1995, pp 17-28.
  • Software Testing And Evaluation, R.A. DeMillo, W.M. McCracken, R.J. Martin, J.F. Passafiume. ISBN 0-8053-2535-2, 1987.
  • Software Testing In The Real World: Improving The Process, E.Kit, ISBN 0-201-87756-2, 1995.
  • Software Testing Management - Life On The Critical Path, T.C. Royer, ISBN 0-13-532987-6, 1993.
  • Software Testing Techniques, 2nd Edition, Boris Beizer, Van Nostrand Reinhold, 1990.
  • Software Testing Technology: An Overview, E.F. Miller Jr., Reprinted from Handbook Of Software Engineering, Edited by C.R. Vick, C.V. Ramamoorthy, Van Nostrand Reinhold, 1984.
  • SPARK - An Annotated Ada Subset For Safety-Critical Systems, Bernard Carri, Jonathan Garnsworthy, Tri-Ada, Baltimore, 1990.
  • SPARK: A Safety-Related Ada Subset, Bernard Carri, Jonathan Garnsworthy, W. Marsh, Presented at 1992 Ada UK Conference, London, Docklands.
  • Specification Case Studies, Edited by I.J. Hayes, Prentice-Hall International Series in Computer Science, 2nd Edition, 1993.
  • Specification In B: An Introduction Using The B Toolkit, Kevin Lano, Howard Haughton, Imperial College Press, ISBN 1-86094-008-0, 1996.
  • Specifying And Verifying Requirements Of Real-Time Systems, Anders P. Ravn, Hans Rischel, IEEE Transactions on Software Engineering, Vol. 19, No. 1, January 1993, pp 41-55.
  • Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Leslie Lamport, Addison-Wesley, ISBN 032114306X, 2002.
  • Standard Classification For Software Anomalies - IEEE 1044-1993.
  • Standard Criteria For Digital Computers In Safety Systems Of Nuclear Power Generating Stations - ANSI IEEE 7-4.3.2, ISBN 0-7381-3810-X, 2003.
  • Standard For Communications-Based Train Control (CBTC) Performance And Functional Requirements - IEEE 1474.1, 2004.
  • Standard For Communications Protocol Aboard Trains - IEEE 1473, 1999.
  • Standard For Environmental Conditions For Transit Rail Car Electronic Equipment - IEEE 1478, 2001.
  • Standard For Passenger Information System For Rail Transit Vehicles - IEEE 1477, 1998.
  • Standard For Passenger Train Auxiliary Power Systems Interfaces - IEEE 1476, 2000.
  • Standard For Safety-Related Software - UL 1998, January 1994.
  • Standard For Software Component Testing - Working Draft 3.0, British Computer Society Specialist Interest Group In Software Testing (BCS SIGIST), 1995.
  • Standard For Software Engineering Of Safety Critical Software - CE-1001-STD, Revision 2, Atomic Energy Of Canada Limited, CANDU Computer Systems Engineering Centre Of Excellence, December 1999.
  • Standard For Software Safety Plans - IEEE 1228, 1994.
  • Standard For The Functioning Of And Interfaces Among Propulsion, Friction Brake And Train-borne Master Control on Rail Rapid Transit Vehicles - IEEE 1475, 1999.
  • Standard For User Interface Requirements In Communications-Based Train Control (CBTC) Systems - IEEE 1474.2, 2003.
  • Standard For Verification Of Vital Functions In Processor-Based Systems Used In Rail Transit Control - IEEE 1483, 2000, 30 March 2000.
  • Standard Practice For Human Engineering Design For Marine Systems, Equipment And Facilities - F1166-95a, ASTM International, 2000.
  • Standard Practice For System Safety - MIL-STD-882D , 10 February 2000.
  • Standard Practice For System Safety - MIL-STD-882E , under development.
  • Standards, Guidelines And Examples On System And Software Requirements Engineering, M. Dorfman, R.H. Thayer, IEEE Computer Society Press.
  • Statecharts: A Visual Formalism For Complex Systems, David Harel, Science of Computer Programming, 8, 1987, pp 231-274.
  • Statemate: A Working Environment For The Development Of Complex Reactive Systems, David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark Trakhtenbrot, IEEE Transactions on Software Engineering, Vol. 16, No. 4, April 1990.
  • Stopping Rules For The Operational Testing Of Safety-Critical Software, Bev Littlewood, D. Wright, In Proceedings of 25th Annual International Symposium on Fault-Tolerant Computing, Pasadena, California, IEEE Computer Society Press, 1995, pp 444-451.
  • Summary Report On Helicopter Ditching And Crashworthiness Research, Civil Aviation Authority, December 2005.
  • Support For Safety Cases And Safety Arguments Using SAM, John McDermid, Reliability Engineering and System Safety, 43(2), pp 111-127, 1994.
  • System And Software Safety - Lessons Learned, HCRQ, Inc., Internal Publication.
  • Systematic Safety Management In The Air Traffic Services, Richard Profit, Euromoney Publications PLC, ISBN 1855644703.
  • Systematic Safety: Safety Assessment Of Aircraft Systems, E. Lloyd, W. Tye,Civil Aviation Authority, London, ISBN 0 86039 141 8, January 1992.
  • Systematic Software Development Using VDM, C.B. Jones, 2nd Edition, Prentice-Hall International, London, 1990.
  • System Design And Analysis, Advisory Circular, FAA, AC No. 25.1309-1A, June 21, 1988.
  • System Safety Analysis Handbook, System Safety Society, July 1993.
  • System Safety And Environmental Assurance For Land Systems - JSP 454, Part 1: Policy, Ministry Of Defence, June 2006.
  • System Safety And Environmental Assurance For Land Systems - JSP 454, Part 2: Guidance, Ministry Of Defence, June 2006.
  • System Safety Engineering And Management, Second Edition, Harold E. Roland, Brian Moriarty, ISBN 0-471-61816-0, 1990.
  • System Safety Engineering In Software Development, EIA Safety Engineering Bulletin No. 6-A, 1990.
  • System Safety Evaluation Program - Programmable Electronic Mining Systems - Best Practice Recommendations, Mine Safety and Health Administration, Department of Health and Human Services, May 2001.
  • System Safety For The 21st Century, Richard A. Stephans, Wiley-Interscience, ISBN 0471444545, June 2004.
  • System Safety Handbook, AFISC SSH 1-1, Software System Safety, 5 September 1985.
  • System Safety Handbook: Practices and Guidelines for Conducting System Safety Engineering & Management, U.S. DOT, Federation Aviation Administration, December 30, 2000.
  • System Safety: HAZOP and Software HAZOP, Felix Redmill, Morris Chudleigh, James Catmur, John Wiley & Sons, ISBN 0471982806, July 1999.
  • System Safety Program Requirements - MIL-STD-882B , Notice 1, 1 July 1987.
  • System Safety Program Requirements - MIL-STD-882C , Notice 1, 19 January 1996.
  • System Safety Requirements For ESA Space Systems And Associated Equipment, ESA PSS-01-40.
  • System Structure For Software Fault Tolerance, B. Randell, IEEE Transactions on Software Engineering, Vol. 1, 1975, pp 220-232.
Back to Top

T

  • Tabular Representation Of Relations, D.L. Parnas, McMaster University, Communications Research Laboratory Report No. 260, Telecommunications Research Institute of Ontario, October 1992.
  • Targeting Safety-Related Errors During Software Requirements Analysis, Robyn R. Lutz, In Proceedings SIGSOFT '93: Foundations Of Software Engineering, 1993.
  • Taxonomy-Based Risk Identification, M.J. Carr, et al, Software Engineering Institute, 1993.
  • Technical Airworthiness Manual - C-05-005-001/AG-001, Department of National Defence, Canada, October 8, 2003.
  • Techniques For Prediction Analysis And Recalibration, Sarah Brocklehurst, Bev Littlewood, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Technology And Assessment Of Safety-Critical Systems, Proceedings Of The Safety-Critical Systems Symposium, Edited by Felix Redmill, Tom Anderson, ISBN 3-540-19859-8, 1994.
  • Temporal Logics And Their Applications, Edited by A. Galton, Academic Press, New York, 1987.
  • Testing Computer Software, Cem Kaner, Jack Falk, Hung Quoc Nguyen, International Thomson Computer Press, ISBN 1-85032-847-1, 1993.
  • Testing Safety-Related Software: A Practical Handbook, Stewart Gardiner, Springer-Verlag, ISBN 1852330341, January 1, 1999.
  • Testing Very Big Systems, D.M. Marks, ISBN 0-07-040433-X, 1992.
  • The Application Of HAZOP Studies To Integrated Requirements Models For Control Systems, P.C. Fencott, B.D. Hebbron, In Proceedings of SAFECOMP '94, Oct. 1994.
  • The Application Of Probabilistic Risk Assessment Techniques To Energy Technologies, Norman C. Rasmussen, In Readings In Risk, Edited by Theodore S. Glickman, Michael Gough, Resources for the Future, New York, 1990, pp 195-205.
  • The Art Of Software Testing, G. Myers, John Wiley & Sons, 1979.
  • The Basics of FMEA, Robin E. McDermott, Raymond J. Mikulak, Michael R. Beauregard, Quality Resources, ISBN 0527763209, 1996.
  • The Bug Heard 'Round The World, John R. Garman, ACM SIGSOFT Software Engineering Notes, Vol. 6, No. 5, October 1981, pp 3-10.
  • The Byzantine Generals Problem, L. Lamport, R. Shostak, M. Pease, ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3, July 1982, pp 382-401.
  • The Challenger Launch Decision : Risky Technology, Culture, and Deviance at NASA, Diane Vaughan, University of Chicago Press, ISBN 0-226-85176-1, 1996.
  • The Choice Of Computer Languages In Safety-Critical Systems, W.J. Cullyer, S.J. Goodenough, B.A. Wichmann, Software Engineering Journal, Vol. 6, No. 2, March 1991, pp 51-58.
  • The Consistent Comparison Problem In N-Version Programming, Susan Brilliant, John C. Knight, Nancy G. Leveson, IEEE Transactions on Software Engineering, Vol. 15, No. 11, November 1989, pp 1481-1485.
  • The Craft Of Software Testing, B. Marick, Prentice-Hall, 1995.
  • The Definition Of Human Error And A Taxonomy For Technical System Design, Jens Rasmussen, In New Technology And Human Error, Edited by Jens Rasmussen, K. Duncan, J. Leplat, John Wiley, 1987.
  • The Evolution Of The Recovery Block Concept, Brian Randell, Jie Xu, In Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • The Flixborough Cyclohexane Disaster, Trevor A. Kletz, Loss Prevention, 9, 1975.
  • The Flixborough Disaster - Report Of The Court Of Inquiry, Her Majesty's Stationery Office, ISBN 0-11-361075-0, 1975.
  • The FMEA Pocket Handbook, Kenneth Dailey, DW Publishing, ISBN 097472212X, March 19, 2004.
  • The Future Engineering Of Software: A Management Perspective, J.D. Musa, V.R. Basili, IEEE Computer, September 1991, pp 90-96.
  • The Impact Of Diversity Upon Common Mode Failures, Bev Littlewood, Reliability Engineering and System Safety, Vol. 51, No. 1, 1996, pp 101-113.
  • The Infeasibility Of Experimental Quantification Of Life-Critical Software Reliability, Ricky W. Butler, George B. Finelli, In Proceedings of the ACM SIGSOFT '91 Conference On Software For Critical Systems, New Orleans, Louisianna, December 1991, pp 66-76.
  • The Limits Of Safety: Organizations, Accidents, And Nuclear Weapons, Scott D. Sagan, Princeton University Press, N.J., 1993.
  • The Methodology Of N-Version Programming, A. Avizienis, In Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • The N-Version Approach To Fault Tolerant Software, A. Avizienis, IEEE Transactions On Software Engineering, Vol. 11, 1985, pp 1491-1501.
  • The Operational Profile, J.D. Musa, G. Fuoco, N. Irving, B. Juhlin, D. Kropfl, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • The Primary Flight Computer For The Boeing 777 - A Description, A.D. Hills, GEC Review, Vol. 11, No. 1, 1996.
  • The Procurement of Computer-Based Safety Critical Systems - Def (Aust) 5679, Australian Department Of Defence, August 1998.
  • The Psychology Of Everyday Things, D.A. Norman, Basic Books, New York, 1988.
  • The Risks Of Software, Bev Littlewood, Lorenzo Strigini, Scientific American, November 1992, pp 62-75.
  • The Role Of Management In Accident Prevention, Juoko Suokas, In First International Congress On Industrial Engineering And Management, Paris, June 11-13, 1986.
  • The Role of Data in Safety-Related Railway Control Systems, Neil Storey, 19th International System Safety Society Conference, Huntsville, Alabama, 2001.
  • The Science Of Programming, David Gries,Springer Verlag, ISBN 0387964800, 1998.
  • The SHIP Safety Case Approach: A Combination Of System And Software Methods, P.G. Bishop, R.E. Bloomfield, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • The Therac-25 Experience, Ed Miller, In Conference of State Radiation Control Program Directors, 1987.
  • The Tolerability Of Risk From Nuclear Power Stations, Health & Safety Executive, Her Majesty's Stationery Office, ISBN 0-11-886368-1, 1992.
  • The Use Of Self-Checks And Voting In Software Error Detection: An Empirical Study, Nancy G. Leveson, Stephen S. Cha, John C. Knight, T.J. Shimeall, IEEE Transactions On Software Engineering, Vol. 16, No. 4, April 1990.
  • The Vital Coded Processor, G. Guiho, Presentation to the meeting of the IFIP Working Group 10.4, Martinique, 1990.
  • The Way Of Z: Practical Programming With Formal Methods, Jonathan Jacky, Cambridge University Press, ISBN 0-521-55041-6, 1997.
  • The Z Reference Manual, J.M. Spivey, Prentice-Hall International Series in Computer Science, 2nd Edition, 1992.
  • To Engineer Is Human: The Role Of Failure In Successful Design, Henry Petroski, St. Martin's Press, New York, ISBN 0-33-340673-7, 1985.
  • Towards A Formal Semantics Of Parnas Tables, R. Janicki, In Proceedings of 17th International Conference on Software Engineering, Seattle, Washington, April 1995.
  • Towards Integrated Safety Analysis And Design, P. Fenelon, J.A. McDermid, M. Nicholson, D.J. Pumfrey, ACM Applied Computing Review, Aug. 1994.
  • Train Door Emergency Egress and Access and Emergency Evacuation Procedures - Safety Report, ITSRR, Transport Safety Regulation Division, ISBN 0975691317, November 2004.
  • Trust Me, I'm Your Software, Evan I. Schwartz, Discover Magazine, May 1996.
  • Tutorial: Software Testing And Validation Techniques, E. Miller, W. Howden, IEEE Press, 1981.
Back to Top

U

  • Ultrareliability, J.D. Musa, In Encyclopedia of Software Engineering, John Wiley & Sons, 1994, pp 1379-1380.
  • Understanding Software Testing, N. Parrington, M. Roper, Chichester, Ellis Horwood Limited, 1989.
  • Understanding Z: A Specification Language And Its Formal Semantics, J.M. Spivey, New York: Cambridge University Press, 1988.
  • Unmanned Systems Safety Guide For DOD Acquisition (Preliminary - Version 0.9), DOD, September 2006.
  • Use Of Cause-Consequence Charts In Practical Systems Analysis, Dan Nielson, In Theoretical and Applied Aspects of System Reliability and Safety Assessment, SIAM, Philadelphia, 1975, pp 849-880.
  • Using Commercial Off The Shelf Software For System Development, Mark Vigder, W. Morven Gentleman, Charles Gauthier, Institute for Information Technology, National Research Council Canada, 3 April 1995.
Back to Top

V

  • Validating The Safety Of Embedded Real-Time Control Systems Using FMEA, Peter L. Goddard, In Proceedings Annual Reliability and Maintainability Symposium, 1993, pp 227-230.
  • Validation Of Ultra-High Dependability For Software-Based Systems, Bev Littlewood, Lorenzo Strigini, CACM, Vol. 36, No. 11, November 1993, pp 69-80.
  • Verification Of Hardware/Software Integration Through Sneak Analysis, Boeing Corporation.
  • Verification Of Safety, Nancy G. Leveson, In Proceedings Third International Workshop On Achieving Safe Real Time Systems, Queen's College, Cambridge, U.K., September 1983.
  • Verifying Properties Of Ada Designs Using Colored Petri Nets, William W. McLendon, Jr., Software Engineer, Draper Laboratory, Cambridge, MA 02139, Richard F. Vidale, Professor, Boston University, MA 02215.
Back to Top

W

  • We Almost Lost Detroit, J.G. Fuller, In The Silent Bomb, Edited by Peter Faulkner, Random House, New York, 1977, pp 46-59.
  • What Went Wrong?: Case Histories From Process Plant Disasters, Edited by Trevor A. Kletz, Gulf Publishing Company, Houston, ISBN 0-87201919-5, 1988.
  • Where To Place Trust, Inside Risks, Peter C. Neumann, CACM, Vol. 35, No. 10, October 1992.
  • Wise After The Event, Trevor A. Kletz, Control and Instrumentation, Vol. 20, No. 10, October 1988, pp 57-59.
Back to Top