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.
​

• Validating The Safety Of Embedded Real-Time Control Systems Using FMEA, Peter L. Goddard, In Proceedings Annual Reliability and Maintainability Symposium, 1993, pp 227-230.
• Validation Of Ultra-High Dependability For Software-Based Systems, Bev Littlewood, Lorenzo Strigini, CACM, Vol. 36, No. 11, November 1993, pp 69-80.
• Verification Of Hardware/Software Integration Through Sneak Analysis, Boeing Corporation.
• Verification Of Safety, Nancy G. Leveson, In Proceedings Third International Workshop On Achieving Safe Real Time Systems, Queen's College, Cambridge, U.K., September 1983.
• Verifying Properties Of Ada Designs Using Colored Petri Nets, William W. McLendon, Jr., Software Engineer, Draper Laboratory, Cambridge, MA 02139, Richard F. Vidale, Professor, Boston University, MA 02215.