TBobjectbox

TBobjectbox®

LDRA offers a comprehensive and automated approach to meeting many functional safety and cybersecurity standards, and for software quality improvement. From a standalone rule checker to a portfolio of tools that integrates functional safety and security standards compliance into the software development life cycle, LDRA’s range of compliance products are sure to meet your needs.

• What is TBobjectbox?
• Which assemblers are supported? 
• Additional information 

What is TBobjectbox?

TBobjectbox is an optional module available for the LDRA tool suite. TBobjectbox provides a complete Object Code Verification (OCV) solution, including source code to object code traceability and object code coverage analysis. OCV provides the most automated and thorough mechanism available to prove the validity of the object code when a “compiler, linker or other means generates additional code that is not directly traceable to Source Code”. Such an assurance is essential for systems compliant with DO-178/C design assurance level (DAL) A or ECSS-E-ST-40C software criticality category A.

TBobjectbox is a sophisticated, cost-effective OCV solution, designed to reduce the time, effort, and risk of verifying object code that cannot be directly traced to source code.

Which assemblers are supported?

This list of example applications is not comprehensive. Contact LDRA for more information about support for your toolchain.

Additional information

Object Code Verification page
Technical briefing – The significance of Object Code Verification: An overview
Technical white paper – Object code verification: Why it matters 
Video: Object Code Verification using Texas Instruments Code Composer Studio and a TMS320
Video: Object Code Verification using Texas Instruments Code Composer Studio and a TMS570
Video: Object Code Verification using Wind River Diab and Lauterbach TRACE32