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.
​
  • 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.
  • Defence Aviation Safety Program Manual - Australian Air Publication 7001.048(AM1), Australian Department Of Defence, September 4, 2012.
  • 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.