|
|
- Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore
CodePeer tool in Executing software contracts;
in particular he examines the tool's ability to create contracts for subprograms.
- AdaCore releases GNAT Pro 6.3.
A new major release of the GNAT Pro environment is now available, including on several new platforms like Windows 7 and
Mac OS X Snow Leopard.
- AdaCore releases GNAT Pro for PikeOS.
The GNAT Pro High Integrity Edition for DO-178B is now available for PikeOS, SYSGO's safety-critical real-time
operating system (RTOS).
- AdaCore launches the CodePeer
source code analysis tool. The tool was developed in association with SofCheck (another ARA member company);
it analyzes Ada source code for runtime and logic errors without actually running the code.
- Praxis and AdaCore launch SPARK GPL, which makes the SPARK technology available
under the GNU Public License (GPL). This brings a professional-grade toolset for high-assurance and safety-critical software development
to the academic community and developers of Free Software.
- GNAT Pro is now available for LynxOS 5.0,
as well as LynxOS 4.x. The new version allows users to take advantage of the new features of LynxOS 5.0.
- A new release of the GNATbench Eclipse plug-in supports
Workbench 3.1 and VxWorks 6.7, the latest versions of Wind River's Eclipse-based IDE and real-time operating system, offering
real-time/embedded systems developers a sophisticated Ada programming environment tightly integrated into the Wind River Workbench development suite.
- General Dynamics UK has selected the SPARK
language for a major new Royal Navy helicopter project.
SPARK (a high-integrity Ada subset) has been selected for the Stores Management System, which controls
the deployment of weaponry from the AW159 Lynx Wildcat helicopter. This safety-critical system will
be developed and verified to the highest level of Ministry of Defence safety certification.
- Ada-Europe 2010
The Fifteenth International Conference on Reliable Software Technologies:
Ada-Europe 2010 will be held in Valencia, Spain, 14-18 June 2010.
- GNAT Pro is now available for all current VxWorks platforms.
Supported platforms include VxWorks 5, VxWorks 6, supporting both asymmetric
multiprocessing (AMP) and symmetric multiprocessing (SMP) configurations, VxWorks 653,
VxWorks DO-178B, and VxWorks MILS.
- Thales chooses GNAT Pro technology, including several
safety-qualified tools, to develop critical systems for the new Airbus A350 XWB (Xtra Wide-Body) family.
- Lockheed chooses GNAT Pro to develop the
Flight Management System Interface Manager and Radio Control software on the C-130J Super Hercules aircraft.
- AdaCore announces Astrium selects GNAT Pro for new satelite.
Astrium, a wholly owned subsidiary of EADS, has selected the Ada programming language and AdaCore's
GNAT Pro development environment for use on the new Sentinel-1 environmental monitoring satellite.
- AdaCore has released a version of GNAT Pro for
the 8-bit AVR microcontroller, bringing
the benefits of Ada to small memory, low-power environments.
- AdaCore and Praxis announce SPARK Pro, a new version
of SPARK that integrates with AdaCore's GPS programming environment.
- AdaCore has released a major new version of
GNAT Pro, GNAT Pro 6.2.
AdaCore says that it has over 130 new features.
- A new package, the GNAT Pro Traceability Analysis Package
is now available. The new package "allows developers to use richer subsets of Ada while reducing certification costs",
according to Robert Dewar, AdaCore President/CEO.
- BAE Systems UK Signs Corporate-Wide Contract with AdaCore.
- Jack Ganssle at Embedded.com wonders Why
aren't developers more interested in Ada? and then follows up on
it with Ada Take Two.
- AdaCore has released a new version of
GPS
their graphical Integrated Development Environment. The new version features
new code completion and correction capabilities.
- AdaCore announces a version of GNAT for the Wind River
VXWorks MILS,
a high-integrity version intended for use at the Common Criteria EAL level of 4 and above.
- AdaCore announces a version of GNAT for the Wind River
VXWorks SMP
product, an embedded OS that directly supports multi-core processors.
- SIGAda 2009 Location Announced
SIGAda has announced that next year's annual conference will be held in
Tampa Bay FL in November 2009.
- AdaCore announces a version of GNAT for ELinOS,
a real-time Linux-based OS from SYSGO.
- AdaCore announces a version of GNAT for Nucleus OS, a
real-time OS from Mentor Graphics.
- AdaCore and Praxis announce strategic partnership
which will "taking the SPARK language and toolset to a new level".
- NSA case study on zero-defect software uses Ada
The NSA study shows that cost-effective zero-defect software development is possible
using Ada and SPARK.
- 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.
- 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.
- 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.
- Electronic Design publishes
Use Ada For Better Safety, Security, And Reliability.
- Ada helps crack WW II Crypto challenge.
A German amateur used an Ada program to crack the challenge in 46 seconds.
- 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.
- An 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:
|  |
