TrustInSoft supports Thales avionics communications cybersecurity

TrustInSoft has announced that Thales has selected TrustInSoft Analyzer to reinforce the cybersecurity and reliability of its future avionics and communication systems.

As software complexity increases in safety- and mission-critical environments, ensuring the absence of memory vulnerabilities and runtime errors becomes essential. To address this, code analysis technology developed by TrustInSoft enables Thales to enhance its software assurance processes to meet the highest standards of safety and cybersecurity compliance.

TrustInSoft Analyzer provides mathematical guarantees of the absence of critical software defects, such as buffer overflows, uninitialized memory access, and integer overflow, through advanced formal methods. This capability allows organisations like Thales to verify software robustness with full path and context sensitivity across all execution scenarios.

“Supporting an industry leader like Thales demonstrates the strategic value of mathematically verified software in high-assurance sectors such as aerospace and defence,” said Caroline Guillaume, CEO of TrustInSoft. “Our technology empowers engineering teams to achieve compliance and deliver software that is demonstrably safe, secure, and free from critical vulnerabilities.”

By seamlessly integrating into existing Agile and V-model workflows, TrustInSoft Analyzer enables engineering teams to accelerate validation timelines, reduce the cost of error detection, and support certification efforts under DO-178C, DO-326A, and other strict regulatory standards.

By verifying the absence of undefined behaviours in the source code, TrustInSoft Analyzer can help achieve objectives for software of any safety and/or security criticality level. Further, the use of an exhaustive formal methods approach to discovering undefined behaviours detects bugs that traditional testing and classic static analysis methods cannot identify.