Article
Jun 22 '12
Published
in Electronic Design by Quentin Ochem
Both C++ and Ada have been undergoing major revisions, resulting in the almost synchronized releases of C++ 11 and Ada 2012. This article describes the most notable additions to the two languages, and show how they relate one to the other.
Article
May 31 '12
Published
in Electronic Design by William Wong
This article describes some areas where Ada’s built-in language features are superior to what’s available in C and C++.
Article
May 25 '12
Published
in Electronic Design by William Wong
A discussion of some of the built-in advantages of Ada 2012 over C.
Article
Sep 13 '11
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.
Article
Sep 13 '11
Published
in EE Times Design by Ben Brosgol
Part 3 of this three-part article explains how Ada offers to help developers meet high integrity challenges in object-oriented programming .
Article
Sep 13 '11
Published
in EE Times Design by Ben Brosgol
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.
Article
Sep 13 '11
Published
in EE Times Design by Ben Brosgol
Part 1 of this three-part article reviews the basics of object-oriented programming and summarizes the challenges it presents for high-integrity programming.
Article
Sep 13 '11
Published
in Military Embedded Systems by Robert Dewar
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.
Article
Sep 13 '11
Published
in Electronic Design by Ben Brosgol and William Wong
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.
Article
Dec 3 '10
Published
in Aerospace Engineering and Manufacturing
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.