Select Language

AdaCore Releases GNAT Pro 17 Development Environment for SYSGO’s PikeOS RTOS

AdaCore/SYSGO Partnership Fosters Spread of Embedded Ada

TOULOUSE, France, Certification Together International Conference, March 21, 2017 - AdaCore today announced the release of its GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating System PikeOS®. With GNAT Pro 17.1, Ada users targeting PikeOS® will see a number of product enhancements, including upgrades to the underlying code generator and debugger technologies (to GCC 6 and GDB 7.10, respectively), better elaboration order handling, improved stubbing in GNATtest, and enhanced debugger support in the GNAT Programming Studio (GPS) IDE.

AdaCore and SYSGO are longtime partners in the embedded market, with Ada’s reliability benefits providing an excellent match for SYSGO’s safety-critical PikeOS® RTOS. Over the past several years, the companies’ joint customers have developed certified Ada applications meeting the highest levels in software standards such as EN 50128 (rail).

GNAT Pro for PikeOS® is especially suited for high-assurance embedded applications, thanks to its configurable run-time capability and its high-integrity profiles. The Zero Footprint (ZFP) profile minimizes (and in fact generally eliminates completely) all code in the executable other than the compiler-generated code for the application, and applications needing concurrency support can take advantage of both simple and extended versions of the Ravenscar tasking profile.

“Supporting RTOSes that help our customers build software that matters is part of our core strategy at AdaCore,” said Jamie Ayre, Commercial Team Lead at AdaCore. “Over the years, customers have benefited from a close integration of our technologies and the common goal of providing a solid platform for building high-integrity software.”

“For the past 10 years, SYSGO and AdaCore have enjoyed an effective and synergistic cooperation,” said Markus Jastroch, Director of Marketing at SYSGO AG. “Our shared experience and deep knowledge of safety-critical applications has benefited our customers, in one example helping a multicore project successfully achieve Safety Integrity Level SIL 4."

About AdaCore
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:

  1. The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  2. 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,
  3. The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
  4. 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 railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.

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

About SYSGO
SYSGO is the leading European provider of real-time operating systems for critical and certified embedded applications in the Internet of Things (IoT). The company’s software platform PikeOS®, a hard real-time operating system with hypervisor functionality, allows critical and non-critical applications to run securely on the same hardware, reducing footprint, hardware cost, energy consumption and weight. PikeOS® has been designed from the start for mission-critical projects with certification requirements for various safety and security standards such as DO-178B/C, IEC 61508, EN 50128, and IEC 15408 (Common Criteria).

80% of SYSGO engineers have certification experience, and customers are supported throughout the entire certification process and supply certification details and documentation. These customers are leading players in the aerospace & defense, railway, automotive and industrial automation industries.

SYSGO was founded in 1991 and has been an independent entity within the Thales Group since 2012. SYSGO staff comprises approximately 125 employees in Germany, France, UK and the Czech Republic, and the company is certified for ISO 9001:2015 and ISO/IEC 27001:2013.

For more information, please see https://www.sysgo.com/

Pricing and Availability
The GNAT Pro 17.1 Ada development environment for PikeOS is available now. Please contact AdaCore (info@adacore.com) for information on product pricing and supported configurations.

Press Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU:
Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

US:
Jessie Glockner
AdaCore Public Relations Representative
+1-646-532-2723

AdaCore lance l’environnement de développement GNAT Pro 17 pour le système d’exploitation en temps réel PikeOS de SYSGO

Le partenariat AdaCore/SYSGO favorise la diffusion de l’Ada embarqué

TOULOUSE, France, Conférence Internationale Certification Together, le 21 mars 2017 –  AdaCore annonce le lancement de son environnement de développement GNAT Pro 17.1 pour le système d’exploitation en temps réel PikeOS® de SYSGO’s. Avec GNAT Pro 17.1, les utilisateurs d’Ada ciblant PikeOS® vont découvrir de nombreuses améliorations apportées au produit, parmi lesquelles des mises à jour du générateur de code sous-jacent et des technologies de débogage (GCC 6 et GDB 7.10, respectivement), une meilleure gestion de l’ordre d’élaboration, un stubbing amélioré dans GNATtest et un support débogueur amélioré dans l’environnement de développement intégré GNAT Programming Studio (GPS).

AdaCore et SYSGO sont des partenaires de longue date sur le marché de l’embarqué, la fiabilité d’Ada complémentant parfaitement le système d’exploitation en temps réal pour applications critiques PikeOS®. Ces dernières années, les clients communs aux deux sociétés ont développé des applications certifiées Ada répondant aux normes les plus exigeantes en matière de logiciels telles que EN 50128 (rail).

GNAT Pro pour PikeOS® est particulièrement adapté à des applications embarquées avec un niveau d’assurance élevé grâce à sa capacité de durée d’exécution configurable et ses profils de haute intégrité. Le profil Zero Footprint (ZFP ou Zero Emprunte) minimise (et, la plupart du temps, élimine totalement) tout le code dans l’exécutable autre que le code généré par le compilateur pour l’application, les applications requérant un support des mises en concordance peuvent donc bénéficier aussi bien des versions simples qu’étendues du profil d’exécution des tâches Ravenscar.

“Le support de systèmes d’exploitation en temps réel permettant d’aider nos clients à développer des logiciels ayant une réelle importance est au cœur de la stratégie d’AdaCore,” a commenté Jamie Ayre, Directeur Commercial chez AdaCore. “Depuis des années, AdaCore fait bénéficier ses clients d’une forte intégration de ses technologies et de son désir commun de fournir une plate-forme solide pour le développement de logiciels de haute intégrité.”

“Depuis dix ans la coopération entre SYSGO et AdaCore allie avec succès efficacité et synergie,” s’est félicité Markus Jastroch, Directeur Marketing chez SYSGO AG. “Nous mettons notre expérience commune et notre connaissance approfondie des applications critiques au service de nos clients, en permettant par exemple à un projet multi-noyaux d’atteindre avec succès le niveau d’intégrité de sécurité SIL 4."

Á propos d’AdaCore
Fondée en 1994, AdaCore conçoit et fournit des outils de développement et de vérification de logiciels destinés à des applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Quatre produits phares composent l’offre de la société :

  • GNAT Pro, l’environnement de développement pour Ada, une boîte à outils complète pour concevoir, mettre en œuvre et gérer des applications requérant un niveau élevé de fiabilité et de maintenabilité,
  • L’outil d’analyses statistiques avancées CodePeer, un réviseur et validateur automatique de code Ada capable de détecter et d’éliminer les erreurs aussi bien au cours du développement que rétrospectivement sur des logiciels existants,
  • L’environnement de développement SPARK Pro, un ensemble d’outils basés sur des méthodes formelles et orientés systèmes à niveau d’assurance élevé, et
  • L’outil de développement basé sur les modèles QGen, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink® and Stateflow® destiné aux systèmes de contrôle critiques.

L'utilisation des produits AdaCore connaît une croissance continue dans des applications critiques telles que les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux ou les services financiers. AdaCore jouit d’une base fournie de clients internationaux en croissance constante; visitez le site www.adacore.com/customers/ pour de plus amples informations.

Les produits AdaCore sont libres et accompagnés d’un support expert en ligne fourni par les développeurs eux-mêmes. La société possède un siège nord-américain basé à New York et un siège européen basé à Paris. www.adacore.com

A propos de SYSGO
SYSGO est le premier fournisseur européen de systèmes d’exploitation temps réel pour applications critiques et certifiées embarquées dans l’internet des objets. SYSGO est l’éditeur de PikeOS®, un système d’exploitation temps réel avec une fonctionnalité d’hyperviseur permettant aux applications critiques et non critiques de fonctionner en toute sécurité sur le même matériel, réduisant l’empreinte, le coût du matériel, la consommation d’énergie et le poids. PikeOS® a été conçu dès le départ pour des projets critiques avec des exigences en matière de certification relatives à divers standards en matière de sûreté et de sécurité tels que DO-178B/C, IEC 61508, EN 50128, et IEC 15408 (Critères Communs).

80% des ingénieurs de SYSGO ont de l’expérience en termes de certification. Les clients sont supportés tout au long du processus de certification et ont à leur disposition des détails et de la documentation de certification. Ces clients sont les principaux acteurs des industries aérospatiale et de la défense, ferroviaire, automobile et de l’automatisation industrielle.

SYSGO a été fondée en 1991 et est une entité indépendante au sein du Groupe Thales depuis 2012. Les équipes de SYSGO comptent environ 125 employés en Allemagne, en France, au Royaume Uni et en République Tchèque, et la société est certifiée ISO 9001:2015 et ISO/IEC 27001:2013.

Pour plus d’informations, merci de visiter https://www.sysgo.com/

Tarifs et disponibilité
L’environnement de développement pour Ada GNAT Pro 17.1pour PikeOS est disponible dès à présent. Veuillez contacter AdaCore (info@adacore.com) pour toute demande d’information tarifaire et pour connaitre les configurations prises en charge

Contacts Presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

Europe:
Emma Adby
Responsable des Opérations Marketing AdaCore
+33 1 49 70 87 82

Etats Unis:
Jessie Glockner
Représentante des Relations Publiques AdaCore
+1-646-532-2723

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

Paris, 21. Monat 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 für die Anwendung Code. 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 gezeichnete Zusammenarbeit umgesetzt", sagte 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 In-ternet 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 gleichen Hardware zu bringen, was den Platzbedarf, die Hardwarekosten, der 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 unter
www.pr-com.de/adacore abgerufen werden.

Ü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

Pressekontakte:
AdaCore
Jamie Ayre
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany

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