• 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 May 23 '18

    University of Colorado adopts Ada for NASA Project

    Posted by AdaCore
    The University of Colorado’s Laboratory for Atmospheric and Space Physics (LASP) has selected the Ada language and AdaCore’s GNAT Pro for the ARM Cortex product for NASA’s Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder mission. CLARREO Pathfinder will deploy a Reflected Solar spectrometer on the International Space Station (ISS) starting in 2021 that will detect the complete spectrum of radiation from the Sun reflected by Earth.
    Continue Reading
  • Press Release May 15 '18

    GNAT Pro now available for Blackberry QNX

    Posted by AdaCore
    AdaCore has partnered with Blackberry to make GNAT Pro available for the Blackberry QNX operating system.
    Continue Reading
  • Article Apr 1 '18

    New Ada Features Approved

    Published in Accurate Ada News
    The several new features for the Ada language have been approved. Included is a new assertion policy and a new pragma intended to improve the safety of Ada code.
    Continue Reading
  • Article Mar 20 '18

    You think your software works? Prove it!

    Published in Embedded.com by Ben Brosgol
    The author discusses using Ada and SPARK to create a hybrid verification environment, where some of the code is proved with SPARK and the rest is tested traditionally.
    Continue Reading
  • Press Release Feb 27 '18

    AdaCore tools used in Artifical Heart

    Posted by AdaCore
    Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart. Scandinavian Real Heart’s Total Artificial Heart mimics the way that the natural heart functions to save patients with heart failure, and give them a better quality of life than the alternatives that are available today. Scandinavian Real Heart is using a suite of AdaCore tools, include the GNAT Pro Ada development environment.
    Continue Reading
  • Press Release Feb 1 '18

    AdaCore Releases Version 18.1 Products

    Posted by AdaCore
    AdaCore has released new versions of all of their products, include GNAT Pro, SPARK Pro, and CodePeer.
    Continue Reading
  • Blog Jan 18 '18

    Going All in with Ada

    by brukardt

    A recent Reddit post describes one programmer’s transition to Ada: Going All In With Ada. It’s an interesting read, especially for those of us that have been working to show the benefits of using Ada for decades.

    Read Blog Entry
  • Press Release Jan 16 '18

    DENSO Using SPARK Technology for Automotive Research Project

    Posted by AdaCore
    AdaCore publisizes the successful completion of a research project for DENSO, Application of Formal Methods to Help Achieve Freedom from Interference. This project, conducted jointly with the University of Nagasaki, had the goal of simplifying the development of safety-critical automotive applications in an ISO 26262 context.
    Continue Reading
  • Blog Dec 15 '17

    Dr. Peter Chapin (Vermont Technical Coll...

    by brukardt

    The ARA congratulates Dr. Peter Chapin on his receipt of ACM SIGAda’s Robert Dewar Award, which acknowledges outstanding contributions to the Ada community. Dr. Chapin was a major contributor to the Vermont Tech Lunar CubeSat project (cubesatlab.org) whose software was written in SPARK/Ada. The Vermont Tech CubeSat was launched in November 2013 and successfully completed its full two-year mission, the only one out of twelve academic CubeSats to do so. Dr. Chapin attributes the software’s reliability in large part to the SPARK/Ada technology, which was used to prove the absence of run-time errors.

    Dr. Chapin is now coordinating the work on CubedOS, a SPARK/Ada implementation of a software framework for small spacecraft, with plans to release the result as an open-source project. Other groups will thus have access to a high-integrity software base for their CubeSats, which currently have a very high failure rate.

    Dr. Chapin is the co-author, along with Prof. John McCormick, of “Building High Intergrity Applications with SPARK”, a student-oriented textbook on SPARK 2014.

    Read Blog Entry
  • Article Dec 4 '17

    Hybrid Verification: Mixing Formal Methods and Testing

    Published in Stockyminds by Ben Brosgol
    The author describes how Ada code can be used in environments where formal analysis of the entire program is impractical.
    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore View All Sponsors



AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • 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-2021 Ada Resource Association Site Map | Contact Us