Jump to navigation
Startseite
Ada Deutschland

Sie sind hier

Ada in Deutschland › Ada Ressourcen ›

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
  • Ada in Deutschland
    • Aktuelles
    • Tagungen und Workshops
    • Ada Projekte
    • Ada Ressourcen
      • Ada lernen
      • High Integrity Systems
      • Ada und Software Engineering Experten
      • Werkzeuge
    • Ada Worldwide
    • Ada Historie
  • GI Fachgruppe Ada
  • Förderverein Ada Deutschland
  • Kontakt
  • Impressum & Datenschutz

Die Arbeit von Ada Deutschland wird im Jahr 2018 realisiert mit der freundlichen Unterstützung von      
Sponsor: ETAS
Sponsor: AdaCore
Sponsor: Karlsruhe Institute of Technology