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

 

HCRQ Welcomes You !!!

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

Please contact Charles Walken if you have additions or changes.
 

Reference Material

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


F

  • FAA Occupational Safety and Health Program - 3900.19B, Federal Aviation Administration, March 8, 2006.
  • 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.