英国威拉尔市（商业新闻电）--LDRA今天宣布扩展目标代码验证，为安全关键的航空航天、国防和汽车应用中使用的基于Arm的芯片进行高级软件测试。随着Arm芯片组在飞机和汽车的核心CPU中越来越普遍，安全关键验证变得至关重要。LDRA的支持使软件开发人员能够利用LDRA工具套件在汇编和源代码级别验证代码覆盖率。代码质量保证领导者@ldra_technology成为市场上第一个支持基于@arm芯片的安全关键航空航天和汽车应用；LDRAtoolsuite将对象代码验证扩展到组装和代码级别。#是178C吗Arm在航空航天、汽车领域的应用基于Arm的设备通常可以在符合ISO 26262标准的汽车应用中找到，直到ASIL D（包括ASIL D），并且随着ADAS和autonomy变得越来越重要，它们继续获得牵引力。相反，Intel和PowerPC长期以来一直是飞机计算机的首选架构，以在一个坚固、交换（大小、重量和功率）受限的环境中获得高完整性计算。然而，随着Arm在汽车和移动应用中的可靠性、低功耗和多功能性，航空电子工程师现在也开始转向通用Arm处理器。通过将目标代码验证扩展到基于Arm的芯片，LDRA使其符合航空航天安全关键标准DO-178C的最高安全要求A级，并为汽车开发人员提供了一个机会，为其领域中最苛刻的应用提供了类似级别的保证。"目标代码验证早就可以用于其他专用处理器，但将其扩展到通用Arm处理器，可以让安全关键型设计师在设计中充分利用Arm生态系统，"LDRA运营总监Ian Hennell说通过扩展，LDRA使航空电子工程师能够验证基于Arm的应用程序到DAL A，同时享受额外的生态系统灵活性和较低成本的好处，并为汽车工程师在其行业中应用这一最新技术打开了大门。"LDRA丰富的传统和领先地位支持安全关键型应用除了支持编码标准外，LDRA还提供了LDRA工具套件，使公司能够满足航空航天与国防、汽车、铁路、核能、工业控制和医疗设备等多个行业的安全关键和安全关键标准。要符合最高的安全关键标准，需要对装配级代码进行测试，这是LDRA为公司提供的40多年的支持级别。LDRA决定加入Arm的功能安全伙伴计划，使其能够为Arm社区提供功能安全能力，特别是在需要功能安全和安保标准的应用领域推动合规工作。由于其在安全关键支持方面的丰富传统和领导作用，LDRA支持许多编译器和工具链，例如来自Green Hills Software、IAR、Wind River、Tasking和Keil的编译器和工具链。有关LDRA如何帮助软件开发团队在其航空航天、国防和汽车系统中构建安全性的更多信息，请访问https://ldra.com/aerospace-defence/以及https://ldra.com/automotive/分别。关于LDRA40多年来，LDRA一直在开发和推动软件市场，该软件能够为安全、任务、安全和业务关键市场自动进行代码分析和软件测试。LDRA与客户合作，实现早期错误识别和消除，并完全符合行业标准，通过静态和动态分析，LDRA跟踪各种硬件和软件平台的单元测试和验证。LDRA的业务遍及全球，在英国、美国、德国和印度设有总部，并拥有广泛的分销商网络。有关LDRA工具套件的更多信息，请访问。读者可以直接向以下人员提问：马克·詹姆斯电子邮件：马克·詹姆斯@ldra网站