The Special Interest Group on Ada (ACM’s SIGAda).
Here you’ll find information on the SIGAda organization and
pointers to current information and resources for the Ada programming language.
|
|
The Special Interest Group on Ada (ACM’s SIGAda).
Here you’ll find information on the SIGAda organization and |
|
We are pleased to announce that Dr. Peter Chapin from the Vermont Technical College has won the 2017 Robert Dewar Award for Outstanding Ada Community Contributions. Here are some highlights of Peter's contributions to the Ada community:
- Peter developed the tool chain, wrote some of the software and supervised the students writing the rest of the software for the Vermont Lunar CubeSat (
cubesatlab.org). The software was written in SPARK/Ada, converted to C with AdaMagic (as there was no Ada compiler for the TI MSP430 processor in the CubeSat) and compiled with a Rowley Associates CrossWorks for MSP430 C compiler. This CubeSat is still the only spacecraft programmed in SPARK/Ada and the only successful university satellite on the East coast. It was launched with 11 other university CubeSats on November 19, 2013, and was the only one that fully worked. We believe this is due to the high integrity of the SPARK/Ada technology.- Peter is now coordinating work on CubedOS, a SPARK/Ada implementation of a software framework for small spacecraft. This is intended to be released as an open source project to allow other groups to have a high integrity software base for their CubeSats, which currently have a very high failure rate.
- Peter is the coauthor, with John McCormick of Building High Integrity Applications with SPARK, the only book on SPARK 2014.
|
|
|||||
| "Powered by Ada" Super-Success Stories | |||||
|
|||||
| Events Organized in Cooperation with ACM SIGAda | |||||
|
23rd International Conference on Reliable Software Technologies (Ada-Europe 2018) |
|
||||
|
|||||
|
ACM SIGAda is the Special Interest Group on Ada, a part of ACM. SIGAda is a powerful resource for the software community's ongoing understanding of the scientific, technical and organizational aspects of the Ada language's use, standardization, environments and implementations. This home page is maintained by the current SIGAda Secretary-Treasurer, Clyde Roby, with the assistance of the SIGAda working groups on their pages. Comments, suggestions or questions can be addressed to: ClydeRoby at ACM.Org |
|
