CROSSTALK(美国国防软件工程杂志, www.crosstalkonline.org)2017年1/2月号的专题是“Software’s Greatest Hits and Misses”,其中有两篇文章回顾了从1997年取消Ada Mandate(强制要求使用Ada编程语言的美国国防部政策)以后这二十年的Ada语言。
第一篇文章的题目是“Ada: A Failure That Never Happended”。文中写道:“Ada的死亡与失败从未发生。它曾经是、并且现在还是美国国防部产生的较好成果之一。”
第二篇文章的题目是“Ada-20 Years After the Mandate” 。文中写道:“如果上世纪九十年代中期预测到21世纪将出现互操作性、特别是网络安全性等挑战,也许美国国防部的政策制定者会用另外的眼光审视Ada。Ada改变了有关国防软件工程的对话。除了别的贡献以外,Ada提升了正确性、可靠性、安全性、互操作性和架构等。”
文中列出Ada各版本的主要特色如下:
Ada83:
—Packages
—Exception Handling
—Generic Program Units
—Parallel/Concurrent Processing
—Strong Typing
Ada95:
—Object-Oriented Programming
—Other
Ada2005:
—Improvements to OO usage
—Enhanced embedded support
—Enhanced real-time support
—Enhancements supporting safety, portability and interoperability
Ada2012:
—Formal methods
—More powerful assertion mechanisms (pre- and post-conditions)
—Contract-based programming
—Memory usage enhancements
—Improvements to the container library
—More powerful use clauses
—Additional uses of incomplete types that simplify the construction of nested containers.
文中列出使用Ada的一些项目如下:
—Rosetta “Comet Chaser”
—CubeSat
—Paris-London Eurostar
—Paris Metro Line 14 (Driverless Subway line)
—U.S. and U.K. Air Traffic Control
—Cassini-Huygens Mission to Saturn
—Boeing 777 and 787
—London Victoria underground
—New York City subway