Integrated with Wind River® VxWorks® 7 RTOS, LDRA Tool Suite delivers object code verification that confirms compiler optimizations have not inadvertently introduced aberrant application code behavior. Software provides high-assurance data and control coupling analysis that is mandated in safety- and security-critical standards, such as DO-178C and ISO 26262. It can support and verify both simulated and target hardware without compromising application behavior or performance.