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

Ada Resource Association

News and resource for the Ada programming language

  • Blog Jun 3 '18

    Carl Brandon scheduled for keynote at Ad...

    by brukardt

    We recently received a note from Dr. Carl Brandon of the Vermont Technical College (and Director of their CubeSat laboratory). He mentioned that he will be a keynote speaker at Ada Europe 2018 in Lisbon, Portugal. A lengthier description of the conference keynotes can be found at http://ae2018.di.fc.ul.pt/keynotes.html.

    He also noted that his colleague Dr. Peter Chapin will be presenting a tutorial on SPARK ( at the same conference.

    Read Blog Entry
  • Article May 30 '18

    System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering

    Published in Intelligent Aerospace by Courtney E. Howard
    This article discussed the continuing adoption of Ada in aerospace and unmanned vehicle applications.
    Continue Reading
  • Press Release May 24 '18

    PTC ApexAda® v5.2 Embedded for ApexAda Exec/Intel64 is shipping

    Posted by PTC
    The PTC ApexAda v5.2 development system for Linux host-based development targeting Intel x86_64 processors running the ApexAda Exec bare-board runtime is now shipping. Included with the 64-bit embedded compiler is the PTC® ApexAda v5.2 64-bit compiler for Linux native application development. Also included is the integrated ApexAda 64-bit C/C++ compiler which facilitates seamless development of mixed-language applications written in Ada, C, and C++. 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 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
previous12345678910111213141516171819202122232425262728293031323334next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo 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