LDRA宣布扩展其对象代码验证，为关键安全航空航天、国防和汽车应用中使用的基于arm的芯片提供高级软件测试。

随着Arm芯片组在飞机和汽车的核心cpu中越来越普遍，安全关键验证变得至关重要。

LDRA的支持使软件开发人员能够利用LDRA工具套件来验证程序集和源代码级别的代码覆盖率。

基于arm的设备经常出现在符合ISO 26262的汽车应用中，包括ASIL D，随着ADAS和自治性变得越来越重要，它们的吸引力也越来越大。

相反，英特尔和PowerPC长期以来一直是飞机计算机在坚固、交换(尺寸、重量和功率)受限的环境中获得高完整性计算的首选架构。

然而，随着Arm在汽车和移动应用中证明了其可靠性、低功耗和多功能性，航空电子工程师现在也开始转向通用Arm处理器。

通过将对象代码验证扩展到基于arm的芯片，LDRA使其符合DO-178C(航空安全关键标准)的最高安全要求a级，并为汽车开发人员提供机会，为其领域中最苛刻的应用程序提供类似级别的保证。

除了支持编码标准之外，LDRA还提供了LDRA工具套件，使公司能够在多个行业(包括航空航天和国防、汽车、铁路、核能、工业控制和医疗设备)满足关键安全标准和关键安全标准。

为了遵守最高的安全关键标准，需要测试汇编级代码——LDRA为公司提供了40多年的这一级别的支持。

LDRA决定加入Arm的功能安全伙伴计划，这使得它能够为Arm社区提供功能安全能力，特别是在那些需要功能安全和安全标准的应用领域。

由于LDRA在关键安全支持方面的丰富传统和领导作用，它支持许多编译器和工具链，如来自Green Hills Software、IAR、Wind River、Tasking和Keil的工具链。