Article
Jan 1 '07
Published
in Dr. Dobb's by Ben Brosgol and Jose Ruiz
Developing an embedded system is hard work. Reliability is essential; indeed, embedded software may control a safety- or security-critical system where an error can have catastrophic consequences. New requirements will almost surely pop up, so the software must be maintain- able. Real-time constraints and memory limitations make time and space predictability and run-time performance important.
Article
Aug 14 '06
Published
in The Register by David Norfolk and Pan Pantziarka
In this article by David Norfolk and Pan Pantziarka, the authors look at the increasing use of Formal Methods and the Correctness by Construction process championed by Altran Praxis.
Article
Aug 3 '06
Crosstalk devotes its August 2006 issue to Ada 2005. This issue contains 5 Ada 2005 articles by numerous authors.
Article
Mar 5 '02
Published
in Venture Development Corporation by Chris Lanfear
In a 2002 survey by the independent market research firm VDC, embedded Ada developers named the language’s ability to find bugs in compile time as its major benefit. Its nature as an ISO standard and object oriented language were Ada’s next important advantages. Almost half of those surveyed believe that Ada reduces a project’s costs. VDC’s results are available in the .pdf file Ada in Embedded Systems (five pages).
Article
Jun 30 '99
Published
in GCN by Tucker Taft
GCN (Government Computer News) interviews S. Tucker Taft, who led the Ada 9X language design team from 1990 to 1995, is now president of the Ada Resource Association, organized last year to maintain the language standard after the Defense Department closed the Ada Joint Program Office.