Feeds

Thinking of Ada

Not just for things that go 'bang'

The Power of One Brief: Top reasons to choose HP BladeSystem

You’re not designing software for an aeroplane, so what does a bug or two matter between friends, eh?

There are many who should be forgiven for assuming that this is the standard mantra of software developers. Bugs in applications happen, and continue to happen, and the world does keep turning. But as applications have become more significant in businesses, especially for companies that increasingly live and die by the web, a bug can be every bit as fatal as one that shuts down the engines at 38,000 feet.

Web-based operations are just one type of business where the reliability of software is fast becoming central to their survival and where the "it’s only a bug", attitude should now be the equivalent of “it’s only bird flu, I expect I’ll live”.

So AdaCore's launch of the latest version of GNAT Pro, v5.04, is perhaps timely. The launch itself is hardly earth-shattering stuff, for GNAT is just an open-source Ada applications development environment. And Ada, of course, is an old and rather esoteric language developed specifically for US military applications.

In its latest incarnation, Ada 2005, still holds on to the fundamental goal of producing highly reliable applications. And while the defence marketplace is still its primary target, there could well be some mileage in developers looking at the language for the truly `mission critical’ applications that are now becoming common.

The 2005 version introduced enhancements that make Ada far more compatible with web-based applications and environments, particularly in terms of interoperability with Java and C++. This should now allow developers to exploit its reliability and capabilities, such as its safe, high level memory management, and some compile-time and run-time checks that are designed to help avoid bugs like buffer overflows or access to unallocated memory.

Other factors that help Ada ensure its reliability are its standardisation by ISO, and the fact that this means upgrades to the language only occur in a controlled fashion – and not very often. This may seem heretical in a world where software vendors assume they must be dead if not upgrading all the time, but in the cause of applications reliability, it may not be such a bad idea. The new version of GNAT Pro incorporates enhancements to the installation process, as well as new features such as options for stack usage analysis and a tool that can be used to enforce project-specific rules. It comes with a full Ada compiler, an IDE, and a toolset that includes a visual debugger and a set of supplemental libraries and bindings. It is also available to run on the latest 64-bit platforms such as SGI’s Altix servers and HP’s Integrity servers.®

Seven Steps to Software Security

More from The Register

next story
Secure microkernel that uses maths to be 'bug free' goes open source
Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fit
KDE releases ice-cream coloured Plasma 5 just in time for summer
Melty but refreshing - popular rival to Mint's Cinnamon's still a work in progress
NO MORE ALL CAPS and other pleasures of Visual Studio 14
Unpicking a packed preview that breaks down ASP.NET
Cheer up, Nokia fans. It can start making mobes again in 18 months
The real winner of the Nokia sale is *drumroll* ... Nokia
Put down that Oracle database patch: It could cost $23,000 per CPU
On-by-default INMEMORY tech a boon for developers ... as long as they can afford it
Another day, another Firefox: Version 31 is upon us ALREADY
Web devs, Mozilla really wants you to like this one
Google shows off new Chrome OS look
Athena springs full-grown from Chromium project's head
prev story

Whitepapers

Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Consolidation: The Foundation for IT Business Transformation
In this whitepaper learn how effective consolidation of IT and business resources can enable multiple, meaningful business benefits.
Application security programs and practises
Follow a few strategies and your organization can gain the full benefits of open source and the cloud without compromising the security of your applications.
How modern custom applications can spur business growth
Learn how to create, deploy and manage custom applications without consuming or expanding the need for scarce, expensive IT resources.
Securing Web Applications Made Simple and Scalable
Learn how automated security testing can provide a simple and scalable way to protect your web applications.