High Integrity Systems

Richtlinien zum Einsatz von Ada in Safety Critical & Secure Systems

• Guide for the use of Ada programming language in high integrity systems
• Guide for the use of Ada ravenscar profile in high integrity systems

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