❌ About FreshRSS

Normal view

There are new articles available, click to refresh the page.
Before yesterdayNews from the Ada programming language world

Free tools and libraries updates

By: brukardt
31 October 2023 at 23:19
Here are some recent updates to our Free Tools and Libraries page:

November 1, 2023: Added Light-weight threading, a library that provides many of the features of Ada 2022 without requiring support for the new syntax.
August 21, 2023: Added Ada-GUI a concurrent GUI for Ada and GPlt, an Ada-GUI program for quickly making plots.
June 14, 2022: Added Alire, a sandbox package manager for Ada, and an associated catalog.
(This post will be periodically updated – Webmaster.)

Dr. Peter Chapin (Vermont Technical College) receives ACM SIGAda 2017 Robert Dewar Award

By: brukardt
15 December 2017 at 21:52

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.

❌
❌