Kunden-News

15. Mai 2018

AdaCore veröffentlicht 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-Veri­fizierung 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.

„Das QNX-Betriebssystem von BlackBerry ist die grundlegende Software für sicherheitskritische Systeme, wie sie unter anderem in der Automotive-Branche, der industriellen Automatisierung, der Medizin, der Landesverteidigung oder im Eisenbahnwesen zum Einsatz kommen“, sagt Grant Courville, Head of Product Management bei BlackBerry QNX. „Wir freuen uns sehr über die Partnerschaft mit AdaCore und die Integration der GNAT-Pro-Software. Entwickler, die Unterstützung für Ada benötigen, können so von der Expertise und Technologie beider Unternehmen profitieren, wenn sie verlässliche und sichere QNX-basierte Produkte herstellen.“

„In den letzten Jahren haben wir ein steigendes Interesse an Ada aus Branchen jenseits der Luftfahrt und Verteidigung gesehen, die die traditionellen Nischen der Programmiersprache darstellten“, so Quentin Ochem, Lead of Business Development bei AdaCore. „Wir wollen nun unsere Kräfte mit einem der führenden Player auf dem Gebiet der sicherheitskritischen eingebetteten Software verbinden. Unsere gemeinsame Lösung mit BlackBerry QNX wird Entwicklern dabei helfen, Systeme mit Verlässlichkeit und Sicherheit auf höchsten Niveau zu gestalten.“

Über AdaCore

AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers.

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

Pressekontakte

AdaCore
Jamie Ayre
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803