Programming Critical Systems:
                       The Ada 9X Solution

Ada is already one of the best languages available for writing critical systems. Enhancements being made to Ada as part of the Ada 9X project will provide software developers with the optimal language for developing safety critical systems. These Ada 9X enhancements are contained in a special annex to the language. Specifically, Ada 9X will "increase the ability to validate the code, and improve the visibility of the object code, which is the truly critical output from the software process."

[Source: Wichmann, Brian, "Programming Critical Systems: The Ada 9X Solution," The Computer Bulletin for Information System Professionals, Jan 94, pp. 15-16.]

• To have your Ada news included in this weekly report, contact the Ada Information Clearinghouse at 1/800-232-4211 or send e-mail to adainfo@ajpo.sei.cmu.edu. **