| |
Other News:
Download Free Trial of SofCheck Inspector™...
SofCheck Chairman and CTO Tucker Taft presents at SATE 2010
Vermont Technical College uses AdaMagic to develop it's CubeSat Lunar Lander/Orbiter project, set to launch in 2012
Vermont Technical College uses AdaMagic to deploy it's Alaskan Sea Ice Buoy
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail:
Parallel Specification and Implementation Language
SofCheck Chairman and CTO Tucker Taft authors "Integrating static analysis with a compiler and database" for Embedded Computing Design
Jack Ganssle of Embedded.com gives CodePeer™ high marks!
CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology
SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005
SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008:
Automatic Storage Management and Persistence of Complex Data Structures.
SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!
SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java
SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference
SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM
SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study...
SofCheck Expands International Reach Through Distribution Agreement with Praxis High Integrity Systems...
SofCheck Names Caruso to Advisory Board...
SofCheck Joins Ada Resource Association...
Ada Helps Churn Out Less-Buggy Code...
|
|
BURLINGTON, MA/Randolph Center, VT (2010)
AdaMagic makes an Arctic splash!
Vermont Technical College uses AdaMagic to deploy it's Alaskan Sea Ice Buoy
In a NASA sponsered program, Vermont Technical College has constructed remote sensing buoys for deployment on the Arctic sea ice north of Alaska.
The buoys gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used
to refine models of ice movement. To enhance reliability and maintain an acceptable memory footprint, the buoy software was written using SPARK Ada and
compiled with SofCheck's AdaMagic.
The goal of the Alaskan Sea Ice Buoy project is to develop a buoy to collect environmental data from the Arctic and transmit the data back to Vermont.
The project is also being used to gain experience with CubeSat Kit hardware,
in hopes of using the CubeSat Kit platform to launch a satellite into
space as a subsequent project.
The project was conceived in collaboration with the University of Vermont, which has been studying and mathematically modeling arctic sea ice.
The ice forms in the colder months in the arctic regions, and melts in the spring and summer months. Unlike terra firma, this ice is constantly
moving and shifting in relation to many variables, such as temperature, wind speed, and wind direction. One of the problems that the researchers
at the University of Vermont have encountered is that they do not have enough data about the sea ice to model it completely. In order to better
model the mechanics of sea ice, they need data to be collected from on the ice itself, which is the goal of the buoy.
The project is supported by grants from the Vermont Space Grant Consortium, a part of the NASA Space Grant program. Vermont Tech also received
generous donations of commercial software from AdaCore, SofCheck, Praxis, and Rowley Associates to support using high integrity software tools
and methods in the programming of the buoy.
In detail, the SPARK code written by the developers is run through Praxis Systems' SPARK examiner to ensure that the annotations match the code.
The code is then run through SofCheck's AdaMagic compiler, which compiles the Ada code into C code. That C code is then combined with microcontroller
device drivers written in C and called from Ada, and it is compiled for the MSP430 platform using Rowley Associates' CrossWorks.
Click here for a more detailed presentation
Some of the preceding information was provided by Vermont Tech's Alaskan Sea Ice Buoy Project program website. Click here for more details
For further information, visit
www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781)
750-8064 or E-mail info@sofcheck.com.
Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026
|
|
