加利福尼亚州圣何塞,2014年3月31日LDRA,领导者标准遵从性、自动化软件验证源代码分析和测试工具,宣布其能力提供具有成本效益的多核系统的验证安全性至关重要的标准。重点行业的持续减少尺寸、重量,和权力(交换),安全至上的系统制造商继续寻找方法来实现全面验证,甚至多核系统认证符合成本效益的方式。LDRA仪器和捕捉的能力分析和测试数据从验证这样的系统突破障碍,希望系统开发人员所需的资源和技术实现严格的认证。

LDRA突破验证多核环境的障碍

需要更大的处理能力和降低功耗驱动向多核系统对安全性要求苛刻的应用程序的开发人员。检定系统等严格的安全性至关重要的认证- 178 c上提出了具体的挑战。当多个进程运行在不同的核心,有效收集结构覆盖率数据和创建和执行测试可以受到并发性、可靠性和鲁棒性障碍。

LDRA面临这样的挑战在多个层面上:

1)与高度优化工具和分析,LDRA骨料覆盖率数据在各处理器在多核系统没有典型的互斥锁的开销。这种方法避免了死锁造成的其他验证工具和技术。

2)LDRA与操作系统和编译器的集成供应商,如风河系统公司和青山软件全面,使执行能力的核心。

3)LDRA大幅减少和优化仪器和数据收集缓解内存和性能开销。

“捕捉数据从这些复杂的架构同时运行多个应用程序在多核系统的验证,是一项重大突破”Ian Hennell确认操作LDRA主任。“由于我们40多年的经验帮助客户实现认证和标准的兼容性,我们已调整了集成LDRA工具套件的平台和工具链在这些安全性至关重要的领域。我们已经开发出的技术优化,高性能系统继续表现为目的,使我们能够获取准确的数据系统分析。”

LDRA领导的多核平台环境

LDRA提供丰富、行业证明了集成与今天的主要安全至上的RTOS供应商。在航空电子设备领域,LDRA提供全力支持两个风河系统公司提供的综合模块化航空电子技术ARINC 653和青山完整- 178 c。LDRA支持包括先进的I / O,项目文件和IDE集成,集成编译器工具链和模拟器在范围广泛的硅,和集成虚拟化环境。

LDRA工具套件能够无缝地在各种工具链,使开发团队能够汇集的开发、执行和验证的基础设施。LDRA功能的编码标准遵从性、结构覆盖、数据和控制耦合,可以引入和低级测试验证工作流所需的主机,模拟器,或实际目标硬件。这样综合能力显著提高工作流和开发透明度,并最终确保质量的多核应用程序交付。

Hennell补充道:“随着多核解决方案迅速增加,开发组织必须符合成本效益,保证这些系统验证的方法。LDRA的经验和工具帮助解决这些挑战通过简化、自动化的方法,和丰富的技术。LDRA将继续减轻这种复杂性,利用集成使工程师们的生活更容易和认证的成本多核项目可控的。”

关于LDRA

四十多年来,LDRA自动化代码开发和市场驱动的软件安全分析和软件测试,任务,安全,和关键业务市场。与客户合作,实现早期错误识别和完全符合行业标准,LDRA痕迹需求通过静态和动态分析,单元测试和验证各种硬件和软件平台。拥有全球存在,LDRA总部与子公司在英国美国和印度加上一个广泛的经销商网络。在LDRA工具套件的更多信息,请访问www.ldra.com。

• 
• 
• 
• 
•