Follow Us

We use cookies to provide you with a better experience. If you continue to use this site, we'll assume you're happy with this. Alternatively, click here to find out how to manage these cookies

hide cookie message

Software 'glitches' are not acceptable. Learn from aviation

AdaCore chief Robert Dewar calls for improvement

Article comments

The term “glitch” is often used to describe an error in software, but the word itself undermines the severity of such errors, according to open source software company Adacore.

Only this year, a so-called software glitch was responsible for a substantial IT failure at the Royal Bank of Scotland (RBS), which meant that millions of customers could not gain access to funds in their bank accounts.

Events from the Wall Street Crash to Toyota's brake failings in 2009 have also been attributed to software glitches – trivialising the problem and implying that it can be reasoned away.

According to Robert Dewar, president and CEO of AdaCore, however, there is no excuse for these outages. In the world of aviation, where failure is not an option, software glitches simply do not happen.

Speaking to Techworld, Dewar said that the banking sector can learn a great deal from ultra-paranoid industries like aviation, which use highly reliable programming languages such as Ada in their application development.

Adacore's main product, GNAT Pro, is a commercial-grade open source Ada development environment that supports all versions of the Ada language standard, and is used primarily by the military and aviation industry. 

GNAT Pro underpins the UK’s Interim Future Area Control Tools Support (iFACTS) air traffic control system, implemented by Praxis in 2007, as well as the onboard computers on BAE Systems' Eurofighter Typhoon combat aircraft.

“We have never lost a life on a commercial aircraft due to a software bug in the entire history of commercial aviation,” said Dewar. “Nothing in Ada guarantees no bugs, but Ada comes with a safety culture.”

Ada is designed to make it easier to write safe and reliable applications. The syntax is simple, consistent, and readable, and uses English keywords such as “or else” and “and then” over symbols such as “||” and “&&”.

A large number of compile-time checks are also supported to help avoid bugs that would not be detectable until run-time in some other languages, or would require explicit checks to be added to the source code. This means there is less chance of a major failure after deployment.

Dewar has also helped to develop the DO-178B Software Considerations in Airborne Systems and Equipment Certification, which is used to determine if software will perform reliably in an airborne environment.

However, Dewar said that programmers do not have to be writing in Ada to write reliable code. While languages such as C and C++ are known to be problematic, there is no reason that applications written in these languages can't be just as reliable as those written in Ada.

It all comes down to carrying out comprehensive integration testing and using formal methods of proof to verify security before these applications are deployed, he said, as well as leaving a development trail so that errors can be easily traced back to their source.

“The highest levels of software need formal methods,” said Dewar. “We have to be able to enforce this level of checking.”

Ultimately, writing more reliable code will cut down on errors and reduce the risk of costly outages in most industry sectors. Before this can happen, however, people have to stop accepting that “glitches” are trivial and start demanding better software.

“You wouldn't excuse the crash of a jumbo jet by labelling it a glitch, so why the failing of a banking application?” he concluded.



Share:

More from Techworld

More relevant IT news

Comments



Send to a friend

Email this article to a friend or colleague:

PLEASE NOTE: Your name is used only to let the recipient know who sent the story, and in case of transmission error. Both your name and the recipient's name and address will not be used for any other purpose.

Techworld White Papers

Choose – and Choose Wisely – the Right MSP for Your SMB

End users need a technology partner that provides transparency, enables productivity, delivers...

Download Whitepaper

10 Effective Habits of Indispensable IT Departments

It’s no secret that responsibilities are growing while budgets continue to shrink. Download this...

Download Whitepaper

Gartner Magic Quadrant for Enterprise Information Archiving

Enterprise information archiving is contributing to organisational needs for e-discovery and...

Download Whitepaper

Advancing the state of virtualised backups

Dell Software’s vRanger is a veteran of the virtualisation specific backup market. It was the...

Download Whitepaper

Techworld UK - Technology - Business

Innovation, productivity, agility and profit

Watch this on demand webinar which explores IT innovation, managed print services and business agility.

Techworld Mobile Site

Access Techworld's content on the move

Get the latest news, product reviews and downloads on your mobile device with Techworld's mobile site.

Find out more...

From Wow to How : Making mobile and cloud work for you

On demand Biztech Briefing - Learn how to effectively deliver mobile work styles and cloud services together.

Watch now...

Site Map

* *