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
The challenges of aggregating data from consumer-oriented devices, such as wearable technologies and smart thermostats, are fairly well-understood. However, there are a new set of challenges for IoT devices that generate megabytes or gigabytes of data per second. Certainly, the infrastructure will have to change, as those volumes of data will likely overwhelm the available bandwidth for aggregating the data into a central repository. Ochandarena discusses a whole new way to think about your next...
So the dumpster is on fire. Again. The site's down. Your boss's face is an ever-deepening purple. And you begin debating whether you should join the #incident channel or call an ambulance to deal with his impending stroke. Yes, we know this is a developer's fault. There's plenty of time for blame later. Postmortems have a macabre name because they were once intended to be Viking-like funerals for someone's job. But we're civilized now. Sort of. So we call them post-incident reviews. Fires are ne...
Whenever a new technology hits the high points of hype, everyone starts talking about it like it will solve all their business problems. Blockchain is one of those technologies. According to Gartner's latest report on the hype cycle of emerging technologies, blockchain has just passed the peak of their hype cycle curve. If you read the news articles about it, one would think it has taken over the technology world. No disruptive technology is without its challenges and potential impediments t...
Hackers took three days to identify and exploit a known vulnerability in Equifax’s web applications. I will share new data that reveals why three days (at most) is the new normal for DevSecOps teams to move new business /security requirements from design into production. This session aims to enlighten DevOps teams, security and development professionals by sharing results from the 4th annual State of the Software Supply Chain Report -- a blend of public and proprietary data with expert researc...
CloudEXPO New York 2018, colocated with DevOpsSUMMIT and DXWorldEXPO New York 2018 will be held November 12-13, 2018, in New York City and will bring together Cloud Computing, FinTech and Blockchain, Digital Transformation, Big Data, Internet of Things, DevOps, AI and Machine Learning to one location.
CloudEXPO | DevOpsSUMMIT | DXWorldEXPO are the world's most influential, independent events where Cloud Computing was coined and where technology buyers and vendors meet to experience and discuss the big picture of Digital Transformation and all of the strategies, tactics, and tools they need to realize their goals. Sponsors of DXWorldEXPO | CloudEXPO benefit from unmatched branding, profile building and lead generation opportunities.
DXWorldEXPO LLC announced today that Nutanix has been named "Platinum Sponsor" of CloudEXPO | DevOpsSUMMIT | DXWorldEXPO New York, which will take place November 12-13, 2018 in New York City. Nutanix makes infrastructure invisible, elevating IT to focus on the applications and services that power their business. The Nutanix Enterprise Cloud Platform blends web-scale engineering and consumer-grade design to natively converge server, storage, virtualization and networking into a resilient, softwar...
The digital transformation is real! To adapt, IT professionals need to transform their own skillset to become more multi-dimensional by gaining both depth and breadth of a wide variety of knowledge and competencies. Historically, while IT has been built on a foundation of specialty (or "I" shaped) silos, the DevOps principle of "shifting left" is opening up opportunities for developers, operational staff, security and others to grow their skills portfolio, advance their careers and become "T"-sh...
Lori MacVittie is a subject matter expert on emerging technology responsible for outbound evangelism across F5's entire product suite. MacVittie has extensive development and technical architecture experience in both high-tech and enterprise organizations, in addition to network and systems administration expertise. Prior to joining F5, MacVittie was an award-winning technology editor at Network Computing Magazine where she evaluated and tested application-focused technologies including app secu...
DXWorldEXPO LLC announced today that Big Data Federation to Exhibit at the 22nd International CloudEXPO, colocated with DevOpsSUMMIT and DXWorldEXPO, November 12-13, 2018 in New York City. Big Data Federation, Inc. develops and applies artificial intelligence to predict financial and economic events that matter. The company uncovers patterns and precise drivers of performance and outcomes with the aid of machine-learning algorithms, big data, and fundamental analysis. Their products are deployed...
ICC is a computer systems integrator and server manufacturing company focused on developing products and product appliances to meet a wide range of computational needs for many industries. Their solutions provide benefits across many environments, such as datacenter deployment, HPC, workstations, storage networks and standalone server installations. ICC has been in business for over 23 years and their phenomenal range of clients include multinational corporations, universities, and small busines...
This sixteen (16) hour course provides an introduction to DevOps, the cultural and professional movement that stresses communication, collaboration, integration and automation in order to improve the flow of work between software developers and IT operations professionals. Improved workflows will result in an improved ability to design, develop, deploy and operate software and services faster.
Headquartered in Plainsboro, NJ, Synametrics Technologies has provided IT professionals and computer systems developers since 1997. Based on the success of their initial product offerings (WinSQL and DeltaCopy), the company continues to create and hone innovative products that help its customers get more from their computer applications, databases and infrastructure. To date, over one million users around the world have chosen Synametrics solutions to help power their accelerated business or per...
All in Mobile is a place where we continually maximize their impact by fostering understanding, empathy, insights, creativity and joy. They believe that a truly useful and desirable mobile app doesn't need the brightest idea or the most advanced technology. A great product begins with understanding people. It's easy to think that customers will love your app, but can you justify it? They make sure your final app is something that users truly want and need. The only way to do this is by ...
Authorization of web applications developed in the cloud is a fundamental problem for security, yet companies often build solutions from scratch, which is error prone and impedes time to market. This talk shows developers how they can (instead) build on-top of community-owned projects and frameworks for better security.Whether you build software for enterprises, mobile, or internal microservices, security is important. Standards like SAML, OIDC, and SPIFFE help you solve identity and authenticat...