Systems
Resources For Specific Categories of Computing Systems

Safety-Critical Systems

Real-Time and Embedded Systems

• WWW Virtual Lib: Safety-Critical Systems - Resources for safety-critical systems.
• Advances in Safety-Critical Systems -- A detailed paper looking at the development of safety-critical systems.  Provided by the Computing Department of Lancaster University, UK.

• High Performance Computing (HPC) - DoD High Performance Computing resources.
• High Performance Computing Modernization Program -- DoD site.

• Rainbow Library -- Trusted computer systems resources.  Guides, evaluation criteria, etc.
• TTAP - Trust Technology Assessment Program
• TPEP - Trusted Product Evaluation Program