openPR Recherche & Suche
Pressearchiv

AdaCore

AdaCore

Pressekontakte AdaCore Pamela Trevino press@AdaCore.com PR-COM GmbH Andrea Groß Sendlinger-Tor-Platz 6 80336 München andrea.gross@pr-com.de Tel. +49-89-59997-803

Über das Unternehmen

Über HITACHI Rail STS Frankreich

HITACHI Rail STS Frankreich betreut die regionalen Geschäfte für HITACHI Rail STS in Nord- und Westeuropa, Nordafrika, China und Korea. Rund 800 Ingenieure und Techniker sind in den Bereichen Forschung und Entwicklung, Engineering, Projektmanagement, Fertigung und Wartung tätig.

HITACHI Rail STS Frankreich wurde 1902 gegründet und hat die Signal- und Zugbeeinflussungssysteme entwickelt, die zur ständigen Verbesserung der Bahnsicherheit und -kapazität auf Hauptstrecken und Nahverkehrsbahnen weltweit beitragen.

Bei großen internationalen Eisenbahnprojekten, insbesondere in Europa, Asien, Afrika und Südamerika, ist das Unternehmen in der Lage, ausfallsichere Systeme termingerecht und im Rahmen des Budgets zu liefern. Dank der Nähe zu seinen Kunden und der internationalen Präsenz in West- und Nordeuropa sowie in Asien verwaltet HITACHI Rail STS Frankreich Projekte effizient und bewältigt Herausforderungen, erkennt den Bedarf frühzeitig und bietet innovative Lösungen.


Über AdaCore

AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis.

AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

Aktuelle Pressemitteilungen von AdaCore
HITACHI Rail STS wählt GNAT Pro von AdaCore für neue Eisenbahnsicherheitsplattform
AdaCore

HITACHI Rail STS wählt GNAT Pro von AdaCore für neue Eisenbahnsicherheitsplattform

Paris, 13. Oktober 2020 - HITACHI Rail STS hat sich für die GNAT-Pro-Software-Entwicklungsumgebung von AdaCore für seine neue Eisenbahnsicherheitsplattform entschieden. AdaCore, ein Anbieter von Softwareentwicklungs- und Verifikations-Tools, hat verkündet, dass HITACHI Rail STS (Signalling and Transportation Systems) die Ada-Entwicklungsumgebung GNAT Pro für ARM-Prozessoren ausgewählt hat. Ziel ist die Modernisierung seiner Eisenbahnsicherheitsplattform CSD (Calculator of available safety), um den sicheren Verkehr von Zügen auf Bahnstrecken…
14.10.2020
Europäisches Luft- und Raumfahrtunternehmen entscheidet sich für GNAT Pro Ada
AdaCore

Europäisches Luft- und Raumfahrtunternehmen entscheidet sich für GNAT Pro Ada

Paris, 8. September 2020 – Airbus Helicopters hat die Toolsuite GNAT Pro Ada von AdaCore für die Entwicklung eines unbemannten Luftfahrtsystems basierend auf dem Echtzeitbetriebssystem VxWorks 6.x Cert für PowerPC ausgewählt. Airbus Helicopters hat sich für die GNAT-Pro-Toolsuite von AdaCore, einem Anbieter von Softwareentwicklungs- und Verifikationstools und der Programmiersprache Ada für die Entwicklung neuer Softwarekomponenten, für das Projekt des VSR700-Prototypen entschieden. VSR700 ist ein taktisches unbemanntes Luftfahrtsystem, das w…
10.09.2020
AdaCore startet fünften jährlichen Programmierwettbewerb
AdaCore

AdaCore startet fünften jährlichen Programmierwettbewerb

Paris, 28. Juli 2020 - AdaCore gibt den Startschuss für seinen fünften Programmierwettbewerb „Make with Ada“. Der Wettbewerb beginnt am 31. Juli. Den Gewinnern winken Geldpreise in Höhe von über 9.000 US-Dollar für die innovativsten Projekte im Bereich eingebetteter Systeme, die mit Ada oder SPARK entwickelt wurden. In den vergangenen vier Jahren hat der von AdaCore geförderte Wettbewerb überzeugende Software-Engineering-Projekte hervorgebracht, die Teilnehmer aus aller Welt entwickelt haben. Der Wettbewerb richtet sich sowohl an erfahrene …
28.07.2020
AdaCore gibt Gewinner des vierten jährlichen „Make with Ada“-Wettbewerbs bekannt
AdaCore

AdaCore gibt Gewinner des vierten jährlichen „Make with Ada“-Wettbewerbs bekannt

Paris, 3. März 2020 – AdaCore hat heute die Gewinner seines vierten jährlichen „Make with Ada“-Programmierwettbewerbs für Embedded-Projekte bekannt gegeben. Ziel von „Make with Ada" ist zu zeigen, wie die Sprachen Ada und SPARK die Codequalität moderner Embedded-Systeme signifikant verbessern können, und zwar ohne dass Entwickler, die mit diesen Sprachen nicht vertraut sind, einen hohen Lernaufwand betreiben müssen. Der Wettbewerb fand zwischen dem 10. September 2019 und dem 31. Januar 2020 statt und verzeichnete 26 Einreichungen aus alle…
04.03.2020
AdaCores Toolchain für Ada, SPARK und C erhält Qualifizierungen gemäß ISO 26262 and IEC 61508
AdaCore

AdaCores Toolchain für Ada, SPARK und C erhält Qualifizierungen gemäß ISO 26262 and IEC 61508

Paris, 18. Februar 2020 - Der TÜV SÜD hat drei zentrale Softwareentwicklungs- und Verifizierungs-Tools von AdaCore gemäß ISO 26262 und IEC 61508 qualifiziert. Damit belegt das Unternehmen, dass seine Technologien auch den hohen Sicherheitsanforderungen der Automobilindustrie gerecht werden. Die ISO 26262 ist eine ISO-Norm für sicherheitsrelevante elektrische und elektronische Systeme in Kraftfahrzeugen. Die IEC 61508 ist eine internationale Normenserie zur Entwicklung von elektrischen, elektronischen und programmierbaren elektronischen Syste…
18.02.2020
ELDORADO wählt QGen von AdaCore für kritische Medizin-Anwendungen
AdaCore

ELDORADO wählt QGen von AdaCore für kritische Medizin-Anwendungen

Paris, 10. Dezember 2019 – Das ELDORADO Research Institute of Brazil setzt die modellbasierte Code-Generierungs- und Verifikations-Toolsuite QGen von AdaCore ein, um die Forschung und Entwicklung sicherheitskritischer Software für medizinische Geräte zu unterstützen. Solche Anwendungen verlangen nach allerhöchster Zuverlässigkeit; gegenwärtig werden sie für Herzschrittmacher oder Perfusionssysteme für Herzchirurgie und Chemotherapie eingesetzt. ELDORADO entwickelt Produkte für die Medizinindustrie, die, wie viele andere Bereiche in einer …
11.12.2019
ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung
AdaCore

ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung

Paris, 24. September 2019 – Die European Space Agency (ESA) hat Adacore ausgewählt, um eine hochwertige Multitasking-Lösung für die Raumschiff-Softwarentwicklung zur Verfügung zu stellen. Laufende und künftige ESA-Projekte werden damit unterstützt. Als Teil des Vertrags mit der ESA hat Adacore eine vorqualifizierte Version der Ravenscar SFP (Small Footprint) Library implementiert, einer konfigurierbaren Ada-Runtime-Bibliothek. Sie enthält das Ravenscar-Profil, erlaubt kundenspezifische Anpassungen für spezifische Plattformen und Fähigkeiten…
25.09.2019
AdaCore startet vierten jährlichen Programmierwettbewerb "Make with Ada"
AdaCore

AdaCore startet vierten jährlichen Programmierwettbewerb "Make with Ada"

Paris/New York, 10. September 2019 - AdaCore hat den Start seines vierten jährlichen Programmierwettbewerbs „Make with Ada“ vorgestellt. Ziel ist das Design und die Implementierung einer Embedded-Applikation, die auf Ada oder SPARK als primäre Programmiersprache beruht. Teilnehmer müssen zeigen, dass ihre Anwendungen alle Voraussetzungen des Wettbewerbs erfüllen und dass sie gängige Software-Engineering-Verfahren eingesetzt haben. Die Gewinner dürfen sich auf Preise von mehr als 8.000 US-Dollar freuen. Der Wettbewerb startet am 10. Septem…
10.09.2019
AdaCore verbessert mit NVIDIA sicherheitskritische Firmware
AdaCore

AdaCore verbessert mit NVIDIA sicherheitskritische Firmware

Paris/Nürnberg, 26. Februar 2019 - Die Programmiersprachen Ada und SPARK von AdaCore helfen, die Kosten für die Entwicklung und Verifizierung sicherheitskritischer Software zu reduzieren. AdaCore, ein führender Anbieter von Softwareentwicklungs- und Verifikationstools, arbeitet ab sofort mit NVIDIA bei der Nutzung der Programmiersprachen Ada und SPARK für die Implementierung ausgewählter sicherheitskritischer Firmware zusammen. Diese wird in Anwendungen eingesetzt, die strenge Safety- und Security-Funktionen erfordern, beispielsweise beim au…
26.02.2019
AdaCore wird Mitglied der RISC-V Foundation und unterstützt die Ada- und C-Kompilierung
AdaCore

AdaCore wird Mitglied der RISC-V Foundation und unterstützt die Ada- und C-Kompilierung

Paris, 29. Januar 2019 - Durch das Engagement von AdaCore in der RISC-V Foundation stehen die GNAT Pro und GNAT Community Toolchains sowohl für professionelle als auch für Hobby-Entwickler zur Verfügung. AdaCore ist ab sofort Mitglied in der RISC-V Foundation, einer gemeinnützigen Organisation, die sich zum Ziel gesetzt hat, die kostenlose und offene RISC-V-Befehlssatzarchitektur (Instruction Set Architecture, ISA) zusammen mit ihrem Hard- und Software-Ökosystem zu standardisieren und zu fördern. RISC-V ist ein offener Befehlssatz, der ursp…
29.01.2019
AVIO entwickelt mit GNAT Pro Assurance Flugsoftware für das europäische Raumfahrtprogramm
AdaCore

AVIO entwickelt mit GNAT Pro Assurance Flugsoftware für das europäische Raumfahrtprogramm

Paris, 8. Januar 2019 - Das italienische Raumfahrtunternehmen AVIO implementiert die On-Board-Software für die Vega-C-Trägerrakete mit der Entwicklungsumgebung GNAT Pro Assurance von AdaCore. Die von AVIO mit GNAT Pro Assurance entwickelte Flugsoftware wird von der Europäischen Weltraumorganisation ESA gefördert. Das eingebettete harte Echtzeitsystem dient der Lenkung, Navigation und Steuerung der Vega-C-Rakete. Die Cross-Umgebung von GNAT Pro Assurance ermöglicht es AVIO, dabei eine sicherheitskritische und zertifizierte Anwendung zu erstel…
08.01.2019
ci-tec vertraut auf die Entwicklungsumgebung GNAT Pro Ada
AdaCore

ci-tec vertraut auf die Entwicklungsumgebung GNAT Pro Ada

Paris, 3. Dezember 2018 - Das Karlsruher Softwareunternehmen ci-tec nutzt Entwicklungs- und Verifikationswerkzeuge von AdaCore für ein Upgrade seiner sicherheitskritischen Lösung zur Optimierung industrieller Verbrennungsprozesse. Mit der GNAT-Pro-Entwicklungsumgebung von AdaCore portiert, adaptiert und wartet ci-tec sein Softwareprodukt inspect pro control. Das Echtzeitsystem erfasst, etwa mit Hilfe von Infrarotkameras, Daten aus Brennräumen, analysiert sie und nutzt sie für die Steuerung der thermischen Prozesse. Zum Einsatz kommt die Lösu…
03.12.2018
AdaCore startet neuen Programmierwettbewerb "Make with Ada"
AdaCore

AdaCore startet neuen Programmierwettbewerb "Make with Ada"

Paris, 17. Oktober 2018 - Preise von über 8.000 US-Dollar können Entwickler mit eingebetteter Software gewinnen. Auf der Arm TechCon, Stand #1228, gab AdaCore den Startschuss für den dritten Programmierwettbewerb "Make with Ada". Auch in diesem Jahr sind Entwickler auf der ganzen Welt aufgerufen, sich an der Erstellung innovativer Embedded-Anwendungen mit den Programmiersprachen Ada und SPARK zu versuchen. Mit dem nun schon zum dritten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Zuverlässigkeit von Embedded-…
18.10.2018
AdaCore erweitert Support für das VxWorks-Portfolio von Wind River
AdaCore

AdaCore erweitert Support für das VxWorks-Portfolio von Wind River

Paris / New York / München, Avionics Electronics Europe Conference, 19. Juni 2018 - Die Entwicklungsumgebung GNAT Pro Ada und das Echtzeitbetriebssystem VxWorks bieten jetzt 32-Bit- und 64-Bit-Unterstützung auf den neuesten Arm-, Intel- und Power-Multicore-Prozessoren. Die GNAT-Pro-Entwicklungsumgebung von Adacore steht ab sofort auf führenden Multicore-Hardware-Plattformen für das Echtzeitbetriebssystem Wind River VxWorks 7 zur Verfügung. Die Version GNAT Pro 18 unterstützt jetzt VxWorks 7 auf den Arm- und Power-Architekturen mit 64 Bit und…
20.06.2018
AdaCore GNAT Pro unterstützt den LynxSecure Separation Kernel Hypervisor auf Intel-Prozessoren
AdaCore

AdaCore GNAT Pro unterstützt den LynxSecure Separation Kernel Hypervisor auf Intel-Prozessoren

Paris / New York / München, Avionics Electronics Europe Conference, 19. Juni 2018 - Mit dem GNAT-Pro-Toolset können Entwickler Softwarekomponenten in Windows-, Linux-, LynxOS-178- und LynxSecure-Applikationspartitionen einstellen. Unternehmen, die den LynxSecure Separation Kernel Hypervisor von Lynx Software Technologies verwenden, können ab sofort die Vorteile von GNAT Pro von AdaCore in einer Vielzahl von Anwendungsszenarien nutzen und ihre Produktivität mit Ada maximieren. Mögliche Use Cases sind die Code-Migration von PowerPC LynxOS-178 …
19.06.2018
Tools von AdaCore optimieren die Entwicklung sicherer Software für autonomes Fahren
AdaCore

Tools von AdaCore optimieren die Entwicklung sicherer Software für autonomes Fahren

Detroit/Paris, 6. Juni 2018 - Die innovativen Softwareentwicklungs- und Verifikationswerkzeuge von AdaCore unterstützen Unternehmen dabei, die Sicherheit automobiler, autonomer und innovativer Fahrerassistenzsysteme zu steigern. Gleichzeitig erleichtern sie Technologie-Upgrades und die Umsetzung neuer Anforderungen. AdaCore, mit Sitz in New York und Paris, präsentiert am 6. und 7. Juni 2018 auf der TU-Automotive Detroit am Stand B147 seine neuesten Software-Entwicklungs- und Verifikationsumgebungen für sicherheitskritische Anwendungen. Die M…
08.06.2018
Universität von Colorado setzt Ada und GNAT Pro für NASA-Projekt ein
AdaCore

Universität von Colorado setzt Ada und GNAT Pro für NASA-Projekt ein

Paris, 23. Mai 2018 - Das Labor für Atmosphären- und Weltraumphysik (LASP) der Universität von Colorado verwendet an Stelle von C die Programmiersprache Ada für die Pathfinder-Mission des Climate Absolute Radiance and Refractivity Observatory (CLARREO) der NASA. Das Labor für Atmosphären- und Weltraumphysik (LASP) der Universität von Colorado wird die Programmiersprache Ada und die Ada-Entwick­lungsumgebung GNAT Pro für ARM-Cortex im Rahmen der Pathfinder-Mission des Climate Absolute Radiance and Refractivity Observatory (CLARREO) der NASA e…
23.05.2018
AdaCore veröffentlicht GNAT-Pro-Entwicklungstools für BlackBerry QNX
AdaCore

AdaCore veröffentlicht GNAT-Pro-Entwicklungstools für BlackBerry QNX

Paris, 15. Mai 2018 – AdaCore und BlackBerry haben eine Partnerschaft geschlossen. AdaCore unterstützt mit seiner Softwareentwicklungs-Produktlinie GNAT Pro ab sofort das Betriebssystem QNX von BlackBerry. Zu den Softwaretools der GNAT-Pro-Reihe von AdaCore, die BlackBerry QNX unterstützen, zählen GNAT Pro Assurance, GNAT Pro Enterprise und GNAT Pro Developer. Durch den Support für QNX baut AdaCore die breite Palette an eingebetteten Plattformen für die Nutzer der Programmiersprache Ada weiter aus. Gleichzeitig steht C-Entwicklern für QNX ei…
16.05.2018
Scandinavian Real Heart setzt bei der Steuerung ihres künstlichen Herzens auf Software von AdaCore
AdaCore

Scandinavian Real Heart setzt bei der Steuerung ihres künstlichen Herzens auf Software von AdaCore

Paris/Nürnberg, 27. Februar 2018 – Die Software-Entwicklungs- und Verifikations-Tools von AdaCore unterstützen das schwedische Medizintechnik-Unternehmen Scandinavian Real Heart dabei, hohe Zuverlässigkeit und Sicherheit für lebensrettende medizinische Geräte zu gewährleisten. Scandinavian Real Heart (http://realheart.se/en) nutzt zur Erstellung zuverlässiger Embedded-Software für sein innovatives „Total Artificial Heart“ mehrere Entwicklungs-Tools (www.adacore.com/products) von AdaCore. Das schwedische Medizintechnik-Unternehmen imitiert d…
27.02.2018
AdaCore V18.1 bringt neue Lösungen für Softwareentwicklung und -verifizierung
AdaCore

AdaCore V18.1 bringt neue Lösungen für Softwareentwicklung und -verifizierung

Paris, 31. Januar 2018 – AdaCore, Spezialist für Softwareentwicklungs- und -verifikations-Tools stellt Version 18.1 von GNAT Pro, CodePeer, SPARK Pro und QGen vor. Diese neueste Version erweitert die robuste und funktionsreiche Software-Suite um neue Tools und Funktionen und bedeutet die erste Veröffentlichung von GNAT Pro für drei verschiedene Produktlinien: GNAT Pro Assurance, GNAT Pro Enterprise und GNAT Pro Developer. Die Ada-Entwicklungsumgebung GNAT Pro bietet mit Version 18.1 neue Tools, verbesserte Code-Effizienz, mehrere neue Target…
31.01.2018
Sie lesen gerade: AdaCore Presse – Pressemitteilung