Contents

• Contents (this section)
• Reference Links to software/systems safety sites
• General Information about this page

Reference Links to Software/Systems Safety Sites

• Center for Software Reliability
• Computer Related Risks , a book review.
• Safety Critical internet resourse page. A regular gold mine!
• Failure Modes and Effects Analysis (FMEA) (software list) from the Reliability Analysis Center.
• Fault Tolerance as defined by Virginia Tech.
• Fault Tolerance as part of Automatic Control and Computer Architectures as seen by Katholieke Universiteit Leuven.
• Fault Tolerance at SRI and theorm proving. See also Formal methods and dependable systems at SRI.
• Fault Tolerance Idempotence in tightly coupled networks.
• Fault Tolerance, selected references.
• Fault Tolerance, selected WWW links.
• Fault Tolerance and distributed ADA project.
• Fault Tree Analysis (software). See also National Information Center for Reliability Engineering list.
• Feyman's Appendix to the Rogers Commission on the Space Shuttle Challenger Accident
• Formal method of software creation and verification. Another goldmine!
• Formal Methods at NASA Langley.
• Forum on risks ... in computers ....
• Petri Nets Various aspects of Petri Nets.
• Embedded Systems Internet Resources.
• Hazard Analysis Guidelines (DC-9 Users Guide)
• High Integrrity Software System Assurance (HISSA)
• IBM Systems Journal - Software Quality
• IEEE Standards Home Page
• IEE view of Safety Critical Systems
• Institute for Reliability and Risk Analysis
• Lessons Learned databases (NASA).
• NASA Software Independent Verification and Validation
• Risks Digest volume 7, No. 12
• Safety resources
• SR and QA resources.
• Standards references.
• Automation and Process Control references. Related but not the same.
• Real Time Computing Laboratory at Univ. of Michigan.
• Research in Real Time Systems at UNC.
• Real Time Executive for Military Systems
• NASA Software Independent Verification and Validiation Facility.
• NASA/LaRC Office of Safety and Mission Assurance and available documents
• National Center for Reliability Engineering (IEEE).
• Real Time Safety Critical books.
• Reliable Software Technologies
• Reliability Analysis Center
• Reliability and Risk Analysis, book table of contents.
• Reliability Block Diagrams and Reliability Modeling
• Risks Forum Archives (Software Risks)
• Safety Related Systems (IEE code of practice).
• Software Assurance Home Page and software assurance technology center.
• Software Development: People, Process, Technology
• Software Engineering Institute (SEI)
• Software Quality Page
• System Failure Modeling at SAI Corp.

General Information about this page

This page has references useful for software or digital safety critical control systems (e.g., avionics, medical, chemical plant, etc.).

To the master hot list.