Remember those good ol’ school days when the stakes for earning “A” grades seemed so high? Allowances, dates, TV privileges, and everything else vital to a kid’s or teen’s life hung in the balance. Though the pressure to achieve A’s is long gone for most of us, those programming DO-178B Level A avionics software apps are still under it. Now it’s not just privileges hanging in the balance, though, but actual human lives. Enter AdaCore’s GNAT Pro Traceability Analysis Package for DO-178B, which eases the large Level A object-to-source code verification challenge and helps designers make the most of the Ada language.
One of the primary facets of Level A verification is that of tracing compiler-generated object code directly back to source code. However, for those times when the connection between object and source code is not ostensible, the GNAT Pro Traceability Analysis Package steps in. The package – under the company’s GNAT Pro development environment’s nomenclature – includes coding standard consistency analysis; analysis of the generated object code’s traceability; and extra verification to illustrate the accuracy of generated code that cannot directly be traced to source code. The result is just what any developer needs: less of the ever-tedious verification hassle. Once AdaCore’s GNAT Pro Traceability Analysis Package for DO-178B proliferates the market, we’re pretty sure we won’t be the only ones giving it an A+.
