GrammaTech’s Paul Anderson Published in Dr. Dobb’s

Dr. Dobb’s today published an article by GrammaTech’s Paul Anderson, titled, “Detecting Bugs in Safety-Critical Code.” An excerpt appears below, with a link to the full article.

Detecting Bugs in Safety-Critical Code

Paul Anderson, VP of Engineering, GrammaTech

When software is used for safety-critical applications, bugs aren’t just expensive annoyance – they can kill. Faced with such dire consequences, developers of safety-critical systems go to great lengths to prevent bugs from making it into the field. These measures are undeniably effective at reducing risk. Although there have been some famous catastrophic failures over the years, if medical devices or flight-control systems failed as often as most software fails, the headlines would be much grimmer.

So how do they do it, and how can those of us who do not write safety-critical code emulate their success? Well, there are many strategies, but two stand out as being key and offer important lessons for other developers – static analysis and rigorous testing.

Click here to see the full article on Dr. Dobb’s website.