Article
Dec 3 '10
Published
in Aerospace Engineering and Manufacturing
Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.
Article
Nov 10 '10
Published
in Electronic Design by Mike Hennell and William Wong
Static and dynamic code analysis can improve application performance, safety and reliability by identifying problems early in the development cycle if the proper tools and procedures are used from the start. Dr. Mike Hennell, founder of LDRA, spoke with me about the various aspects of these types of tools.
Press Release
Nov 5 '10
Most static analysis tools are operating after the fact. The SATE experience, with struggles to find all the code, recreate the compiler context, etc., illustrates how painful this can be. To achieve wide-spread usage of static analysis, it seems clear that the tools need to become more tightly integrated with the compiler. The Green Hills Double Check and the AdaCore CodePeer tools are examples of this. Ideally performing static analysis is a “one click” operation in the IDE, or just another command-line flag to the compiler and/or linker. From the user’s point of view, static analysis doesn’t want to appear as yet another tool they need to learn. It wants to appear as simply a “pickier” mode of the compiler or linker.
Press Release
Oct 26 '10
GPS 5.0 Integrated Development Environment brings enhanced multi-language support, more powerful source editing, and improved ease of use
Article
Oct 21 '10
Published
in Military & Aerospace Electronics by Charlotte Adams
Software engineers who specialize in mission-critical applications are gearing up for the release of an update to DO-178B safety-critical software certification standard in the form of DO-178C, which accommodates modern software engineering technologies such as formal methods and object-oriented programming.
Article
Oct 18 '10
Published
in SAE International Aerospace Engineering & Manufacturing by Jean L. Broge
AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools are being used at Vermont Technical College during the implementation of two NASA-sponsored programs: continued work on a CubeSat and development of an Arctic Sea Ice Buoy.
Press Release
Oct 15 '10
In a NASA sponsered program set to launch in 2012, Vermont Technical College is contructing a CubeSat. The goal of the CubeSate Lunar Lander project is to develop a satellite to collect data from the moon and transmit the data back to Vermont.
