Press release

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

0
Sponsorisé par GlobeNewsWire

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

TOULOUSE, France–(BUSINESS WIRE)–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