Suche   Â
AdaCore präsentiert auf der embedded world neue Tools für die Programmiersprache Ada
ID: 1006165
AdaCore auf der embedded world 2014: Halle 5, Stand 5-348
Paris, 16. Januar 2014 – Auf der embedded world 2014, die vom 25. bis 27. Februar 2014 in Nürnberg stattfindet, zeigt AdaCore aktuelle Werkzeuge für die Programmiersprache Ada.
(firmenpresse) - Die embedded world ist mit rund 900 Ausstellern und mehr als 22.000 Besuchern (2013) die weltgrößte Fachmesse ihrer Art und die zentrale Veranstaltung für Embedded-Technologien in den Bereichen Hardware, Software, Tools und Dienstleistungen.
AdaCore ist auch in diesem Jahr wieder mit einem eigenen Stand auf der embedded world vertreten. Der französische Softwarehersteller präsentiert in Halle 5, Stand 5-348, Software-Werkzeuge, mit denen Unternehmen Anwendungen entwickeln können, bei denen es auf höchste Sicherheit und Zuverlässigkeit ankommt. Entsprechende Lösungen werden unter anderem in der Luft- und Raumfahrt, Eisenbahnsystemen oder in der Medizin eingesetzt.
Im Mittelpunkt des Messeauftritts von AdaCore auf der embedded world 2014 stehen die neuen Releases von GNAT Pro, der Open-Source-Entwicklungsumgebung für Ada, und von CodePeer. AdaCore stellt hier unter anderem die folgenden Features und Lösungen vor:
* GNAT Pro 7.2 Release – das neue Release der GNAT Pro Toolsuite umfasst mehr als 120 neue Funktionen, darunter den standardmäßig aktivierten Ada-2012-Modus, viele neue Warnfunktionen und verbesserte Diagnose-Möglichkeiten, eine optimierte Code-Generierung, Unterstützung für symbolischen Traceback in Shared Libraries sowie ein verbessertes Exception Handling Cross Ada/C++. Außerdem bietet die neue Version eine breite Unterstützung für Android und Linux unter der ARM-Architektur.
* GNATdashboard – ein neues visuelles Werkzeug, das zahlreiche Analyse-Tools von AdaCore in einer einheitlichen Benutzeroberfläche zusammenfasst.
* Das neue Release 2.3 des Source-Code-Analysewerkzeugs CodePeer
* Technisches Update des Coverage-Analyse-Werkzeugs GNATcoverage
* Präsentation von SPARK 2014, des Sprach-Subsets von Ada für hochkritische Anwendungen und formale Verifikation
Dieser Newsflash kann auch unter www.pr-com.de/adacore abgerufen werden.
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
Ãœ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
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: 16.01.2014 - 14:21 Uhr
Sprache: Deutsch
News-ID 1006165
Anzahl Zeichen: 2250
Kontakt-Informationen:
Ansprechpartner: PR-COM - Romana Redtenbacher
Kategorie:
Computer & Technik
Meldungsart: Produktankündigung
Versandart: Veröffentlichung
Freigabedatum: 16.01.2014
Diese Pressemitteilung wurde bisher 0 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore präsentiert auf der embedded world neue Tools für die Programmiersprache Ada"
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).