• 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 Feb 18 '20

    Ada Toolchain Now Qualified for ISO 26262 and IEC 61508

    Posted by AdaCore
    AdaCore announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. The tools are GNAT Pro, SPARK Pro, and CCG.
    Continue Reading
  • Article Nov 28 '19

    AUJ Quarterly News Digest, March 2019

    Published in Ada User Journal by Ada User Journal
    The Quarterly New Digest from the Ada User Journal, Issue 40.1, March 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
    Download PDF
  • Blog Nov 28 '19

    Ada User Journal News Digests now availa...

    by brukardt

    The AdaIC is happy to announce a new service, providing links to the Ada User Journal (AUJ) News Digests as each becomes available.

    The Ada User Journal (AUJ), currently in its 40th year of existence, is published by Ada-Europe four times a year, in March, June, September and December.

    The AUJ Online Archive makes the full AUJ issues publicly available 1 year after publication and distribution to AUJ subscribers. Every issue includes a Quarterly News Digest section, which is separately made publicly available 6 months after publication.

    Read Blog Entry
  • Article Oct 30 '19

    Make It With Ada 2019

    Published in Electronic Design by William Wong
    William Wong announces the 2019 edition of the Make It With Ada contest.
    Continue Reading
  • Article Oct 29 '19

    Learn and Use Ada and SPARK

    Published in Electronic Design
    Electronic Design provides a compilation of all of their articles on Ada and SPARK.
    Continue Reading
  • Article Oct 24 '19

    The Future of Safe Programming

    Published in Circuit Cellar
    As software is getting more and more tightly involved in almost every device, so are demands for safety and security. The automotive domain with assisted or autonomous driving is a good example (Figure 1). The increased cost may look prohibitive at first, but fortunately, there are other ways to improve the situation: starting by improving the programming language itself.
    Continue Reading
  • Press Release Sep 24 '19

    European Space Agency Uses AdaCore’s Qualified Multitasking Solution

    Posted by AdaCore

    The European Space Agency (ESA) has selected AdaCore to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.

    As part of this contract, AdaCore has implemented a pre-qualified version of the Ravenscar Small Footprint (SFP) library – a configurable Ada run-time library that implements the Ravenscar profile, allows customization for specific platforms and capabilities, and is suitable for qualification in different domains, particularly those in which certification or a reduced footprint is needed.

    The result, a pre-qualified, multitasking runtime named Ravenscar SFP QUAL, targets Ada development on LEON2 and LEON3 boards. It is pre-qualified according to the European Cooperation for Space Standardisation’s (ECSS) Criticality Level B for software.

    Continue Reading
  • 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
previous12345678910111213141516171819202122232425262728293031323334next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
View All Sponsors

Upcoming Events

  • 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