AdaCore stellt GNAT Pro 7.2 für Android vor

Paris, ##. Monat 2014 – Das neue Release 7.2 von AdaCores Entwicklungsumgebung GNAT Pro erweitert die Unterstützung für ARM-Plattformen um Android. Die Lösung ermöglicht unter anderem die Erstellung von Anwendungen mit gemischtem Ada- und Java-Code. Außerdem wird Eclipse unterstützt, so dass Entwickler flexibler agieren können.

AdaCore hat das neueste Release der neuen Ada-Cross-Entwicklungsumgebung GNAT Pro 7.2 für ARM-Cortex-Prozessoren unter Android vorgestellt. Dieses GNAT-Pro-Produkt läuft unter Windows und Linux und umfasst eine komplette Ada-Toolsuite für die Entwicklung und Pflege von Android-Anwendungen. Die Lösung verwendet eine Mischung von Ada und Java, so dass Entwickler die Vorteile von Ada beim Software-Engineering nutzen und gleichzeitig auf die Java-Bibliotheken und -Dienstleistungen, die auf der Android-Plattform zur Verfügung stehen, zurückgreifen können. Anwendungen haben die Wahl, sowohl ausschließlich in Ada als auch in einer Kombination von Ada und anderen nativen Sprachen zu schreiben. Unterstützt werden dabei Android 2.3 und höher auf Cortex A8 und höher.

Ein aktueller Trend ist die Verwendung von standardisierten tragbaren Geräten in kritischen Umgebungen, etwa beim Militär oder im industriellen Prozessmanagement. In diesen Systemen werden das Original-Betriebssystem und die Consumer-orientierten Anwendungen durch angepasste Versionen und spezifische Software ersetzt, die proprietäre oder vertrauliche Algorithmen verwenden. GNAT Pro für Android bietet Entwicklern dafür eine attraktive Lösung durch die Generierung von hocheffizientem nativen ARM-Code für die Algorithmen sowie durch den Zugang zur allgemeinen Android-Grafik-Bibliothek für die Benutzeroberfläche. Mit der starken Typisierung von Ada und durch Compiler-Checks können GNAT Pro und Analysewerkzeuge wie CodePeer viele Fehler und Sicherheitslücken schon in frühen Entwicklungsphasen erkennen. Dies ist besonders wichtig in Embedded-Systemen, bei denen Updates oder gar Rückrufe teuer oder nicht praktikabel sind.

Mit über 120 neuen Funktionen implementiert die neueste Toolsuite für GNAT Pro standardmäßig den Sprachstandard Ada 2012. Dazu gehören unter anderem:

  • Vertragsbasierte Programmierung mit Vorbedingungen, Nachbedingungen und Typen-Invarianten
  • Erweiterte Multiprozessor-Unterstützung
  • Verbesserte Integration von Parallelität und OOP
  • Zusätzliche sprachdefinierte Bibliotheken mit Vektor- beziehungsweise Matrix-Packages

GNAT Pro 7.2 umfasst eine neue Version von GNATbench, dem AdaCore-Plug-in für die Erweiterung von Eclipse mit umfangreicher Unterstützung für Ada. Neben allgemeinen Verbesserungen enthält die neue Version ein spezielles Plug-in für die End-to-End-Unterstützung gemischter Ada-Java-Entwicklung unter Android. Mit einem Wizard, der alle Setup-Details eines Projekts steuert, müssen die Benutzer nur die Ada-Packages spezifizieren, die aus der Java-Anwendung aufgerufen werden. Beim Building des Projekts wird dann automatisch AJIS, das Ada-Java-Schnittstellensystem, aufgerufen; damit wird der gesamte Java-Code generiert, der für den Aufruf des Ada-Code erforderlich ist, Der Ada-Code wird in eine gemeinsam genutzte Bibliothek kompiliert, auf die von der Java-Seite verwiesen wird, und die den Code im Java-Projekt verfügbar macht. Alle Änderungen am Set der Ada Interface Packages oder am Ada-Code in den Packages werden automatisch erkannt und vom Builder zurückgewiesen. Der generierte Java-Code setzt auf hoher Abstraktionsebene an und vermeidet die fehleranfällige direkte Verwendung von JNI. Außerdem sind die Ada- und Java-Codes vollständig in die IDE integriert, so dass damit beispielsweise die Navigation innerhalb des Editors möglich ist. Schließlich wird das Debuggen des Ada-Codes über die normale GUI von Eclipse beziehungsweise über die GUI des CDT Debuggers unterstützt.

"Mobile Geräte sind zu einem normalen Bestandteil von modernen Software-intensiven Systemen geworden, sowohl beim militärischen als auch im zivilen Einsatz", sagt Cyrille Comar, Managing Director bei AdaCore. "Größte Zuverlässigkeit und Sicherheit sind für viele dieser Systeme von entscheidender Bedeutung; mit der neuen Version von GNAT Pro können Entwickler jetzt alle Vorteile von Ada 2012 nutzen, um diese Anforderungen zu erfüllen."

Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: http://www.adacore.com/customers/

Sowohl Ada als auch GNAT Pro werden immer häufiger im High-integrity-Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor.

AdaCore 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
Romana Redtenbacher
romana.redtenbacher@pr-com.de
www.pr-com.de
Tel. +49-89-59997-761