TrustInSoft 宣布，泰雷兹已选择 TrustInSoft Analyzer 来加强其未来航空电子和通信系统的网络安全和可靠性。

随着安全和任务关键型环境中软件复杂性的增加，确保不存在内存漏洞和运行时错误变得至关重要。为了解决这个问题，TrustInSoft 开发的代码分析技术使泰雷兹能够增强其软件保障流程，以满足安全和网络安全合规性的最高标准。

TrustInSoft Analyzer 通过高级形式化方法为不存在关键软件缺陷（如缓冲区溢出、未初始化的内存访问和整数溢出）提供数学保证。此功能使 Thales 等组织能够在所有执行场景中验证具有完整路径和上下文敏感性的软件稳健性。

“支持像泰雷兹这样的行业领导者证明了数学验证软件在航空航天和国防等高可靠性领域的战略价值，”TrustInSoft 首席执行官 Caroline Guillaume 说。“我们的技术使工程团队能够实现合规性，并交付明显安全且没有关键漏洞的软件。”

通过无缝集成到现有的敏捷和 V 模型工作流程中，TrustInSoft Analyzer 使工程团队能够加快验证时间，降低错误检测成本，并支持根据 DO-178C、DO-326A 和其他严格的监管标准进行的认证工作。通过验证源代码中是否存在未定义的行为，TrustInSoft Analyzer 可以帮助实现任何安全和/或安全关键级别的软件目标。此外，使用详尽的形式化方法方法来发现未定义的行为，可以检测传统测试和经典静态分析方法无法识别的错误。