Select Language

AdaCore Releases GNAT Pro Safety-Critical for ARM Processors

Ada now available for popular bareboard platform

NEW YORK, PARIS and NUREMBERG, Germany, February 27, 2013 – Embedded World Conference – AdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.

ARM processors are becoming more and more prevalent in the aerospace, defense, and transportation industries. This is due in large part to the vibrant support ecosystem that ARM enjoys, and to the growing popularity of these low-cost, low-power microprocessors.

The ARM platform adds to the GNAT Pro Safety-Critical product offering, which is already available for PowerPC and LEON boards, allowing easy portability among all three platforms. The technology does not require any underlying operating system, so it can be deployed on very small memory boards. The tool suite includes the following:
• Support for Ada 2012 (including the important “contract-based programming” features that make it easier to reflect the program’s intent) and all earlier versions of the Ada language
• Support for the Ravenscar tasking profile
• A set of static analysis tools
- GNATstack stack analysis tool
- GNATmetrics complexity metrics tool
- GNATcheck coding standard verification tool
• The GNATtest unit test harness generator
• The GDB visual debugger
• A native Integrated Development Environment (IDE) as well as an Eclipse plug-in

GNAT Pro Safety-Critical for bareboard ARM supplies a fully configurable / customizable run-time library and implements High-Integrity profiles that are especially relevant to safety-critical systems. The Zero Footprint Profile (ZFP) in particular defines an Ada subset that does not require any run-time routines, thus reducing the memory footprint to user code only.

“This new offering shows our commitment to providing a complete safety-oriented development toolset on a large range of targets,” stated Cyrille Comar, Managing Director of AdaCore. “This allows customers to benefit from the richness of the hardware platforms used by the wider market beyond safety-critical systems”

About GNAT Pro Safety-Critical
GNAT Pro Safety-Critical is a complete development environment for applications that need to meet the highest levels of safety-related standards found in industries such as aeronautics, space, railway, defense and medical systems. The product consists of the full GNAT Pro environment enhanced with a suite of tools — specifically GNATcheck, GNATmetric, and GNATstack — and specialized run-time libraries designed for usage in a safety certification context.

Owing to both the product’s technical features and the Ada language’s software engineering foundations, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards. In addition to supporting RTCA DO-178B / DO-178C (also known as EUROCAE ED-12B / ED-12C), GNAT Pro Safety-Critical can help reduce the effort in certifying systems against standards such as DEF STAN 00-55 / 00-56 (defense), DO-278 / DO-278A (ground-based systems), CENELEC EN 50128 (rail) and ECSS-E-ST-40C / ECSS-Q-ST-80C (space).  GNAT Pro Safety-Critical has been used to develop systems that have been certified to DO-178B Level A.

Pricing and Availability
GNAT Pro Safety-Critical for ARM processors is immediately available. Please contact AdaCore (info@adacore.com) for information on pricing and supported configurations.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com
http://twitter.com/AdaCoreCompany

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

 

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.


Über GNAT Pro Safety-Critical

GNAT Pro Safety-Critical ist eine vollständige Entwicklungsumgebung für Anwendungen, die die höchsten Sicherheitsanforderungen der Industriestandards in Bereichen wie Luft- und Raumfahrt, Eisenbahn, Verteidigung und Medizintechnik einhalten müssen. Das Produkt enthält die vollständige GNAT Pro Umgebung, sowie eine Reihe von Tools – insbesondere GNATcheck, GNATmetric und GNATstack – und Laufzeitbibliotheken, die auf den Einsatz in sicherheitskritischen Bereichen ausgelegt sind. GNAT Pro unterstützt alle vier Versionen des Ada Sprachstandards: Ada 83, Ada 95, Ada 2005 und Ada 2012. GNAT Pro basiert auf der weitverbreiteten GCC-Technologie und bietet auch einen schnellen sowie umfassenden Support durch Experten.

Ü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/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:

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

PR-COM GmbH
www.pr-com.de