AdaCore präsentiert GNAT Pro Safety-Critical für ARM-Prozessoren

(openPR) New York, Paris, Nürnberg, 26. Februar 2013 – Embedded World 2013 – AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, hat GNAT Pro Safety-Critical für ARM Cortex Mikroprozessoren ausgeliefert. Das neue Produkt für Bare Boards enthält eine vollständige Entwicklungsumgebung für Ada, die auf sicherheitskritischen Systemen, sowie Systemen die mit geringem Speicherbedarf auskommen müssen, läuft.

ARM-Prozessoren kommen auch im Verteidigungssektor sowie in der Luft- und Raumfahrt immer öfter zum Einsatz, was vor allem am sehr guten Supportangebot sowie an den geringen Kosten und Energieverbrauch dieser Prozessoren liegt.

Das ARM-Produkt von AdaCore fügt sich nahtlos in die Reihe der GNAT Pro Safety-Critical Produkte für PowerPC und LEON Boards ein, so dass eine Portabilität mit minimalem Aufwand gewährleistet ist. GNAT Pro Safety-Critical für ARM braucht kein Betriebssystem, um zu funktionieren, und kann daher auch auf Boards mit wenig Speicher eingesetzt werden. Es enthält die folgenden Features:

• Umfangreiche Unterstützung von Ada 2012 (unter anderem die neuen Features für “Programming by Contract”) und allen vorherigen Ada-Versionen; Support für das Ravenscar-Profil zur parallelen Programmierung

• Eine Anzahl von Werkzeugen der statischen Analyse

- GNATstack zur Stack-Analyse

- GNATmetrics zur Erstellung von Komplexitätsmetriken

- GNATcheck zur Überprüfung von Coding Standards

• GNATtest zur Erzeugung eines Unittest-Gerüsts

• GDB Debugger

• Die grafische Entwicklungsumgebung GPS sowie ein Eclipse Plug-In

GNAT Pro Safety-Critical für Bare Board ARM enthält außerdem eine hochkonfigurierbare Laufzeitbibliothek und stellt Hochzuverlässigkeitsprofile bereit, die besonders im sicherheitskritischen Bereich relevant sind. Insbesondere das Zero-Footprint-Profil (ZFP) erlaubt es, Ada-Programme zu schreiben, die gar keine Laufzeitfunktionen benötigen, und dadurch den Speicherbedarf minimieren.

„Dieses neue Angebot zeigt, dass wir unsere sicherheitsorientierten Werkzeuge ständig erweitern und diese auf noch mehr Architekturen einsetzbar werden“, sagt Cyrille Comar, Managing Director bei AdaCore. „Dies gibt unseren Kunden Zugang zu den vielen Plattformen, die auch im nicht-kritischen Markt zum Einsatz kommen.“


Diese Presseinformation kann auch unter www.pr-com.de abgerufen werden.