High Integrity Systems

Richtlinien zum Einsatz von Ada in Safety Critical & Secure Systems

• Guide for the use of Ada ravenscar profile in high integrity systems (iso.org 2005)
• Guide for the use of the Ada Ravenscar Profile in high integrity systems (sigada.org 2003)

Secure Ada-Subsets

• Spark Ada

Weitere Unterlagen

• Qualitätsmerkmal Technische Sicherheit - Eine Denkschrift des Vereins Deutscher Ingenieure (PDF, 1.17MB)

Links

• Formal Methods
• Safety Critical Systems
• Common Criteria - The Standard For Information Security
• Gemeinsame Kriterien für die Prüfung und Bewertung der Sicherheit von Informationstechnik