• 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 Jul 19 '11

    SPARK GPL 2011 now available!

    by AdaCore

    We are pleased to announce the release of SPARK GPL 2011, the foremost language, toolset and design discipline for the engineering of high-assurance software. SPARK GPL is the version dedicated to the academic and Free Software communities. This latest edition provides many new features and enhancements in all areas of the technology. (more…)

    Read Blog Entry
  • Blog May 31 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The third in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers advanced data and control coupling. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog May 26 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The second in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers basic data and control coupling. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog May 16 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The first in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog Apr 7 '11

    SPARK Developers Janet Barnes and Rod Ch...

    by jayre

    At the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010), it was announced that Microsoft Research would sponsor an award that recognises significant technological advances towards the goals of the Verified Software Initiative (VSI).

    From the announcement:
    We are delighted to announce that the recipients of the inaugural Microsoft Research Verified Software Milestone Award are Janet Barnes and Rod Chapman for the Tokeneer Project (http://www.altran-praxis.com/security.aspx).

    The formal presentation of the Award will be made to Janet and Rod at AVoCS 2011 (http://conferences.ncl.ac.uk/AVoCS2011/), which is being hosted by Newcastle University this September.

    The full award citation is provided along with further details of the award process at the VSI website, i.e. http://dream.inf.ed.ac.uk/vsi

    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
  • Blog Jan 21 '11

    Autocoding – Do we still need soft...

    by AdaCore
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Rod White from MBDA talks about Autocoding and raises the question: Do we still need software design?
    Read Blog Entry
previous12next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore 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