AdaCores Entwicklungsumgebung GNAT Pro bietet Unterstützung von ARM-Systemen unter Linux
Paris und Nürnberg, 26. Februar 2014 – Auf der Embedded World, die vom 25. bis 27. Februar in Nürnberg stattfindet, hat AdaCore die neueste Version seiner Cross-Development-Umgebung GNAT Pro 7.2 für ARM-Prozessoren unter Linux präsentiert. Die Lösung GNAT Pro for ARM bietet eine komplette Ada-Entwicklungsumgebung für Embedded-Systeme, die die Flexibilität und Services von Linux benötigen. Entwickler dieser Systeme können nun die Vorteile der Ada-Sprache beim Software Engineering, wie Zuverlässigkeit, Wartbarkeit und Portabilität, nutzen.
* 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."
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
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
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-761
Datum: 26.02.2014 - 10:59 Uhr
Sprache: Deutsch
News-ID 1024836
Anzahl Zeichen: 2653
Kontakt-Informationen:
Ansprechpartner: Romana Redtenbacher
Stadt:
Paris
Telefon: +49-89-59997-761
Kategorie:
Computer & Technik
Meldungsart: Unternehmensinformation
Versandart: Veröffentlichung
Freigabedatum: 26.02.2014
Diese Pressemitteilung wurde bisher 449 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCores Entwicklungsumgebung GNAT Pro bietet Unterstützung von ARM-Systemen unter Linux"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
TCPOS zieht erfolgreiches Resümee der EuroShop ...
Das Fazit von Dirk Schwindling, Geschäftsführer von TCPOS zur EuroShop lautet: „Wir sind sehr zufrieden mit der Messe und den Fachgesprächen, die wir geführt haben. Es ist deutlich zu spüren, dass Bewegung im Markt ist. Die Top-Themen wie Mobility, Mobile Payment und Multichannel werden von a
eyevis setzt Wachstum fort ...
eyevis, führender Hersteller von Display- und Videowand-Systemen, übernimmt zum 17.02.14 das Geschäft der Teracue AG aus Odelzhausen bei München. Teracue ist führender Hersteller von Hardware- und Software-Produkten für IPTV-Lösungen und Video Networking und wird mit allen Marken-, Namens- un
Janz IT AG mit Partner Citrix auf CeBIT vertreten ...
Dass der Trend zu mobilen Arbeitsformen auch in Zukunft ungebrochen bleibt, ist wohl unbestritten: Smartphones und Tablet-PCs erobern den Unternehmensalltag immer schneller und umfassender. Anwender greifen auch von unterwegs auf Firmen-E-Mails, Business-Apps und Unternehmensinformationen zu. Hier r
CeBIT 2014: KEYMILE zeigt seine Lösungen unter dem neuen Motto „because connectivity matters“ ...
Unter dem neuen Claim „because connectivity matters“ zeigt KEYMILE, einer der führenden Hersteller von Next-Generation-Datenübertragungssystemen, auf der diesjährigen CeBIT in Halle 13, Stand D66, ein umfangreiches Spektrum von Produkten und Lösungen Made in Germany und Switzerland für öff
