embedded Design: Wo liegen die Haupteinsatzgebiete von Ada?
Kanig: Prinzipiell gilt Ada als ‚general-purpose‘-Programmiersprache und kommt also in allen Bereichen zum Einsatz. So haben wir bei AdaCore die graphische Entwicklungsumgebung GPS für Programmierer in Ada entwickelt. Die eben genannten Funktionen machen die Sprache aber vor allem da unentbehrlich, wo Fehlervermeidung und Wartbarkeit sehr wichtig sind. So hat sich Ada vor allem in der Luft- und Raumfahrt, bei Eisenbahnsystemen oder bei Bank- und Trading-Software durchgesetzt. In diesen Bereichen gilt, besonders Softwarefehler zu vermeiden. Weniger offensichtlich ist, dass solche Software oft auch extrem langlebig sein muss. Anwender setzen Produkte 20 Jahre oder länger ein. Daher nimmt die Wartbarkeit einen sehr hohen Stellenwert ein.
embedded Design: Welches sind die wichtigsten Erweiterungen der Version Ada 2012?
Kanig: Die wichtigste Neuerung von Ada 2012 ist die Möglichkeit zusätzliche Überprüfungen in einem Programm vorzunehmen. Dafür existieren zwei Möglichkeiten: Die so genannten Contracts erlauben Programmierern für jede Funktion eines Programms zu beschreiben, unter welchen Bedingungen es erlaubt ist, diese Funktion aufzurufen (Vorbedingung), und was diese Funktion bewerkstelligt (Nachbedingung). Die zweite Möglichkeit bieten Invarianten: Sie gestatten Programmierern, Eigenschaften von Variablen des Programms zu beschreiben, die über die bereits in Ada existierenden Checks hinausgehen. Eine weitere Weiterentwicklung ist die verbesserte Unterstützung von Multiprozessor-Systemen. Und schließlich wurde für die seit dem Jahr 2005 bestehenden Container auch eine leichter zu lesende und schreibende Iterator-Syntax eingeführt, wie sie auch andere Programmiersprachen einsetzen.
embedded Design: Eines Ihrer Kernprodukte ist die Entwicklungsumgebung GNAT Pro. Wie ist sie konzipiert?
Kanig: Zusätzlich zu Compiler und Debugger bietet GNAT Pro u.a. die graphische Entwicklungsumgebung GPS, GNATmetric zur Erfassung von Quellcode-Metriken, das Framework GNATtest für Unit-Tests, GNATstack zur statischen Analyse des Stacks, einen Dokumentationsgenerator und Tools zur Ermittlung von Code Coverage und Profiling. Das Besondere der Produkte ist das Geschäftsmodell: Unsere gesamte Software ist Open Source, hat weder Gültigkeitsbeschränkung noch Registrierungsschlüssel. GNAT Pro wird als Abonnement angeboten. Zusätzlich zur Software erhalten die Anwender auch Support.
