- A thread
on the SoftTalk blog discusses Ada and multicore programming along with other Ada topics in the comments section.
- The EETimes online article Lunar lander project relies on SPARK programming language
discusses a Cubesat project funded by NASA which is designed to land on the moon. The software will be in SPARK (and thus Ada).
- The new embedded.com article Expressive vs. permissive languages: Is that the question?
explores the question of how programming language design affects the ability of tools to do static analysis. Not surprisingly, Ada comes out well
in this comparison.
- 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.
- Jack Ganssle at Embedded.com wonders Why
aren't developers more interested in Ada? and then follows up on
it with Ada Take Two.
- 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.
- 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.
- 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.
- 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.
- 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.
- EE Times reports Project launched to provide coverage analysis tool
for Ada and other languages.
- Embedded Systems Programming Journal Publishes Intro to Ada Article
Ben Brosgol, one of the original Ada designers, has published an introduction to the language in a prestigious embedded systems journal.
- IEEE Article on SPARK Ada Certification for SmartCards [January 2002]
Praxis Critical Systems' Anthony Hall and Roderick Chapman published an article in
the Jan/Feb 2002 IEEE Journal on the company's Certification Authority for
the Multos smart card scheme on the behalf of Mondex International.
- Commanche Sticks with Ada
[November 1999]
An article in Aviation Week that details how Boeing is
continuing to use Ada for the Commanche Helicopter project.
- Ada Stands Ready For The 21st Century
[U.S. Tech Magazine - July 1999]
An article in U.S. Tech Magazine by Joyce Tokar that
discusses the benefits of using Ada for real-time, safety-critical applications
- Ada helps churn out less-buggy code [ Goverment Computer News - June 28, 1999]
S. Tucker Taft, ARA President, talks about the benefits of Ada and the Ada marketplace in
a Q&A interview with Government Computer News.
|
