Reference Material
System Safety, Software Safety, Human Factors Engineering, Reliability, Availability, Maintainability
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.
- Planning, Developing and Managing an Effective Reliability and Maintainability Program - NASA-STD-8729.1, December 1998.
- 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
