|
|
- GNAT Academic Program
adds its 150th University member.
GAP provides high-quality Ada implementations and support to educators.
- Stephen Baird has joined
AdaCore.
He previously worked at IBM/Rational, designing and implementing part of their Ada compiler.
- GNATPro is now available for RTX.
GNATPro on RTX produces real-time Ada applications on Microsoft Windows
platforms. RTX provides a real-time subsystem that executes in kernel mode
with hard, real-time behavior.
- Ada-Europe 2009
The Fourteenth International Conference on Reliable Software Technologies:
Ada-Europe 2009 will be held in Brest, France, 8-12 June 2009.
- The GNAT Component Collection
is now available to AdaCore GNAT Pro customers.
- AdaCore releases the GNAT-Java Interfacing Suite
which allows combining applications written in Java with Ada code.
- Ipesoft selects GNAT Pro.
- EE Times reports Project launched to provide coverage analysis tool
for Ada and other languages.
- An interview with Tucker Taft was published in Techworld as
The A-Z of Programming Languages: Ada.
This is a fascinating discussion with the lead designer of Ada 95 (and an active participant in the development of Ada 2005) covering
many topics about programming language design and the history of Ada.
- The Return of Ada is an article
in the April 2008 issue of GCN. It covers how Ada is being successfully used in a number of
major projects, and stresses that Ada is helpful in high reliability situations.
- Robotics with Ada95
is an article in the March 2008 issue of Circuit Cellar discussing the use of Ada in hobbyist
robotics. It goes into great detail as to why Ada is particularly suited for such applications.
- AdaCore supports VxWorks 653
This version of GNATPro is targeted to high-integrity systems.
- AdaCore releases a new version of GNATbench
GNATbench 2.1.0 offers enhanced integration of GNATPro with Eclipse.
- AdaCore releases new GNAT Pro version
This is the 12th annual release of GNAT Pro.
- GNAT Pro to be used in new avionics software
Indian Aeronautical Development Establishment (ADE) has selected AdaCore's
GNAT Pro High-Integrity Edition for DO-178B Ada environment to create
new safety-critical flight control systems.
- Electronic Design publishes
Use Ada For Better Safety, Security, And Reliability.
- GNATcheck
eases DO-178B compliance by verifying adherence to a coding standard.
- SIGAda 2008 Dates and Location Announced
SIGAda has announced that next year's annual conference will be held in
Portland OR, October 26-30, 2008.
- Ada helps crack WW II Crypto challenge.
A German amateur used an Ada program to crack the challenge in 46 seconds.
- AdaCore will release a new version of
GPS
their graphical Integrated Development Environment, in December 2007. The new version features
improvements in the support for Object-Oriented Programming and in code verification.
- AdaCore's GNAT Pro was used in Raytheon's
Ship Self-Defense System Mk 2,
which was recently delivered.
- AdaCore announced that they have joined the
TOPCASED Project
(Toolkit in Open Source for Critical Applications & System Development). This
consortium intends to use open source to provide reliable tools for embedded
systems. The use of Open Source will hopefully ensure that these tools will
remain available over a long period of time, a key issue for many safety-critical
embedded systems (such as avionics).
- AdaCore announced a new multi-language build tool.
The tool understands the characteristics of compilers across a wide variety of languages,
allowing developers to simply specify the source locations and compiler options. The
tool takes care of determining complex build dependencies.
- At ESC Boston, AdaCore announced that they have a
stack analysis tool available for GNAT Pro.
The tool calculates maximum stack depths for each task in a program in order to meet
high-integrity requirements.
- Also at ESC Boston, a
new GNAT Pro high-integrity edition for servers
was announced by AdaCore. This special version of GNAT Pro is designed to directly support
Air Traffic Management standards; it also can be used to support any mission-critical system
requirements to run on a native platform.
- AAI upgrades combat trainer using GNAT Pro
to successfully create a mission-critical system.
- AdaCore announced a new version of GNAT Pro for
the Microsoft .NET platform.
This version supports both managed and unmanaged code, and integration with Visual Studio.
- Praxis High Integrity Systems announces its involvement in
iFACTS, a new air traffic
control system in the United Kingdom. iFACTS is one of the largest new Ada projects in Europe,
according to Rod Chapman of Praxis.
- A new article on Embedded.Com,
Ada 2005 speaks to real-time embedded applications,
which talks about Ada 2005 and its potential impact on the embedded systems market.
- Ada helps a winner of Sun's Open Performance Contest.
- Using Ada 2005 for embedded systems is discussed in the new article
Ada Enhances Embedded Systems Development
on Dr. Dobbs Portal.
- SPARK is featured in the article
Mathematical Approaches to Managing Defects
on The Register's developer site.
- Crosstalk devotes its August 2006 issue
to Ada 2005. This issue contains 5 new Ada 2005 articles.
- The Boeing Company Selects SofCheck's Ada Error Detection Technology .
Sofcheck Inspector will be used to perform analysis and quality assurance on an advanced avionics system.
- Ada Market Entails at Least a $5.6 Billion Investment,
says an Ada Resource Association sponsored survey. The survey of nearly 200
Ada developers also showed that Ada is used in many application areas.
For older news items, see the AdaIC news archive.
And for ancient history, see the news section of the
AdaIC archive site.
|
Sponsored by the following ARA member companies:
|  |
