Pressearchiv
AdaCore
In der Pressedatenbank finden Sie:
AdaCore
Pressekontakte:
AdaCore
Jamie Ayre
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Frank Bauderer
frank.bauderer@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Über das Unternehmen
Ü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 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
Aktuelle Pressemitteilungen von AdaCore
AdaCore
AdaCore reduziert mit GNATtest den Entwicklungsaufwand in großen Softwareprojekten
Paris, 1. Februar 2012 – AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, hat GNATtest, einen Generator von Unit-Test-Frameworks für Ada, vorgestellt. Mit GNATtest können Unternehmen die Entwicklung und Pflege von umfangreichen Tests in großen Softwareprojekten erheblich vereinfachen.
Die Erstellung und Wartung von Unit-Tests und dem dazugehörigen Framework ist zwar für die Entwicklung von verlässlichen Systemen unerlässlich, sie ist aber gerade für große Projekte umständlich und aufwändig, und bei manueller Au…
AdaCore
AdaCore veröffentlicht Dokumente zur agilen Software-Zertifikation für GNATcheck und GNATcoverage
Paris, 19. Dezember 2011, Certification Together Conference - AdaCore hat ein Paket von Dokumenten für die Zertifizierung der Ada-Entwicklungswerkzeuge GNATcheck und GNATcoverage vorgestellt. Damit lässt sich der Zertifizierungsprozess vereinfachen, beispielsweise für sicherheitskritische Software in der Luftfahrt.
AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat nun Qualifikationsdokumente für zwei Tools vorgestellt: für GNATcheck, ein Werkzeug zur Überprüfung von Codingstandards und Regeln zur Program…
AdaCore
AdaCore beteiligt sich an den Forschungsprojekten OPENCOSS und pSafecer
Paris, 1. Dezember 2011, Certification Together Conference – AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, beteiligt sich an den europäischen Forschungsprojekten OPENCOSS und pSafecer. Beide unterstützen die Komponenten-basierte Entwicklung von sicherheitskritischen Systemen, insbesondere im Bereich agiler Prozesse zur Software-Zertifikation.
AdaCore entwickelt für die europäischen Forschungsprojekte OPENCOSS und pSafecer ein Komponenten-basiertes Verwaltungssystem für die Zertifikation sicherheitskritis…
AdaCore
AdaCore stellt eine neue Version des GNAT Programming Studio vor
Die integrierte Entwicklungsumgebung GPS 5.1 bringt neue C/C++ Features, verbesserte Unterstützung für CodePeer und leistungsstärkeres Editieren von Quellcode
Paris, 5. Oktober 2011, Embedded Systems Conference – AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat die neue Version 5.1 der grafischen integrierten Entwicklungsumgebung GNAT Programming Studio (GPS) angekündigt. Sie wird im Laufe des Oktobers verfügbar sein. GPS 5.1 bietet erweiterte Features zur Unterstützung von C und C++, eine bessere Integ…
AdaCore
Siemens Switzerland wählt AdaCore-Werkzeuge für Eisenbahnprojekt
GNAT Pro wird zur Entwicklung von sicherheitskritischer Software für ein Eisenbahnverkehrsleitsystem eingesetzt
Paris, Zürich, 30. Juni 2011 - AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat heute bekanntgegeben, dass die Mobility Division von Siemens Switzerland Ltd die Entwicklungsumgebung GNAT Pro zusammen mit dem CodePeer Tool zur statischen Analyse einsetzen wird, um die nächste Generation ihres Eisenbahnkontroll- und Informationssystems zu entwickeln.
Der Vertrag mit AdaCore gibt den Softwareent…
AdaCore
Thales nutzt AdaCore-Werkzeuge für das Argos-Satellitenprojekt
GNAT Pro wird auf Hochsicherheitssoftware für das globale Lokalisierungs- und Datenerhebungssystem angewendet
Paris, 3. Mai 2011 - Thales Airborne Systems verwendet zur Entwicklung der On-Board-Software für die Instrumente der nächsten Generation des Argos-Satellitenprojektes die GNAT Pro High-Integrity Edition (1) von AdaCore. Die GNAT Pro High-Integrity Edition, die AdaCores Entwicklungsumgebung und die dazugehörigen Services enthält, richtet sich an Ada-Systeme, die den höchsten Sicherheitsstandards entsprechen sollen.
Argos ist ein sate…
Sie lesen gerade: AdaCore Presse – Pressemitteilung