“The software was extremely complex object oriented C++ code and the LDRA tool suite has assisted greatly in testing and certifying the source code to DO-178B Level A”