• 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 3 '20

    Winners for 4th Make it With Ada contest announced

    Posted by AdaCore
    The winning entries for the 4th annual Make It With Ada contest have been announced. The winner is John Singleton for his SmartBase IoT Adjustable Bed.
    Continue Reading
  • 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
  • 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
  • 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
  • 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
  • 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
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