Welcome!

News Feed Item

AdaCore lance ses nouvelles lignes de produits GNAT Pro

AdaCore Tech Days-- En réponse aux exigences en constante évolution de nos clients existants et l’intérêt croissant porté à Ada par des domaines d’application traditionnellement basés en C, AdaCore annonce aujourd’hui le lancement de trois lignes de produits pour sa technologie GNAT Pro :

  • GNAT Pro Enterprise, un environnement riche en fonctionnalités supportant le développement industriel de logiciels indispensables à une mission ;
  • GNAT Pro Assurance, une extension de GNAT Pro Enterprise destinée à des utilisateurs ayant des exigences en matière de certifications logicielles ou nécessitant une plateforme de développement stable maintenue (avec des corrections apportées à des problèmes critiques) tout au long d’un projet de longue durée ; et
  • GNAT Pro Developer, destiné aux nouveaux utilisateurs d’Ada désireux de bénéficier des qualités du langage pour le génie logiciel et la détection précoce des erreurs.

GNAT Pro Enterprise combine et remplace les produits existants GNAT Pro natifs/croisés et GNAT Pro Ada Safety-Critical. Il supporte toutes les versions de la norme du langage Ada et inclut une boîte à outils complète (outil de débogage visuel, environnements de développement GNAT Programming Studio et GNATbench, divers outils d’analyse statique, un orchestrateur de construction multi-langages et bien plus encore), ainsi qu’un support en ligne de premier ordre fourni par les développeurs du produit eux-mêmes.

GNAT Pro Assurance enrichit GNAT Pro Enterprise d’un nouveau service connu sous le nom de « branches maintenues », qui permet aux clients de continuer à utiliser une version spécifique d’une technologie sur l’ensemble de la durée de leur abonnement tout en bénéficiant de corrections apportées à des problèmes de génération de code. GNAT Pro Assurance fournit également de façon optionnelle un ensemble de services de certifications logicielles tels que du matériel de certification pour des bibliothèques d’exécution de haute intégrité.

GNAT Pro Developer est une nouvelle ligne de produits offrant une solution d’entrée de gamme pour les programmeurs désirant bénéficier des nombreux avantages d’Ada 2012, y compris la programmation basée sur les contrats, un typage fort, un support pour la programmation de bas niveau, des modèles génériques avec typage sûr, ainsi que des fonctions de concurrence structurée. Le produit est particulièrement adapté aux programmeurs en C et C++ réalisant des systèmes embarqués à faible empreinte et cherchant une transition simple vers un langage plus fiable.

Tous les produits GNAT Pro incluent SPARK Discovery, une suite d’outils pour les méthodes formelles permettant aux développeurs de démontrer avec une rigueur mathématique certaines propriétés du programme allant de la sécurité du flux de données à l’absence d’erreurs d’exécution.

« Le remaniement de la ligne de produits GNAT Pro constitue une étape naturelle de la croissance et de l’évolution de notre technologie Ada, permettant de simplifier les choses pour nos clients tout en leur apportant de nouveaux avantages », a commenté Jamie Ayre, Directeur Commercial chez AdaCore. « Toute personne utilisant actuellement GNAT Pro peut poursuivre avec GNAT Pro Enterprise ou encore passer à GNAT Pro Assurance si elle a des exigences de certification ou besoin de support à long terme sur une version spécifique de la technologie. Quant aux nouveaux utilisateurs d’Ada, GNAT Pro Developer constituera un moyen avantageux de démarrer et de devenir productif avec Ada. »

« AdaCore a toujours perçu les bénéfices d’Ada en tant que langage alternatif pour la programmation de systèmes embarqués auprès de ses clients dans des domaines d’application aussi divers que le matériel médical ou le contrôle des procédés industriels », a indiqué Quentin Ochem, Directeur du Business Development at AdaCore. « Mais la réelle nouveauté réside dans la récente et significative augmentation du nombre de demandes émanant de ces domaines et d’autres, y compris les drones et les véhicules autonomes / à conduite assistée. GNAT Pro Developer constitue notre premier pas vers l’intégration de cette vague de nouveaux utilisateurs de la technologie Ada. »

GNAT Pro Assurance, GNAT Pro Enterprise, et GNAT Pro Developer sont disponibles dés à présent ; merci de contacter [email protected] pour toute demande de devis, d’informations concernant le support des plateformes ou pour tout autre renseignement sur ces produits.

A 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® et 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

More Stories By Business Wire

Copyright © 2009 Business Wire. All rights reserved. Republication or redistribution of Business Wire content is expressly prohibited without the prior written consent of Business Wire. Business Wire shall not be liable for any errors or delays in the content, or for any actions taken in reliance thereon.

Latest Stories
SYS-CON Events announced today that Evatronix will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Evatronix SA offers comprehensive solutions in the design and implementation of electronic systems, in CAD / CAM deployment, and also is a designer and manufacturer of advanced 3D scanners for professional applications.
"I focus on what we are calling CAST Highlight, which is our SaaS application portfolio analysis tool. It is an extremely lightweight tool that can integrate with pretty much any build process right now," explained Andrew Siegmund, Application Migration Specialist for CAST, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
To get the most out of their data, successful companies are not focusing on queries and data lakes, they are actively integrating analytics into their operations with a data-first application development approach. Real-time adjustments to improve revenues, reduce costs, or mitigate risk rely on applications that minimize latency on a variety of data sources. In his session at @BigDataExpo, Jack Norris, Senior Vice President, Data and Applications at MapR Technologies, reviewed best practices to ...
As many know, the first generation of Cloud Management Platform (CMP) solutions were designed for managing virtual infrastructure (IaaS) and traditional applications. But that's no longer enough to satisfy evolving and complex business requirements. In his session at 21st Cloud Expo, Scott Davis, Embotics CTO, explored how next-generation CMPs ensure organizations can manage cloud-native and microservice-based application architectures, while also facilitating agile DevOps methodology. He expla...
SYS-CON Events announced today that Synametrics Technologies will exhibit at SYS-CON's 22nd International Cloud Expo®, which will take place on June 5-7, 2018, at the Javits Center in New York, NY. Synametrics Technologies is a privately held company based in Plainsboro, New Jersey that has been providing solutions for the developer community since 1997. Based on the success of its initial product offerings such as WinSQL, Xeams, SynaMan and Syncrify, Synametrics continues to create and hone inn...
"Evatronix provides design services to companies that need to integrate the IoT technology in their products but they don't necessarily have the expertise, knowledge and design team to do so," explained Adam Morawiec, VP of Business Development at Evatronix, in this SYS-CON.tv interview at @ThingsExpo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
DevOps promotes continuous improvement through a culture of collaboration. But in real terms, how do you: Integrate activities across diverse teams and services? Make objective decisions with system-wide visibility? Use feedback loops to enable learning and improvement? With technology insights and real-world examples, in his general session at @DevOpsSummit, at 21st Cloud Expo, Andi Mann, Chief Technology Advocate at Splunk, explored how leading organizations use data-driven DevOps to clos...
Recently, REAN Cloud built a digital concierge for a North Carolina hospital that had observed that most patient call button questions were repetitive. In addition, the paper-based process used to measure patient health metrics was laborious, not in real-time and sometimes error-prone. In their session at 21st Cloud Expo, Sean Finnerty, Executive Director, Practice Lead, Health Care & Life Science at REAN Cloud, and Dr. S.P.T. Krishnan, Principal Architect at REAN Cloud, discussed how they built...
The dynamic nature of the cloud means that change is a constant when it comes to modern cloud-based infrastructure. Delivering modern applications to end users, therefore, is a constantly shifting challenge. Delivery automation helps IT Ops teams ensure that apps are providing an optimal end user experience over hybrid-cloud and multi-cloud environments, no matter what the current state of the infrastructure is. To employ a delivery automation strategy that reflects your business rules, making r...
The past few years have brought a sea change in the way applications are architected, developed, and consumed—increasing both the complexity of testing and the business impact of software failures. How can software testing professionals keep pace with modern application delivery, given the trends that impact both architectures (cloud, microservices, and APIs) and processes (DevOps, agile, and continuous delivery)? This is where continuous testing comes in. D
Modern software design has fundamentally changed how we manage applications, causing many to turn to containers as the new virtual machine for resource management. As container adoption grows beyond stateless applications to stateful workloads, the need for persistent storage is foundational - something customers routinely cite as a top pain point. In his session at @DevOpsSummit at 21st Cloud Expo, Bill Borsari, Head of Systems Engineering at Datera, explored how organizations can reap the bene...
No hype cycles or predictions of a gazillion things here. IoT is here. You get it. You know your business and have great ideas for a business transformation strategy. What comes next? Time to make it happen. In his session at @ThingsExpo, Jay Mason, an Associate Partner of Analytics, IoT & Cybersecurity at M&S Consulting, presented a step-by-step plan to develop your technology implementation strategy. He also discussed the evaluation of communication standards and IoT messaging protocols, data...
In a recent survey, Sumo Logic surveyed 1,500 customers who employ cloud services such as Amazon Web Services (AWS), Microsoft Azure, and Google Cloud Platform (GCP). According to the survey, a quarter of the respondents have already deployed Docker containers and nearly as many (23 percent) are employing the AWS Lambda serverless computing framework. It’s clear: serverless is here to stay. The adoption does come with some needed changes, within both application development and operations. Tha...
Digital transformation is about embracing digital technologies into a company's culture to better connect with its customers, automate processes, create better tools, enter new markets, etc. Such a transformation requires continuous orchestration across teams and an environment based on open collaboration and daily experiments. In his session at 21st Cloud Expo, Alex Casalboni, Technical (Cloud) Evangelist at Cloud Academy, explored and discussed the most urgent unsolved challenges to achieve f...
With tough new regulations coming to Europe on data privacy in May 2018, Calligo will explain why in reality the effect is global and transforms how you consider critical data. EU GDPR fundamentally rewrites the rules for cloud, Big Data and IoT. In his session at 21st Cloud Expo, Adam Ryan, Vice President and General Manager EMEA at Calligo, examined the regulations and provided insight on how it affects technology, challenges the established rules and will usher in new levels of diligence arou...