• 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 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 Nov 5 '21

    PTC ObjectAda 10.3 now available for Linux

    Posted by PTC
    PTC has released version 10.3 of its PTC® ObjectAda fand PTC ObjectAda64 for Linux. Building upon the Ada 2012 and 64-bit code generation introduced by the previous version, this new product release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1V and includes complete support for Annex G “Numerics”. ObjectAda version 10.3 represents a substantial refinement of the Ada 2012 language feature support within the ObjectAda technology. ObjectAda version 10.3 for Linux/Intel contains the same improvements in the ObjectAda compiler technology that were introduced earlier with ObjectAda for Windows v10.3.
    Continue Reading
  • Blog Oct 14 '21

    Free tools and libraries updates

    by brukardt
    Here are some recent updates to our Free Tools and Libraries page:

    October 14, 2021: Added Adare_Net, a small, portable and easy to use Ada network library.
    June 14, 2021: Added Portable OpenAL Sound, a minimal library interfacing to OpenAL Sound to provide the capabilities of playing sound files on many platforms.
    Added ARE (Advanced Resource Embedder), a tool which can generate Ada code to embed a file (image, script, etc) in an Ada executable.
    April 8, 2021: Added aShell, a library for adding shell-like operations to an Ada program.
    January 26, 2021: Added Dotenv, a library to load environment variables from a file.
    December 18, 2020: Added UXStrings, a Unicode string package.
    Added DePlo, a program to create a plot of dependencies between Ada packages.
    October 16, 2020: Added GDNative, a binding to Godot Nativescript.
    Added MP, a Music Player based on the Gnoga audio widget.
    Added Resource, a tool to convert resource files to Ada source code to be compiled and included in a binary.
    (This post will be periodically updated – Webmaster.)
    Read Blog Entry
  • Press Release Oct 3 '21

    PTC ObjectAda for Windows Version 10.3 is now available

    Posted by PTC
    PTC has released of version 10.3 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1V and including complete support for Annex G “Numerics”. ObjectAda for Windows and ObjectAda64 for Windows support development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 / 2019 development tools and libraries from the Windows 10 Software Development Kit (SDK).
    Continue Reading
  • Press Release Jun 14 '21

    PTC ApexAda VxWorks 7 Armv8 Available

    Posted by PTC
    PTC has released its new ApexAda v5.2 Linux/Intel64-hosted embedded Ada compiler and runtime environment for the Wind River VxWorks 7 real-time operating system on Armv8 64-bit (aarch64) processors. With the release of this new product, PTC extends the capabilities of its extensive line of native and cross compilers for Ada application development with ApexAda v5.2 embedded with support for VxWorks 7 Armv8 64-bit (aarch64) targets. Included with the 64-bit embedded compiler is the PTC ApexAda v5.2 64-bit compiler for Linux native application development. ApexAda V5.2 Embedded compilers provide a complete cross-development toolchain hosted from Linux distributions including RedHat Enterprise Edition, CentOS, and SUSE.
    Continue Reading
  • Article May 27 '21

    Ada for the Embedded C Developer

    Published in Electronic Design by Fabien Chouteau
    This seven-part series introduces Ada to Embedded C Developers.
    Continue Reading
  • Article Apr 11 '21

    AUJ December Issue available online

    Published in Ada User Journal by Ada User Journal
    Due to the continuing COVID-19 pandemic, there is a substantial lag between the creation and printing of an issue of the Ada User Journal. Because of this, recent issues have been made available on-line in their entirety. The December 2020 issue has just been posted.
    Download PDF
  • Press Release Apr 3 '21

    PTC ApexAda Embedded Update for VxWorks 7 is Available

    Posted by PTC
    A major update to the PTC ApexAda Linux/Intel64-hosted embedded Ada compiler and runtime environment for the Wind River VxWorks 7 real-time operating system is now available. The update provides support for the SR0650 and SR0660 Standard Releases of VxWorks 7. With the release of this major product update, PTC extends the capabilities of its extensive line of native and cross compilers for Ada application development with ApexAda v5.2 embedded with support for these latest VxWorks 7 releases on Intel64 targets and establishes the foundation for the introduction of follow-on new product releases for the Armv8 64-bit (aarch64) architecture. Included with the 64-bit embedded compiler is the PTC ApexAda v5.2 64-bit compiler for Linux native application development.
    Continue Reading
previous12345678910111213141516171819202122232425262728293031323334next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
View All Sponsors

Upcoming Events

  • Ada-Europe 2022
    Jun 14-17, 2022 Ghent, Belgium
  • HILT 2022 – Supporting a Rigorous Approach to Software Development
    Oct 14, 2022 Ann Arbor, Michigan

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-2022 Ada Resource Association Site Map | Contact Us