TrustInSoft支持泰雷茲航空電子通信網絡安全

TrustInSoft 宣布，泰雷茲已選擇 TrustInSoft Analyzer 來加強其未來航空電子和通信系統的網絡安全和可靠性。

隨著安全和任務關鍵型環境中軟件復雜性的增加，確保不存在內存漏洞和運行時錯誤變得至關重要。為了解決這個問題，TrustInSoft 開發的代碼分析技術使泰雷茲能夠增強其軟件保障流程，以滿足安全和網絡安全合規性的最高標準。

TrustInSoft Analyzer 通過高級形式化方法為不存在關鍵軟件缺陷（如緩沖區溢出、未初始化的內存訪問和整數溢出）提供數學保證。此功能使 Thales 等組織能夠在所有執行場景中驗證具有完整路徑和上下文敏感性的軟件穩健性。

“支持像泰雷茲這樣的行業領導者證明了數學驗證軟件在航空航天和國防等高可靠性領域的戰略價值，”TrustInSoft 首席執行官 Caroline Guillaume 說。“我們的技術使工程團隊能夠實現合規性，并交付明顯安全且沒有關鍵漏洞的軟件。”

通過無縫集成到現有的敏捷和 V 模型工作流程中，TrustInSoft Analyzer 使工程團隊能夠加快驗證時間，降低錯誤檢測成本，并支持根據 DO-178C、DO-326A 和其他嚴格的監管標準進行的認證工作。通過驗證源代碼中是否存在未定義的行為，TrustInSoft Analyzer 可以幫助實現任何安全和/或安全關鍵級別的軟件目標。此外，使用詳盡的形式化方法方法來發現未定義的行為，可以檢測傳統測試和經典靜態分析方法無法識別的錯誤。