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

Ada Resource Association

News and resource for the Ada programming language

  • Blog Jul 27 '19

    Additional Comment Period for Upcoming A...

    by brukardt

    ISO/IEC JTC 1/SC 22/WG 9 (WG 9) is responsible for the maintenance and revision of the Ada Programming Language and associated standards and technical reports. As part of the language maintenance activity, WG 9 has established a group of Ada experts as the Ada Rapporteur Group (ARG). The ARG receives input from the Ada community at large to consider for inclusion in revision to the Ada programming language standard. The WG 9 has produced a number of revisions to the language in accordance with ISO policy and to address the evolution of technology (Ada 83, Ada 95, Ada 2005, Ada 2012).

    Presently, the ARG is nearing completion on a revision to Ada 2012 (known for now as Ada 202x) which includes new contracts and lightweight parallelism features. Concern has been raised that these new proposals have not been prototyped nor has the suitability for diverse target environments been assessed.

    Therefore, the ARG is seeking comments, based on prototyping and review, on the new features (focused on the parallelism features) incorporated within the current draft of the Ada 202X standard. Comments should be submitted to ada-comment@ada-auth.org as described in the Ada Reference Manual Introduction (http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-0-3.html#p58). Please include the draft number with any Ada Reference Manual references in your comment. Comments should be sent by 1 June 2020 in order to be considered for the revision. (Note: While not required, joining the mailing list as described at http://www.ada-auth.org/comment.html is recommended so that you receive any queries on or responses to your comment.)

    The draft revision can be found at http://www.ada-auth.org/standards/ada2x.html. A list of issues addressed in Ada 202x can be found at http://www.ada-auth.org/ai-files/grab_bag/2020-Amendments.html.

    Read Blog Entry
  • Press Release Jun 26 '19

    Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite

    Posted by AdaCore
    Code Dx, Inc., provider of an application security management solution, today announced its partnership with AdaCore. Through this partnership, Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator.
    Continue Reading
  • Press Release May 26 '19

    PTC ObjectAda includes more Ada 2012 features

    Posted by PTC
    PTC has released of version 10.1 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release expands the support for Ada 2012 language features to include the complete set of Ada 2012 container packages and support for the associated Ada 2012 language constructs required by those packages. Support for dynamic contracts (preconditions and postconditions for subprograms), aspect specifications, new flexible forms of expressions has also been enhanced in this new release. 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 Apr 23 '19

    AdaCore Now a Principal Member of The Open Group FACE™ Consortium

    Posted by AdaCore
    AdaCore, a trusted provider of software development and verification tools for the Ada programming language, is raising its membership level in The Open Group’s Future Airborne Capability Environment (FACE™) Consortium from Associate to Principal.
    Continue Reading
  • Press Release Mar 12 '19

    AdaCore Extends Support for Wind River VxWorks

    Posted by AdaCore
    The GNAT Pro Ada Development Environment is available the latest version of the Wind River® VxWorks® real-time operating system (RTOS) for the ARM 64-bit processor. Other platforms will be available in the coming months.
    Continue Reading
  • Blog Mar 10 '19

    Ada Programmer Interviews

    by brukardt
    Tomek Walkuski has been posting a series of interviews with software developers interested in the Ada programming language. His goal is to promote both the Ada language and the Ada community. You can find the interviews on his site.

    Read Blog Entry
  • Press Release Feb 19 '19

    AdaCore Annual V19 Product Release Brings Performance Improvements and more

    Posted by AdaCore
    The annual major product releases from AdaCore for GNAT Pro and other products have taken place. This brings support for new platforms, performance improvements, and functionality enhancements.
    Continue Reading
  • Article Feb 6 '19

    Securing the Future of Safe Autonomous Driving

    Published in NVidia by Shri Sundaram
    NVidia is working with AdaCore to make improve the correctness of firmware.
    Continue Reading
  • Press Release Feb 5 '19

    AdaCore Enhances Security-Critical Firmware with NVIDIA

    Posted by AdaCore
    AdaCore is working with NVIDIA to implement Ada and SPARK programming languages for select security-critical firmware used for applications that demand stringent safety and security capabilities, like automated and autonomous driving.
    Continue Reading
  • Press Release Jan 30 '19

    AdaCore Joins the RISC-V Foundation

    Posted by AdaCore
    AdaCore has joined the RISC-V Foundation, a non-profit organization chartered to standardize and promote the free and open RISC-V instruction set architecture (ISA) together with its hardware and software ecosystem. GNAT Pro Ada targeted to bare metal RISC-V 32- and 64-bit architectures, as well as the GNAT Community edition for bare metal RISC-V 32-bit configurations, are now available.
    Continue Reading
previous12345678910111213141516171819202122232425262728293031323334next
  • Press
  • Articles
  • Events
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