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
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.
Press Release
Sep 28 '10
Ada-Europe today announced “The Ada Way”. An annual student programming contest that aims to attract students and educators to Ada in a form that is both fun and instructive. Entries are now open for the 2010-11 competition and judging takes place in May next year.
Press Release
Sep 21 '10
AdaCore, a leading supplier of Ada development tools and support services, today announced a comprehensive set of tools and support services for projects where Ada is used in conjunction with other programming languages. Available with GNAT Pro 6.3, the latest release of AdaCore’s Ada Development Environment, the solutions include tools and libraries to handle the various ways in which multi-language systems are designed and constructed.
Press Release
Sep 21 '10
New platforms and features benefit Ada developers on Wind River Workbench
Press Release
Sep 5 '10
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.
Press Release
Aug 25 '10
Ada Web Server brings web-based connectivity and control to embedded applications
Press Release
Aug 23 '10
With each new model year, cars are becoming more dependent on microprocessors and complex software, challenging the auto industry to ensure that these systems are secure, safe, and reliable. According to AdaCore, this challenge is not being met: security and safety issues are not being properly considered at the start of the automotive system design cycle, but are instead being addressed as an afterthought.
