• 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 Jan 5 '23

    New Website for Comments on the Ada Standard

    Posted by ARG

    The Ada Rapporteur Group (ARG) of Working Group 9 (ISO WG9), within ISO/IEC JTC1 SC22, is responsible for maintaining and advancing the International Standard for the Ada Programming Language (ISO/IEC 8652). In the past, the ARG has used the “ada-comment” mailing list as the official place to file comments or suggestions about the Standard. We have now moved to an online approach using a website and a GitHub issue repository. Therefore, we ask all those with comments about the Ada Standard or the Ada Reference Manual to visit the new ARG website:

    https://arg.adaic.org

    and select the “Community Input” page. There you will find forms for filing comments, or for requesting the formation of a “language study group” to focus on particular thorny topics associated with the language (an example might be “distributed computing” or “tree pattern matching”).

    Alternatively, you can head over to the ARG GitHub repository:

    https://github.com/Ada-Rapporteur-Group/User-Community-Input

    and select the GitHub “issue” tab to post your comments, or join a discussion on issues already there.

    Continue Reading
  • 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 Jul 8 '22

    PTC ObjectAda 10.4 is now available

    Posted by PTC
    PTC has released of version 10.4 of its popular PTC® ObjectAda and PTC ObjectAda64 Ada compilers in both Linux and Windows version. This new release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1Z, enhanced support for Windows 11 based on the Microsoft Visual Studio 2022 Build Tools and Windows 11 SDK components, as well as runtime library enhancements on Linux for compatibility with the Windows implementation.
    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 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
  • 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
  • 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
previous12345678910111213141516171819next
  • 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
PTC Logo 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