Pressemitteilungen von AdaCore

AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für Mission-Critical-Anwendungen in sicherheitskritischen Umgebungen. 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. Unternehmen aus aller Welt aus sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor setzen AdaCore-Lösungen für sicherheitskritische Anwendungen ein. Hauptsitz des Unternehmens ist New York, das europäische Headquarter ...

Letzten 10 Pressemitteilungen

• AdaCore beteiligt sich an Forschungsprojekten "Project P" und "Hi-MoCo"
  Paris, 7. Februar 2012 – AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, übernimmt die technische Koordination in den Projekten "Project P" und "Hi-MoCo" (High-integrity Model Compiler). Es handelt sich dabei um zwei Open-Source-Forschungsprojekte, die von der französischen und der estnischen Regierung sowie der europäischen Agentur EUREKA unterstützt und finanziert werden. ...
  
  
• 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. ...
  
  
• 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 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 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. ...
  
  
• 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 Informatio ...
  
  
• 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, di ...
  
  
• AdaCore stellt neue Version des Source-Code-Analyse-Tools CodePeer vor
  Paris, 12. April 2011 - AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat heute das fortgeschrittene Source-Code-Analysewerkzeug CodePeer veröffentlicht. Das Tool hilft Entwicklern, potentielle Logik- und Laufzeitfehler zu finden. ...
  
  
• Airbus Military zertifiziert Auslegersystem zur Luftbetankung mit GNATcheck
  AdaCore auf der Embedded World 2011: Halle 11, Stand F224 Paris, 1. März 2011 - AdaCore, Anbieter von Werkzeugen und Experten für sicherheitskritische Software, hat bekannt gegeben, dass Airbus Military sein Auslegersystem für das A330-Tankflugzeug erfolgreich zertifiziert hat. Der Zertifizierungsprozess erfolgte mit Hilfe des Werkzeugs GNATcheck (1), das die Konformität mit Coding-Standards des ARBS-Projekts überprüft hat. Diese Konformitätsüberprü ...
  
  
• EADS CASA wählt AdaCore-Werkzeuge für die nEUROn-Drohne
  AdaCore auf der Embedded World 2011: Halle 11, Stand F224 Paris, 1. März 2011 - AdaCore, Anbieter von Werkzeugen und Experten für sicherheitskritische Software, hat bekannt gegeben, dass EADS CASA die GNAT Pro High-Integrity Edition einsetzt, um den Datenaustausch und Luft-Boden-Datenverbindungen für die Kampfdrohne (Unmanned Combat Air Vehicle - UCAV) nEUROn zu implementieren. ...