Ada Deutschland informiert seit der Entwicklung von Ada 83 über diese Programmiersprache, ihre Weiterentwicklung über Ada 95, Ada 2005 und Ada 2012 und die zugrunde liegenden Konzepte zur Entwicklung sicherer und zuverlässiger Software-Systeme.
Software-Systeme haben sich im Laufe der Zeit funktional massiv erweitert und vergrößert. Die Fehlerproblematik, insbesondere bei syntaktisch und semantisch nicht vollständig definierten Sprachen, kann durch Fehler vermeidende Sprachen wie Ada deutlich besser beherrscht werden.
Ada ist für sicherheitskritische Systemen immer noch erste Wahl, allerdings ist es um sie nach dem großen Hype der 80er Jahre ruhiger geworden. Ada 2012 hat mit der formalen Spezifikation nach Spark neue Impulse für die Zuverlässigkeit von Software gesetzt.
Der Fokus von Ada Deutschland hat sich dennoch gewandelt, IoT mit dem Problem der Cyber Security setzt neue Anforderungen, die neben der Implementierung insbesondere den Entwurf und die Architektur in den Fokus setzen.
Ada Deutschland informiert über Ada und die zugrunde liegenden Konzepte zur Entwicklung sicherer und zuverlässiger Software-haltiger Systeme durch eigene
- Tagungen
- Workshops
- Online Medien
- durch Verweise auf Tagungen, Standards und Werkzeuge
- und durch einen Rückblick auf die Ada-Sprachentwicklung bis heute.
Wir danken AdaCore für die finanzielle Unterstützung in den letzten Jahren.
