Kunden-News

26. Feb 2014

AdaCores Entwicklungsumgebung GNAT Pro bietet Unterstützung von ARM-Systemen unter Linux

Diese neueste Version der GNAT Pro Toolsuite umfasst mehr als 120 neue Funktionen, implementiert den Ada-2012-Sprachstandard als Default und erweitert als Ergänzung der GNAT-Pro-Produkte die Abdeckung von ARM-Systemen um VxWorks 6 ARM und Bare-Board-ARM. Zu den neuen Sprachfunktionen von Ada 2012 zählen:

  • Vertragsbasierte Programmierung, mit Kontrolle von Vorbedingungen, Nachbedingungen und invarianten Typen;
     
  • In-Out-Parameter für Funktionen;
     
  • Erweiterte Unterstützung für Multiprozessor-Systeme;
     
  • Verbesserte Integration von Nebenläufigkeit und OOP – Re-Queueing für synchronisierte Schnittstellen;
     
  • Zusätzliche sprachdefinierte Bibliotheken – Unterstützung von Vektor- und Matrix-Bibliotheken.

GNAT Pro 7.2 beinhaltet die integrierte Entwicklungsumgebung GPS 6.0 (GNAT Programming Studio), die Entwicklern mehr Raum für das Editieren bietet, sowie eine Reihe von Design-Verbesserungen, die programmrelevante Informationen besser zugänglich machen. Das überarbeitete Erscheinungsbild wird durch eine neue relationale Datenbank der GPS-Engine unterstützt, so dass das Navigieren im Code effizienter wird. GNAT Pro 7.2 enthält auch eine neue Version 2.8 des Eclipse-Plug-ins GNATbench; sie bietet eine neue Engine für die Source-Navigation und das statische Analyse-Tool CodePeer.

"Sowohl Ada als auch ARM bieten eine Kombination von industriellem Reifegrad und innovativer Anpassungsfähigkeit an ihre jeweiligen Ökosysteme", sagt Cyrille Comar, Managing Director bei AdaCore. "ARM wendet sich an das gesamte Spektrum der sparsamen Embedded-Prozessoren, vom kleinsten Mikrocontroller bis zum stärksten Multicore-System, während Ada dem steigenden Bedarf an sicheren Programmiertechniken gerecht wird. Mit der nun verfügbaren umfangreichen ARM-Unterstützung in der aktuellen Version von GNAT Pro ist es jetzt möglich, beides zu kombinieren."

 

Ü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: www.adacore.com/home/company/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