Ada Resource Association

In 2005, Singo realized that, in order to differentiate itself in the marketplace, it needed to develop a robust, reliable and revolutionary platform for the call-center industry. The result was the Blaze Call Management System: a comprehensive, scalable, web-enabled VoIP dialing platform that manages customer interactions via phone lines and a variety of other electronic methods of communication.

Part 3 of this three-part article explains how Ada offers to help developers meet high integrity challenges in object-oriented programming .

Part 2 of this three-part article summarizes the main elements of Ada’s object-oriented programming model. This article is based on object orientation features found in versions of the language up to and including Ada 2005.

Part 1 of this three-part article reviews the basics of object-oriented programming and summarizes the challenges it presents for high-integrity programming.

We are used to software that dismally fails. What is surprising is that we accept this as reasonable. It is time to stand up and say we are not going to put up with this anymore. There is no excuse for junk software.

Software is playing an expanding role in modern medical devices, raising the question of how developers, regulators, medical professionals, and patients can be confident in the devices’ reliability, safety, and security. Software- related errors in medical equipment have caused people’s deaths in the past, so the issue is not simply theoretical.

Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.

Static and dynamic code analysis can improve application performance, safety and reliability by identifying problems early in the development cycle if the proper tools and procedures are used from the start. Dr. Mike Hennell, founder of LDRA, spoke with me about the various aspects of these types of tools.

Software engineers who specialize in mission-critical applications are gearing up for the release of an update to DO-178B safety-critical software certification standard in the form of DO-178C, which accommodates modern software engineering technologies such as formal methods and object-oriented programming.

AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools are being used at Vermont Technical College during the implementation of two NASA-sponsored programs: continued work on a CubeSat and development of an Arctic Sea Ice Buoy.