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

Ada Resource Association

News and resource for the Ada programming language

  • 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
  • Blog Sep 3 '15

    New SPARK 2014 Book Available

    by brukardt
    The all-new SPARK book by John McCormick and Peter Chapin, “Building High Integrity Applications with SPARK”, was recently published. The book will allow developers to master the basic concepts for building systems with SPARK 2014.
    Read Blog Entry
  • Blog Mar 26 '14

    Photo of earth from Vermont Technical Co...

    by brukardt

    This photo from space is of the North coast of Western Australia looking towards Port Hedland. It was recently taken by Vermont Technical College’s CubeSat, which launched in November.

    The CubeSat is completely controlled by SPARK/Ada programs, including picture taking, storage on the SD card receiving download commands, and transmitting the photo to their ground station.

    Vermont Tech’s CubeSat is the first satellite built by a college or university in New England to get off the ground. You can find out more about the CubeSat and its construction at cubesatlab.org.

    [Photo copyright 2014 Vermont Tech CubeSat Lab.]

    Read Blog Entry
  • Blog Mar 23 '11

    [Video] Open source products for the dev...

    by jayre

    AdaCore Sales & Business Development Manager, MichaĆ«l Friess talks about how GNAT Pro’s latest tools, GNATcoverage and GNATemulator among others, are designed to help programmers in their effort to develop certifiable applications.


    Read Blog Entry
  • Blog Jan 21 '11

    SPARK Ada in High SIL Active Life Suppor...

    by AdaCore
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Deas from Deep Life talks about developing software for deep water rebreathers which must meet the rigorous European safety standard SIL3.
    Read Blog Entry
  • 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