Pressezentrum

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings: 

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
     
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
     
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and 
     
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems. 

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services. AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information.  

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

AdaCore

News

  • Paris,
    08.12.2020

    Consafe Logistics ermöglicht mit GNAT Pro von AdaCore Stabilität, Schutz und Sicherheit bei der Steuerung komplexer und automatisierter Lagerlösungen.

    Consafe Logistics, der führende europäische Anbieter von Lagerverwaltungssystemen, setzt die GNAT-Pro-Entwicklungsumgebung von AdaCore für die Ada-Programmiersprache ein, um geschäftskritische Firmware innerhalb seines innovativen Warehouse Control Systems (WCS) zu implementieren. Mit GNAT Pro Ada kann Consafe Logistics strenge Sicherheitsanforderungen erfüllen.

  • Paris,
    02.12.2020

    Das Sicherheits- und Verteidigungsunternehmen QinetiQ hat sich für den Mentorship Service von AdaCore zum Upgrade auf die neueste Version von SPARK Pro entschieden, um seine Trials-Control-System (TCS)-Software zu modernisieren. 

    AdaCore, ein Anbieter von Softwareentwicklungs- und -Verifikations-Tools, gibt bekannt, dass QinetiQ den AdaCore Mentorship Service einsetzt. Damit schützt QinetiQ die bestehenden Investitionen in kritische Softwareplattformen und modernisiert die Entwicklungsumgebung für sein Trials Control System (TCS). TCS ist ein Command- und Control-System, das speziell für die Überprüfung und Evaluierung von militärischer Ausrüstung entwickelt wurde.

  • Paris,
    24.11.2020

    Die neue Entwicklungs-Toolsuite von AdaCore bietet Konsistenz zwischen Gast-Betriebssystemen und erhöht die Projektproduktivität. 

    AdaCore, ein Anbieter von Softwareentwicklungs- und Verifikations-Tools, präsentiert eine neue Version seiner führenden GNAT-Pro-Entwicklungs-Toolsuites für Ada, C- und C++ zur Unterstützung der Helix Virtualization Platform von Wind River.

  • Paris,
    13.10.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 und in U-Bahnnetzen zu gewährleisten.

    Technische Herausforderungen der Modernisierung

  • Paris,
    08.09.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 weltweit die Anforderungen der globalen Marine- und Militärstreitkräfte erfüllen soll.

  • Paris,
    28.07.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 als auch an neue Ada- und SPARK-User. Ziel ist, innovative Embedded-Software-Projekte mit Ada oder SPARK als primärer Sprache zu entwickeln und implementieren. Die Teilnehmer müssen nachweisen, dass ihr System alle Anforderungen erfüllt und solide Software-Engineering-Methoden einsetzt. 

  • Paris,
    23.06.2020

    Formale Methoden und die Toolsuite SPARK Pro von AdaCore unterstützen den Automobilzulieferer JTEKT bei der Reduzierung der Entwicklungs- und Verifikationskosten für sichere autonome Fahrsysteme.

    JTEKT, ein internationaler Hersteller von elektrischen Servolenkungssystemen für Kraftfahrzeuge mit Hauptsitz in Japan, setzt die AdaCore SPARK Pro-Toolsuite und den GNAT Pro Common Code Generator (CCG) ein, um die Entwicklung von Software für sicherheitskritische Servolenkungssysteme zu unterstützen. Mit Hilfe des Mentorenprogramms von AdaCore machte sich JTEKT schnell mit der SPARK-Technologie vertraut. Der Zulieferer hat gezeigt, wie das SPARK-Ada-Sprach-Subset und formale Methoden Unit-Tests und die Verifizierung des C-Codes des Systems vereinfachen.

  • Paris,
    03.03.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. 

  • Paris
    18.02.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 Systemen, die eine Sicherheitsfunktion ausführen. Zu den drei Entwicklungs- und Verifizierungs-Tools von AdaCore, die vom TÜV SÜD gemäß dieser Normen qualifiziert wurden, zählen:

  • Paris,
    10.12.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.

  • Paris,
    05.11.2019

    Die GNAT-Pro-Entwicklungsumgebung von AdaCore unterstützt ab sofort auch die Entwicklung von eingebetteter Software in C++. Davon profitieren Entwicklungsprojekte, die die Programmiersprache für sich allein oder in Kombination mit Ada einsetzen.

    Das neue Tool GNAT Pro C++ von Adacore unterstützt den Standard der Programmiersprache bis einschließlich Version C++17 und richtet sich an VxWorks 7 für ARM, PowerPC und x86, Embedded Linux für ARM, PowerPC und x86 sowie VxWorks 6.9.x für PowerPC mit 32 Bit. Es wird auf x86 GNU Linux gehosted und steht innerhalb der beiden Produktlinien GNAT Pro Enterprise und GNAT Pro Assurance zur Verfügung.

  • Paris,
    24.09.2019

    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 und lässt sich in unterschiedlichen Bereichen einsetzen, vor allem in Bereichen, in denen Zertifizierungen oder ein verringerter Footprint notwendig sind.

  • Paris / New York
    10.09.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.

  • Paris/Nürnberg,
    26.02.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 automatisierten und autonomen Fahren.

  • Paris,
    29.01.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.

  • Paris,
    08.01.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 erstellen.

  • Paris,
    03.12.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ösung bei der Verbrennung von Abfällen und Sondermüll, der Herstellung von Zement und beim Recycling von Zink.

  • München,
    17.10.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-Systemen, die mit der Programmiersprache Ada entwickelt wurden. Der diesjährige Wettbewerb beginnt am 16. Oktober 2018 und läuft bis 15. Februar 2019. Adacore hat Preise von insgesamt 8.000 US-Dollar ausgesetzt. Interessenten können sich unter www.makewithada.org ab sofort anmelden.

  • Paris / New York / München,
    19.06.2018

    Avionics Electronics Europe Conference – 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 auf Intel LynxOS-178 unter LynxSecure, die Erstellung sicherer und kompakter Bare-Metal-LynxSecure-Applikationen mit Ada und das Ausführen von Ada-Code unter Gastbetriebssystemen wie Windows und Linux.

  • Paris / New York / München,
    19.06.2018

    Avionics Electronics Europe Conference – 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 der Intel-Architektur mit 32 Bit – sowohl unter Linux- als auch Windows-Entwicklungsumgebungen.

Pages

Subscribe to Front page feed

Images