TBsafe

Meet Exacting Standards for High-Integrity Coverage Requirements

DO-178B/C, Def Stan 00-55 & IEC 61508

The TBsafe module incorporates an additional set of high-integrity analysis tools to help rigorously test code to exacting standards such as those required for DO-187B/C, Def Stan 00-55 and IEC 61508. TBsafe is particularly suited to gaining certification from outside bodies and regulatory authorities.

TBsafe
Click for full size screenshot.

Try it yourself! Fill in the form and receive a 30 day free trial.