A White Paper by AdaCore, February 2019
In a report on the “Do’s and Don’ts for Software” [1], the Defense Innovation Board in the U.S. advises “Use modern languages and operating systems.... Treat software development as a continuous activity, adding functionality across its life cycle.” The Ada language fully supports these “do’s” with state-of-the-art features and a growing ecosystem, and is helping developers of critical cyber systems worldwide meet the most stringent software assurance requirements while reducing life cycle costs. For systems demanding reliable, secure and safe software, Ada continues to be the logical and cost-effective choice.
