French aerospace and defence electronics corporation Thales has selected local company TrustInSoft to reinforce the cyber security and reliability of its future avionics and communication systems.

TrustInSoft specialises in software security and formal verification.

As software complexity grows within safety- and mission-critical environments, ensuring the absence of memory vulnerabilities and runtime errors becomes paramount. By leveraging TrustInSoft’s code analysis technology, Thales is strengthening its software assurance processes to meet high standards of safety and cyber-security compliance.

TrustInSoft Analyzer provides mathematical guarantees of the absence of critical software defects, such as buffer overflows, uninitialised memory access and integer overflows. This capability helps organisations such as Thales 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 integrating seamlessly 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 regulatory standards.

Based in Paris, TrustInSoft (www.trust-in-soft.com) produces software analysis tools and services for formal verification of C and C++ source code to ensure safety, security and reliability. Recognised by the US National Institute of Standards & Technology (NIST) for leveraging formal methods, including abstract interpretation, TrustInSoft can mathematically guarantee analysed software is free of critical runtime errors and vulnerabilities. It serves industries such as automotive, aerospace, defence, consumer electronics and IoT.

More information on the Thales aerospace and defence organisation can be found at www.thalesgroup.com.