Ricky E. Sward
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.
- Ada Programming Language. Retrieved from http://en.wikipedia.org/wiki/Ada_(programming_language)Google Scholar
- Ada Language Reference Manual. LRM-2005.Google Scholar
- Tiobe Programming Language Ranking for June 2010. Retrieved from http://www.tiobe.com/index.php/content/paperinfo/tpci/index.htmlGoogle Scholar
- Sward, Ricky E. Using Ada in a service-oriented architecture. Proceedings of the 2007 ACM SIGAda international conference on Ada. Fairfax, Virginia, USA Google ScholarDigital Library
- GNU Compiler Collection (GCC). Retrieved from http://en.wikipedia.org/wiki/GNU_Compiler_CollectionGoogle Scholar
- The SPARK Programming Language, Retrieved from http://www.altran-praxis.com/spark.aspxGoogle Scholar
- Anthony Hall and Roderick Chapman. Correctness by Construction: Developing a Commercial Secure System, IEEE Software Jan/Feb 2002, pp. 18--25. Google ScholarDigital Library
- List of Ada Textbooks. Retrieved from http://www.adaic.org/learn/textbook.htmlGoogle Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- GNAT Academic Program (GAP). Retrieved from http://www.adacore.com/home/academia/Google Scholar
- McCormick, John. Ada and software engineering education: one professor's experiences. Proceedings of the 2007 annual ACM SIGAda international conference on Ada. Portland, OR. Google ScholarDigital Library
- Ada Europe. Retrieved from http://www.ada-europe.orgGoogle Scholar
- Ada Resource Association. Retrieved from http://www.adaic.org/ARA/index.htmlGoogle Scholar
- ERAM. Retrieved from http://www.lockheedmartin.com/ news/press_releases/2007/1010ts_FAAEnRouteAutomation.htmlGoogle Scholar
- Boeing 777. Retrieved from http://www.adaic.org/atwork/ boeing.htmlGoogle Scholar
- iFACTS. Retrieved from http://www.drdobbs.com/ embedded-systems/199905389Google Scholar
- Ada2005 Language Rationale. Retrieved from http://www.adaic.org/standards/05rat/html/Rat-TOC.htmlGoogle Scholar
- MITRE Meteor. Retrieved from http://www.mitre.org/tech/meteor/Google Scholar
- 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. Google ScholarDigital Library
- Tokeneer. Retrieved from http://www.adacore.com/home/products/sparkpro/tokeneer/Google Scholar
Index Terms
- The rise, fall and persistence of Ada
Recommendations
The rise, fall and persistence of Ada
SIGAda 2010This 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 ...
Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems
The Ada programming language has been designed for use in high integrity, safety critical, and secure software systems. Several International Organization for Standardization/International Electrotechnical Commission (ISO/IEC) technical reports have ...
MP1: languages for safety-critical software: issues and assessment
SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conferenceLevel - Intermediate.
This intermediate-level tutorial is aimed at people with a technical background in software development. No previous experience with safety-critical standards is required. Some familiarity with one or more of C, C++, Ada, or Java ...
Comments