PresseKat - AdaCore stellt die Entwicklungsumgebung GNAT Pro 17 für PikeOS RTOS von SYSGO vor

AdaCore stellt die Entwicklungsumgebung GNAT Pro 17 für PikeOS RTOS von SYSGO vor

ID: 1470699

(firmenpresse) - 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 rheinhessischen Klein-Winternheim, sind langjährige Partner im Embedded-Markt. Die besonders zuverlässigen Lösungen von Ada eignen sich hervorragend für das sicherheitskritische PikeOS RTOS von SYSGO. In den vergangenen Jahren haben die gemeinsamen Kunden zertifizierte Ada-Anwendungen entwickelt, die die höchsten Software-Standards wie EN 50128 (Rail) erfüllen.

GNAT Pro für PikeOS eignet sich aufgrund seiner konfigurierbaren Runtime-Fähigkeiten und seiner hochintegrierten Profile besonders für hochkritische Embedded-Anwendungen. Das Zero Footprint Profile (ZFP) minimiert – und eliminiert in der Regel – den gesamten Code in der ausführbaren Datei außer dem Compiler-generierten Code für die Anwendung. Anwendungen, die Nebenläufigkeit benötigen, können sowohl einfache als auch erweiterte Versionen des Ravenscar-Tasking-Profil nutzen.

"Die Unterstützung von RTOSes hilft unseren Kunden, wichtige Software zu entwickeln, und ist Teil unserer Strategie", erklärt Jamie Ayre, Commercial Team Lead bei AdaCore. "Im Laufe der Jahre haben die Anwender vielfach von der engen Integration unserer Technologien und dem gemeinsamen Ziel, eine solide Plattform für hochintegrierte Software zu schaffen, profitiert."

"In den zurückliegenden zehn Jahren haben SYSGO und AdaCore eine effektive und von Synergien geprägte Zusammenarbeit umgesetzt", sagt Markus Jastroch, Marketingleiter der SYSGO AG. "Unsere gemeinsame Erfahrung und profunde Kenntnis sicherheitskritischer Anwendungen sind unseren Kunden zugute gekommen, beispielsweise indem ein Multicore-Projekt erfolgreich das Safety Integrity Level SIL 4 erreicht hat."






SYSGO ist der führende europäische Anbieter von Echtzeit-Betriebssystemen für kritische und zertifizierte Embedded-Anwendungen im Internet of Things (IoT). Die Softwareplattform PikeOS, ein gehärtetes Echtzeit-Betriebssystem mit Hypervisor-Funktionalität, ermöglicht es, kritische und unkritische Anwendungen sicher auf die selbe Hardware zu bringen, was den Platzbedarf, die Hardwarekosten, den Energieverbrauch und das Gewicht reduziert.

SYSGO wurde 1991 gegründet und ist seit 2012 ein unabhängiges Unternehmen innerhalb der Thales-Gruppe. SYSGO beschäftigt rund 125 Mitarbeiter in Deutschland, Frankreich, Großbritannien und Tschechien.


Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.

Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:

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



PresseKontakt / Agentur:

AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803



drucken  als PDF  an Freund senden  Neuer Onlineshop für hochwertiges Silberschmuck AdaCore veröffentlicht Broschüre für die Entwicklung zertifizierter Software in der Luftfahrt
Bereitgestellt von Benutzer: PR-COM
Datum: 22.03.2017 - 13:26 Uhr
Sprache: Deutsch
News-ID 1470699
Anzahl Zeichen: 3032

Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:

Paris


Telefon: +49 (0) 89 59997 803

Kategorie:

Internet


Meldungsart: Produktankündigung
Versandart: Veröffentlichung
Freigabedatum: 22.03.2017

Diese Pressemitteilung wurde bisher 0 mal aufgerufen.


Die Pressemitteilung mit dem Titel:
"AdaCore stellt die Entwicklungsumgebung GNAT Pro 17 für PikeOS RTOS von SYSGO vor"
steht unter der journalistisch-redaktionellen Verantwortung von

AdaCore (Nachricht senden)

Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).

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 Z ...

Alle Meldungen von AdaCore