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:
Reliability & System Dependability:
Safety Critical Systems:
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:
News
Groups:
Philip Koopman: koopman@cmu.edu