SYSTEM SAFETY, SOFTWARE SAFETY,
HUMAN FACTORS ENGINEERING,
RELIABILITY, AVAILABILITY, MAINTAINABILITY
REFERENCE MATERIAL


A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Click here to see our scheduled system safety and software safety courses.
​
  • FAA Occupational Safety and Health Program - 3900.19B, Federal Aviation Administration, March 8, 2006.
  • FAA ​Safety Risk Management Guidance For System Acquisitions (SRMGSA), Version 2.1, U.S. DOT, Federal Aviation Administration, June 2018.
  • FAA System Safety Handbook: Practices and Guidelines for Conducting System Safety Engineering and Management, Federal Aviation Administration, 30 December 2000
  • 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 Modes, Effects and Criticality Analysis (FMECA) for Command, Control, Communications, Computer, Intelligence, Surveillance, and Reconnaissance (C4ISR) Facilities - TM 5-698-4, Department of the Army, September 29, 2006.
  • 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 Tree Quality Attributes, HCRQ, June 2010.
  • 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 Supplement to DO-178C and DO-278A - DO-333, RTCA, December 13, 2011.
  • 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.
  • Fuel Tank Ignition Source Prevention Guidelines - AC 25.981-1C, Federal Aviation Administration, September 19, 2008.
  • 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, 2010.
  • 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, 2010.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 3: Software Requirements - IEC 61508-3, International Electrotechnical Commission, Geneva, Switzerland, 2010.
  • Functional Safety Of Electrical/Electronic/ Programmable Electronic Safety-Related Systems - Part 4: Definitions and Abbreviations - IEC 61508-4, International Electrotechnical Commission, Geneva, Switzerland, 2010.
  • 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, 2010.
  • 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, 2010.
  • 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, 2010.
  • 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.