Pressearchiv
AdaCore
In der Pressedatenbank finden Sie:
AdaCore
Pressekontakte
AdaCore
Jamie Ayre
press@AdaCore.com
www.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 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; nähere Informationen dazu unter www.adacore.com/customers
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
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; nähere Informationen dazu unter www.adacore.com/customers
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
AdaCore
AdaCore präsentiert neue Produktlinien für GNAT Pro
Paris, 15. November 2017 – AdaCore stellt drei neue Produktlinien für seine GNAT-Pro-Technologie vor. Damit trägt das Unternehmen den wachsenden Anforderungen der Anwender und dem zunehmenden Interesse an Ada aus traditionell C-basierten Anwendungsbereichen Rechnung.
Mit drei neuen Produktlinien von GNAT Pro, dem Flaggschiff der Ada-Entwicklungsumgebung, stellt AdaCore den Ada-Entwicklern weitere leistungsfähige Funktionen zur Verfügung und erleichtert den Einstieg in die Programmiersprache Ada.
• GNAT Pro Enterprise, eine voll funktionsf…
AdaCore
AdaCore startet Programmierwettbewerb "Make with Ada"
Paris, 15. Mai 2017 – Bis zu 5.000 Euro können Entwickler mit eingebetteter Software im Programmierwettbewerb "Make with Ada" gewinnen. Mit dem zum zweiten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Zuverlässigkeit von Embedded-Systemen, die mit der Programmiersprache Ada entwickelt wurden.
AdaCore hat zum zweiten Mal seinen Programmierwettbewerb "Make with Ada" gestartet. Das Unternehmen will die Embedded Software Community damit zum verstärkten Einsatz der Programmiersprachen Ada und SPARK motivieren. Bis…
AdaCore
AdaCore veröffentlicht Broschüre für die Entwicklung zertifizierter Software in der Luftfahrt
Paris, 22. März 2017 – AdaCore hat eine kostenlose Broschüre mit dem Titel "AdaCore Technologies for DO-178C / ED-12C" vorgestellt. Sie befasst sich mit der Gruppe von Standards DO-178C / ED-12C und geht auf unterschiedliche Entwicklungsszenarien ein.
Die neue Publikation von AdaCore über die Gruppe von Standards DO-178C / ED-12C – den "Core" DO-178C / ED-12C-Standard und seine Technologieerweiterungen – wurde von Quentin Ochem von AdaCore und dem Zertifizierungsexperten Frédéric Pothon verfasst. Sie zeigt, wie die Ada- und SPARK-Sprachen i…
AdaCore
AdaCore stellt die Entwicklungsumgebung GNAT Pro 17 für PikeOS RTOS von SYSGO vor
Paris, 22. März 2017 – AdaCore hat die Entwicklungsumgebung GNAT Pro 17.1 für das Echtzeit-Betriebssystem PikeOS von SYSGO freigegeben. Mit GNAT Pro 17.1 erhalten Ada-Nutzer, die für PikeOS entwickeln, eine Reihe von Produktverbesserungen. Dazu gehören Upgrades für die Codegenerator- und Debugger-Technologien – nach GCC 6 beziehungsweise GDB 7.10 –, ein besseres Elaboration-Order-Handling, ein verbessertes Stubbing in GNATtest und eine optimierte Debugger-Unterstützung in der GNAT Programming Studio (GPS) IDE.
AdaCore und SYSGO, mit Sitz im …
AdaCore
AdaCore aktualisiert seine Produktlinien
Paris, 14. März 2017 - AdaCore hat die neuesten Versionen seiner vier wichtigsten Produkte vorgestellt: GNAT Pro 17.1, die Entwicklungsumgebung für Ada und C auf nativen und Cross-Plattformen, CodePeer 17.1, ein statisches Analyse-Tool für Ada, QGen 17.1, das modellbasierte Entwicklungs- und Verifikations-Toolset, und SPARK Pro 17.1, ein Verifikationstool für hochintegrierte Software.
GNAT Pro verfügt über ein voll funktionsfähiges Build-Toolset für Ada und C, eine integrierte Entwicklungsumgebung – das GNAT Programming Studio (GPS) und die…
AdaCore
AdaCore QGen 17.1 unterstützt modellbasierte Entwicklung und Verifikation
Paris, 14. März 2017 – AdaCore hat heute QGen 17.1 vorgestellt, die neueste Version seines modellbasierten Entwicklungs- und Verifikations-Toolsets.
QGen überbrückt die Kluft zwischen Steuerungstechnik und Software-Engineering. Es unterstützt Anwender in der Luft- und Raumfahrt-, der Automobilindustrie sowie in anderen sicherheitskritischen, Software-intensiven Bereichen. Die Lösung schöpft die Möglichkeiten der modellbasierten Entwicklung voll aus, wobei der Benutzer die Low-Level-Kontrolle behält, so dass eine vollständige Integration mit…
AdaCore
AdaCore gibt Gewinner des Programmierwettbewerbs "Make with Ada" bekannt
Paris, 28. November 2016 – Mit seinem Wettbewerb "Make with Ada" fördert AdaCore die Entwicklung von Embedded-Ada-Software durch Programmierer, die zuvor keine Erfahrung mit der Programmiersprache Ada hatten. Im Rahmen des Wettbewerbs von 2016 wurden drei Entwickler mit Preisen von bis zu 5.000 Euro ausgezeichnet.
AdaCore hat auf dem ESE-Kongress in Sindelfingen die Gewinner seines Programmierwettbewerbs für Projekte, die auf den Prozessoren ARM Cortex M oder R implementiert wurden, bekannt gegeben. "Make with Ada" soll künftig jedes Jahr s…
AdaCore
AdaCore-Broschüre erklärt den Einsatz von Ada bei der Entwicklung von Eisenbahn-Software
Paris, 7. Juli 2016 - AdaCore hat die Broschüre "AdaCore Technologies for CENELEC EN 50128:2011" (http://adacore.com/en-50128) vorgestellt. Sie fasst auf 70 Seiten den Standard EN 50128 für Eisenbahn-Software zusammen und erläutert, wie Entwickler die Programmiersprache Ada und die Produkte von AdaCore verwenden können, um die entsprechenden Anforderungen über den gesamten Software-Lebenszyklus zu erfüllen.
Die Broschüre präsentiert folgende Technologien im Kontext des für die Entwicklung von Eisenbahn-Software wichtigen Standards EN 50128:…
AdaCore
AdaCore stellt neue Versionen der Ada-Werkzeuge QGen und GNAT Pro vor
Paris und Nürnberg, 23. Februar 2016 – AdaCore zeigt auf der Embedded World 2016 in Nürnberg zwei neue Produktversionen: QGen, ein Werkzeug für die modellbasierte Entwicklung und Verifikation sicherheitskritischer Software ist nun in Version 2.1 verfügbar; die Entwicklungsumgebung GNAT Pro für die Programmiersprache Ada liegt jetzt in Version 7.4 vor.
AdaCore QGen 2.1
AdaCore, Anbieter von Entwicklungs- und Verifizierungs-Tools für verlässliche und sichere Software, stellt auf der Embedded World 2016, die vom 23. bis 25. Februar 2016 in Nür…
AdaCore
Neues Release des Muen-Kernels für Open-Source-Software im Hochsicherheitsbereich
Paris und Rapperswil, 13. Januar 2015 – Die Hochschule für Technik (http://www.hsr.ch) in Rapperswil und AdaCore haben die Entwicklerversion 0.6 des Open-Source Muen Separation Kernel (http://muen.codelabs.ch) vorgestellt. Der unter Verwendung formaler Methoden entwickelte Kernel wurde erfolgreich auf die SPARK-2014-Technologie aktualisiert.
Der Muen-Kernel gewährleistet eine strikte und zuverlässige Isolierung von Komponenten und schützt sicherheitskritische Funktionen vor fehlerhafter Software, die auf dem gleichen physischen System läuft…
AdaCore
Analyse-Tool von AdaCore erhält Qualifikationen für Software-Verifizierung in Luftfahrt und Bahn
Paris, 5. November 2014 – CodePeer von AdaCore, das statische Analyse-Tool für die automatisierte Prüfung und Bewertung von Ada-Quellcode, wurde als Werkzeug für die Validierung von Software in den Bereichen Luftfahrt und Eisenbahnwesen qualifiziert.
CodePeer prüft Software noch vor der Ausführung auf mögliche Probleme, um Fehler effizient und zeitig im Entwicklungsprozess zu finden. Mit mathematischen Verfahren analysiert CodePeer jede Programmzeile unter Berücksichtigung jedes möglichen Inputs und Programmablaufs. Es führt Impact- und Sch…
AdaCore
AdaCores Entwicklungsumgebung GNAT Pro bietet Unterstützung von ARM-Systemen unter Linux
Paris und Nürnberg, 26. Februar 2014 – Auf der Embedded World, die vom 25. bis 27. Februar in Nürnberg stattfindet, hat AdaCore die neueste Version seiner Cross-Development-Umgebung GNAT Pro 7.2 für ARM-Prozessoren unter Linux präsentiert. Die Lösung GNAT Pro for ARM bietet eine komplette Ada-Entwicklungsumgebung für Embedded-Systeme, die die Flexibilität und Services von Linux benötigen. Entwickler dieser Systeme können nun die Vorteile der Ada-Sprache beim Software Engineering, wie Zuverlässigkeit, Wartbarkeit und Portabilität, nutzen.
Di…
AdaCore
Ada-Entwicklungsumgebung GNAT Pro 7.2 enthält 120 neue Funktionen und Tools
Paris und Nürnberg, 25. Februar 2014 – Die Ada-Entwicklungsumgebung GNAT Pro ist nun in der neuen Version 7.2 verfügbar. Sie bietet über 120 neue Funktionen und erweitert die Unterstützung von ARM-Plattformen.
Auf der Embedded World in Nürnberg hat AdaCore GNAT Pro 7.2 vorgestellt, das neue Major Release der Entwicklungsumgebung für die Programmiersprache Ada. GNAT Pro umfasst mehr als 120 neue Funktionen und eine Reihe ganz neuer Werkzeuge; sie ist auf zusätzlichen Plattformen verfügbar, implementiert standardmäßig den Sprachstandard Ada 20…
AdaCore
AdaCore präsentiert auf der embedded world neue Tools für die Programmiersprache Ada
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.
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 …
AdaCore
AdaCore stellt Ada für Wind River Linux bereit
Stuttgart, New York, Paris, 3. Juli 2013 – AdaCore hat auf der Embedded Konferenz in Stuttgart die Verfügbarkeit der Entwicklungsumgebung GNAT Pro Ada für die Plattform Wind River Linux bekannt gegeben. Dieses neue Produkt ist Ergebnis der Zusammenarbeit von AdaCore und Wind River und macht die Zuverlässigkeit der Programmiersprache Ada nun auch auf den populären Wind-River-Linux-Systemen verfügbar.
Wind River Linux hat sich als führende kommerzielle Linux-Lösung für die Entwicklung eingebetteter Systeme im Markt etabliert. Es enthält eine o…
AdaCore
Toyota verwendet SPARK Pro in einem Forschungsprojekt für Ultra-Low-Defect-Software
Paris, 30. April 2013 – Das Zentrum für Informationstechnologie von Toyota verwendet die auf Ada basierende Programmiersprache SPARK und das SPARK Pro Toolset für die Entwicklung sicherheitskritischer Lösungen in der Automobilherstellung. SPARK und das von Altran und AdaCore entwickelte SPARK Pro bieten Toyota neue Möglichkeiten bei der Konzeption und Realisierung von Ultra-Low-Defect-Software.
Das Toyota InfoTechnology Center (ITC) in Japan hat die Programmiersprache SPARK und das SPARK Pro Toolset für den Einsatz in einem Forschungsprojek…
AdaCore
AdaCore präsentiert GNAT Pro Safety-Critical für ARM-Prozessoren
New York, Paris, Nürnberg, 26. Februar 2013 – Embedded World 2013 – AdaCore, Anbieter von Lösungen für missions- und sicherheitskritische Software, hat GNAT Pro Safety-Critical für ARM Cortex Mikroprozessoren ausgeliefert. Das neue Produkt für Bare Boards enthält eine vollständige Entwicklungsumgebung für Ada, die auf sicherheitskritischen Systemen, sowie Systemen die mit geringem Speicherbedarf auskommen müssen, läuft.
ARM-Prozessoren kommen auch im Verteidigungssektor sowie in der Luft- und Raumfahrt immer öfter zum Einsatz, was vor allem …
AdaCore
Luft- und Raumfahrtkonzern Terma verwendet ADA-Entwicklungsumgebung im Space-Monitor-Projekt
Paris, New York, 12. Dezember 2012 – Paris Space Week 2012 – Der internationale Luft-, Raumfahrt-, Verteidigungs- und Sicherheitskonzern Terma mit Sitz in Lystrup, Dänemark, hat sich für den Einsatz der Entwicklungsumgebung GNAT Pro Safety-Critical bei der Entwicklung der Embedded Software seines Atmosphere-Space Interactions Monitor (ASIM) entschieden. ASIM ist Bestandteil des Columbus-Moduls der Internationalen Raumstation ISS. Terma wird GNAT Pro Safety-Critical zusammen mit den Tools GNATemulator und GNATcoverage verwenden, um die Anwendu…
AdaCore
SmartSide verwendet Ada und GNAT Pro für die Programmierung intelligenter Energiezähler
Paris, New York/Smart Grids Paris 2012 Exhibition & Conference, 20. Juni 2012 – Mit dem Einsatz der Programmiersprache Ada und der Entwicklungsumgebung GNAT Pro erhält SmartSide die für intelligente Energiezähler und Stromnetze benötigte Zuverlässigkeit und Skalierbarkeit.
AdaCore hat heute bekanntgegeben, dass SmartSide, ein in Paris ansässiger Anbieter von intelligenten Energiezählern und Lösungen für intelligente Stromnetze (Smart Grids), die Programmiersprache Ada und die Entwicklungsumgebung GNAT Pro für die Programmierung intelligenter…
AdaCore
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.
Die beiden im Oktober 2011 gestarteten Projekte verfolgen das Ziel, ein quelloffenes, anpassbares und qualifizierbares Codegenerierungs-Fr…
Sie lesen gerade: AdaCore Presse – Pressemitteilung