Thales has selected
TrustInSoft Analyser to reinforce the cybersecurity and reliability of its future avionics and communication systems.
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 the highest standards of safety and cybersecurity compliance.
TrustInSoft Analyser provides mathematical guarantees of the absence of critical software defects—such as buffer overflows, uninitialised memory access, and integer overflows—through advanced formal methods. This capability helps organisations like 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 Analyser enables engineering teams to accelerate validation timelines, reduce the cost of error detection, and support certification efforts under DO-178C, DO-326A, and other rigorous regulatory standards.
@TrustInSoft @thalesgroup @NapierPR #Communications #Cybersecurity
No comments:
Post a Comment