Ada Resource Association

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.

New platforms and features benefit Ada developers on Wind River Workbench

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.

Ada Web Server brings web-based connectivity and control to embedded applications

AdaCore has released an open source reference implementation of the Skein cryptographic hashing algorithm implemented in SPARK.

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.

Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail: Parallel Specification and Implementation Language

LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with Wind River Workbench and VxWorks to provide a single work environment for safety- and security-critical certification. Thanks to a Wind River-specific Eclipse plug-in, developers have the flexibility of directly accessing LDRA tool suite capabilities from within Workbench or controlling Workbench and the VxWorks simulator from the LDRA tool suite.

A complete security application development environment for EALs 1 through 7

AdaCore, a leading supplier of Ada development tools and support services, today announced the first major release of its GNAT Pro High-Integrity Edition for MILS.