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

Etats Unis:
Jessie Glockner, +1-646-532-2723
Représentante des Relations Publiques AdaCore
ou
Europe:
Emma Adby, +33 1 49 70 87 82
Responsable des Opérations Marketing AdaCore
ou
Contacts Presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

Contacts

Etats Unis:
Jessie Glockner, +1-646-532-2723
Représentante des Relations Publiques AdaCore
ou
Europe:
Emma Adby, +33 1 49 70 87 82
Responsable des Opérations Marketing AdaCore
ou
Contacts Presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany