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.