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

 

Don't Miss Out !!!

Remember to check out the news.

Check out our newsletters as well.

Check out our finder's fees. It's easier and more lucrative than you think.

Also, scheduled courses!


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


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 Development Manual, EUROCONTROL, October 13, 2006.
  • 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. HCRQ HAS A COPY
  • Safety Engineering for Defence Systems - Standard - DEF(AUST)5679 Issue 2, October 14, 2008.
  • 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 (SRMGSA), 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 Considerations In Airborne Systems And Equipment Certification - DO-178C, RTCA, December 13, 2011.
  • Software Development Failures, Kweku Ewusi-Mensah, MIT Press, ISBN 0262050722, September 2003.
  • Softare Development Tools for Safety-Critical, Real-Time Systems Handbook - FAA AR-06/35, Federal Aviation Administration, June 2007.
  • Software Engineering: Guidelines for the Application of ISO 9001:2000 to Computer Software, International Organization for Standardization, 2004.
  • Software Engineering Guides (ESA), Edited by Jon Fairclough, ISBN 0-13-449281-1, Prentice-Hall, 1995.
  • 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 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 ATM Functional Systems - ESARR 6, EUROCONTROL, May 6, 2010.
  • 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 Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems - DO-278A, RTCA, December 13, 2011.
  • 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 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.
  • Software Tool Qualification Considerations - DO-330, RTCA, December 13, 2011.
  • 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 Best Practices for System Safety Program Development and Execution - GEIA-STD-0010, October 2008.
  • 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 in Programmable Components - UL 1998, Underwriters Limited, May 29, 1998.
  • 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, 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.
  • Static Analysis of Software: The Abstract Interpretation, Edited by Jean-Louis Boulanger, Wiley-iSTE, ISBN-13 9781848213203, 2012.
  • 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.
  • Supporting Information for DO-178C and DO-278A - DO-248C, RTCA, December 13, 2011.
  • 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