• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Dec 22 '22

    AdaCore Offers Ada Static Analysis for Coverity Customers

    Posted by AdaCore
    AdaCore is collaborating with Synopsys Software Integrity Group to make AdaCore’s GNAT Static Analysis Suite available to Synopsys Coverity® static analysis customers. Synopsys markets the Coverity tool, which improves the reliability, safety, and security of applications written in a number of programming languages, including C and C++. To support Coverity customers needing static analysis for the Ada programming language, Synopsys is AdaCore. Joint customers will be able to use AdaCore’s GNAT Static Analysis Suite for Ada, integrated within the Coverity solution, providing a common interface to navigate static analysis results for all languages.
    Continue Reading
  • Press Release Mar 17 '22

    GNAT Pro Assurance Development Environment Reinforces Security Support

    Posted by AdaCore
    The latest version of AdaCore’s signature GNAT Pro Assurance product introduces a service that helps customers with their vulnerability mitigation strategy for third-party tools. With GNAT Pro Assurance 22, customers can request a detailed list of known problems, each keyed to The MITRE Corporation’s Common Vulnerability Enumeration (CVE) database. Vulnerability reports are provided in machine-readable CVE JSON format as well as human-readable PDF reports. In addition to this information, AdaCore now produces Software Bills of Materials (SBOM). SBOMs are supplied in the industry-standard Software Package Data Exchange (SPDX) format, allowing automated incorporation into customers’ vulnerability management and reporting systems.
    Continue Reading
  • Press Release Feb 22 '22

    AdaCore Launches GNAT Dynamic Analysis Suite

    Posted by AdaCore
    AdaCore announces its new GNAT Dynamic Analysis Suite – a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.

    Features and Benefits of the GNAT Dynamic Analysis Suite:

    • The GNATtest automated test-harness generator for Ada
    • The GNATcoverage tool that analyzes and reports Ada and C program coverage
    • Sound analysis, test, and verification evidence that satisfies certification requirements for a variety of industry software safety standards (available as an option for GNAT Pro Assurance customers)
    • Early access to emerging cybersecurity technologies, such as fuzzing
    Continue Reading
  • Press Release Jan 12 '22

    ENYSE Selects GNAT Pro to Build Innovative Railway Signalling System

    Posted by AdaCore
    ENYSE, part of the ACS group, has selected its GNAT Pro development environment to develop its new safety-critical railway signaling solutions. As part of one of its research and development department projects, ENYSE will use the tool, and the Ada programming language, to build the Radio Block Centre (RBC), a microprocessor-based system that will be the cornerstone of its advanced new rail signaling system.
    Continue Reading
  • Press Release Mar 16 '21

    Winners of Fifth Annual “Make with Ada” Competition Announced

    Posted by AdaCore
    AdaCore announced the winners of its fifth annual Make with Ada programming competition for embedded projects. The contest ran from July 31, 2020, through January 31, 2021, and attracted 173 participants from all over the world. First place went to Tharindu Suraj Liyanage, Founder, and CEO of UAV-based startup SRQ Robotics, for his Autonomous Crazyflie with ToF Sensors. The project added additional sensors to the Crazyflie drone. The Student Prize was awarded to Ahmed Hamdy, an MSc. Computer & Systems Engineering student at Universiti Teknologi Malaysia in Kuala Lumpur, Malaysia, for his Ada Accelerometer Driver + Stable Nerve Game. He used the Ada language to write an accelerometer driver for LSM303AGR on a BBC:MicroBit v1.5, then used that driver to make a small game that challenges the player to keep the MicroBit in an almost flat position where acceleration along X and Y axes is close to zero.
    Continue Reading
  • Press Release Dec 4 '20

    Consafe Logistics Selects GNAT Pro for Critical Warehouse System

    Posted by AdaCore
    Consafe Logistics, the leading European supplier of warehouse management solutions, has deployed AdaCore’s GNAT Pro Ada development environment to implement mission-critical firmware within its innovative Warehouse Control Systems (WCS). The selection of GNAT Pro Ada enables Consafe Logistics to meet stringent assurance requirements, helping ensure that its systems operate reliably, safely and securely at its customers’ large and complex warehouse sites. Consafe Logistics solutions keep more than 500 warehouses in 30 countries running, delivering goods to millions of customers.
    Continue Reading
  • Press Release Nov 24 '20

    GNAT Pro for the Wind River Helix Virtualization Platform

    Posted by AdaCore
    AdaCore today launched a new edition of its premier GNAT Pro Ada development toolsuite in support of the Wind River® Helix™ Virtualization Platform. GNAT Pro Ada enhances Helix Platform’s ability to consolidate mixed-criticality aerospace, defense and automotive applications onto a scalable, agile and certifiable platform.
    Continue Reading
  • Press Release Nov 2 '20

    Hitachi Rail STS France Chooses AdaCore for its New Rail Platform

    Posted by AdaCore
    Hitachi Rail STS (Signalling and Transportation Systems) France has selected an Ada runtime and a compiler targeting ARM processors from AdaCore for its CSD (Calculator of Available Safety) rail safety platform. Hitachi Rail STS specializes in the design of systems ensuring the safe circulation of trains on railway lines and metro networks.
    Continue Reading
  • Press Release Sep 7 '20

    European Aerospace Company Chooses GNAT Pro Ada

    Posted by AdaCore
    Airbus Helicopters (France) has selected the GNAT Pro tool suite and the Ada programming language to develop new software components for the VSR700 prototype project. VSR700 is Airbus Helicopters’ tactical unmanned aerial system (UAS) designed to meet the demanding requirements of global navies and armies in the 21st century.
    Continue Reading
  • Press Release Jul 24 '20

    5th Annual Make It With Ada Competition

    Posted by AdaCore
    The 5th Annual Make It With Ada competition will run from July 31st, 2020 to January 31st, 2021. There will be $9000 in prizes.
    Continue Reading
previous123456789101112131415next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • ARG
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us