skip to main content
10.1145/1879063.1879081acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

The rise, fall and persistence of Ada

Published: 24 October 2010 Publication History

Abstract

This paper begins with a brief history of the Ada programming language including the rise of Ada, the Ada Mandate and the fall from grace as a DoD programming language. The paper examines the reasons why the Ada is not widely accepted in certain areas and provides reasons why it should be used in particular areas. The paper then gives examples of where Ada has persisted and found a niche in safety critical, high integrity. The paper also discusses Ada-related organizations and gives examples of projects currently underway in the US and in Europe providing a compelling reason for using Ada in appropriate and critical domain areas.

References

[1]
Ada Programming Language. Retrieved from http://en.wikipedia.org/wiki/Ada_(programming_language)
[2]
Ada Language Reference Manual. LRM-2005.
[3]
Tiobe Programming Language Ranking for June 2010. Retrieved from http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html
[4]
Sward, Ricky E. Using Ada in a service-oriented architecture. Proceedings of the 2007 ACM SIGAda international conference on Ada. Fairfax, Virginia, USA
[5]
GNU Compiler Collection (GCC). Retrieved from http://en.wikipedia.org/wiki/GNU_Compiler_Collection
[6]
The SPARK Programming Language, Retrieved from http://www.altran-praxis.com/spark.aspx
[7]
Anthony Hall and Roderick Chapman. Correctness by Construction: Developing a Commercial Secure System, IEEE Software Jan/Feb 2002, pp. 18--25.
[8]
List of Ada Textbooks. Retrieved from http://www.adaic.org/learn/textbook.html
[9]
Sward, Ricky E. and Martin Carlisle, Barry Fagin, David Gibson. The case for Ada at the USAF Academy. Proceedings of the 2003 annual ACM SIGAda international conference on Ada. San Diego, CA.
[10]
A Robotics API Dialect for Type-Safe Robots: Translating Myro to Ada. A. S. Mentis. Proceedings of the 2009 annual ACM SIGAda international conference on Ada. Tampa Bay, FL.
[11]
GNAT Academic Program (GAP). Retrieved from http://www.adacore.com/home/academia/
[12]
McCormick, John. Ada and software engineering education: one professor's experiences. Proceedings of the 2007 annual ACM SIGAda international conference on Ada. Portland, OR.
[13]
Ada Europe. Retrieved from http://www.ada-europe.org
[14]
Ada Resource Association. Retrieved from http://www.adaic.org/ARA/index.html
[15]
ERAM. Retrieved from http://www.lockheedmartin.com/ news/press_releases/2007/1010ts_FAAEnRouteAutomation.html
[16]
Boeing 777. Retrieved from http://www.adaic.org/atwork/ boeing.html
[17]
iFACTS. Retrieved from http://www.drdobbs.com/ embedded-systems/199905389
[18]
Ada2005 Language Rationale. Retrieved from http://www.adaic.org/standards/05rat/html/Rat-TOC.html
[19]
MITRE Meteor. Retrieved from http://www.mitre.org/tech/meteor/
[20]
C. Cicalese, R. Weatherly, J. Sherrill, R. Bolling, K. Forbes, R. Grabowski, K. Ring, and D. Seidel. A Distributed Multi-Language Architecture for Large Unmanned Ground Vehicles. Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada. October 2008.
[21]
Tokeneer. Retrieved from http://www.adacore.com/home/products/sparkpro/tokeneer/

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda
October 2010
90 pages
ISBN:9781450300278
DOI:10.1145/1879063
  • cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 30, Issue 3
    SIGAda 2010
    December 2010
    63 pages
    ISSN:1094-3641
    DOI:10.1145/1879097
    Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 October 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. ada programming language
  2. high integrity
  3. history of ada
  4. safety critical

Qualifiers

  • Research-article

Conference

SIGAda '10
Sponsor:
SIGAda '10: ACM SIGAda Annual International Conference
October 24 - 28, 2010
Virginia, Fairfax, USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)14
  • Downloads (Last 6 weeks)3
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media