LDRA 宣布扩展对象代码验证功能,以为安全关键型ARM芯片提供高级软件测试 航天& defense 和 汽车行业 应用程序。随着Arm芯片组在飞机和汽车的核心CPU中变得越来越普遍,对安全性至关重要的验证变得至关重要。 LDRA 的支持使软件开发人员可以利用LDRA工具套件来验证汇编和源代码级别的代码覆盖率。
基于手臂的设备通常可以在符合ISO 26262的汽车应用中找到,包括ASIL D,并且随着ADAS和自主性变得越来越重要,它们继续受到关注。相反,长期以来,英特尔和PowerPC一直是飞机计算机的首选架构,以便在恶劣的SWaP(尺寸,重量和功率)受限的环境中获得高完整性的计算。但是,由于Arm在汽车和移动应用中已经证明了其可靠性,低功耗和多功能性,因此航空电子工程师现在也转向了通用Arm处理器。通过将目标代码验证扩展到基于Arm的芯片,LDRA可以满足航空航天安全关键标准DO-178C的A级(最高安全要求),并为汽车开发人员提供了提供类似水平的DO-178C的机会。确保在其领域中最苛刻的应用程序。
除了拥护编码标准之外,LDRA还提供了LDRA工具套件,使公司能够满足航空航天等多个行业的安全性和安全性标准的合规性&国防,汽车,铁路,核电,工业控制和医疗设备。要符合最高的安全关键标准,就需要测试组装级代码,这是LDRA为公司提供40多年的支持水平。
LDRA 决定加入Arm的功能安全合作伙伴计划,这使其能够为Arm社区配备功能安全功能,特别是在那些需要功能安全和安保标准的应用领域中推动合规性工作。由于LDRA在安全关键支持方面具有丰富的传统和领导作用,因此它支持许多编译器和工具链,例如Green Hills 软件 ,IAR,Wind River,Tasking和Keil的编译器和工具链。