Robust Embedded Systems:
Internet Resources

Overview | Topic Areas
Tutorials | Books & Standards | Papers | Software | Data | Internet Resources

• Ariane 5 Failure report
  This documents the role of a system robustness problem in causing the loss of Ariane 5 flight 501 (the inaugural flight of an unmanned heavy lift rocket).
  A personal interpretation of what this means to system robustness is available. (safety, dependability, software, design; affordability)

Other Resource Guides:

Web Sites:

Software Robustness:

• Ballista: Off-The-Shelf Software Robustness Hardening & Evaluation at Carnegie Mellon
• Fuzz random OS testing at U. Wisconsin
• Ariane 5 Failure report (an example of what happens when software isn't robust in the face of exceptional conditions)
• SEI dependable software ftp site.

Software Quality & Testing:

• comp.software.testing FAQ
• SR/Institute's Software Quality HotList
• NIST: High Integrity Software System Assurance (HISSA)
  • CHISSA Resource Center: Reference Information for High Integrity Software (an on-line archive)
  • On-line HISSA Publications including software error analysis
• DoD Data & Analysis Center for Software (DACS)
• Reliable Software Technologies, Inc. (also their on-line publications , and an extensive hot list)
• IEEE Computer Society Tech. Comm. on SW Eng: Software Reliability Engineering (SRE)
• Software Testing Links, CSST Technologies

Reliability & System Dependability:

• Reliability Analysis Center and comprehensive links page
  • Software/Hardware Reliability - Bridging the Communication Gap
• National Information Center for Reliability Engineering
• Espirit Predictably Dependable Computing Systems

Safety Critical Systems:

• Safety-critical systems -- an extensive listing of resources at Oxford.
• Nasa/Goddard System Safety
• Software Safety at U. Washington
• The University of Bristol maintains a list of safety critical resources.
• European Network of Clubs for REliability and Safety of Software (ENCRESS)
• A list of the twenty most popular software safety standards

Books & Journals:

• Safety-Critical Computer Systems,Neil Storey, Addison-Wesley, 1996. ISBN: 0-201-42787-7
  (An industrial embedded systems view of safety critical HW/SW design.)
• Safeware: System Safety and Computers, Nancy Leveson, Addison- Wesley, 1995, ISBN 0-201-11972-2.
  (A software safety point of view; good high-level treatment, but not as strong on nuts-and-bolts as Storey's book.)

Conferences:

• Fault Tolerant Computing Symposium (FTCS-27)

News Groups:

• comp.software.testing, its FAQ and an archive
• comp.risks and its archive

Philip Koopman: koopman@cmu.edu