GNAT-Pro-Entwicklungstools für BlackBerry QNX
Zu den Softwaretools der GNAT-Pro-Reihe von AdaCore, die BlackBerry QNX unterstützen, zählen GNAT Pro Assurance, GNAT Pro Enterprise und GNAT Pro Developer. Durch den Support für QNX baut AdaCore die breite Palette an eingebetteten Plattformen für die Nutzer der Programmiersprache Ada weiter aus. Gleichzeitig steht C-Entwicklern für QNX ein einfacher Migrationspfad zu den Programmiersprachen Ada und SPARK offen. Im ersten Schritt zielt GNAT Pro für QNX auf die Prozessoren der ARM-Cortex-A-Familie. Geplant ist, dass das Produkt künftig sämtliche Prozessorarchitekturen unterstützt. GNAT Pro für QNX kommt mit einer kompletten Ada-Laufzeitbibliothek für alle Sprachversionen von Ada 83 bis Ada 2012 und bringt erste Implementierungen neuer Features mit, die voraussichtlich im nächsten Ada-Standard enthalten sein werden. Das Produkt umfasst das GNAT Programming Studio IDE und das Eclipse-Plugin GNATbench, mehrere statische Analyse-Tools für die Code-Metrik-Berechnung und Code-Verifizierung sowie das Ada-Unit-Test-Tool GNATtest. Zudem ist das SPARK Discovery Toolset enthalten, mit dem User Erfahrungen zu formalen Methoden im Allgemeinen und zu SPARK im Speziellen sammeln können.
