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

V

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