Menu
Independent qualification demonstrates commitment to helping automotive OEMs and suppliers eliminate the most critical software risks and reduce compliance efforts
PARIS and SAN FRANCISCO — September 19, 2023 — TrustInSoft, the leader in exhaustive C/C++ software source code analysis, announced today that TrustInSoft Analyzer has received ISO 26262 qualification from TÜV SÜD. TrustInSoft Analyzer has been qualified as TCL3, which is at the highest existing level. In combination with TrustInSoft Analyzer’s exhaustive static analysis capabilities, this qualification gives automotive manufacturers and suppliers crucial support in meeting the automotive industry’s strict safety standards throughout the product development process via an independent validation of the tool’s capacity to mathematically guarantee the absence of undefined behaviors.
“With increasing complexity and scale of automotive electronics, manufacturers are looking for new ways to meet functional safety requirements without compromising release schedules,” said Fabrice Derepas, Founder and CEO of TrustInSoft. “To help eliminate the most critical safety risks in automotive software – undefined behaviors – and reduce compliance efforts, we give our customers a competitive advantage through a mathematical guarantee of the absence of CWE vulnerabilities, analysis of software behavior on different hardware target platforms, visualization of variable values at every step of the execution path, and support the root cause location of bugs.”
TrustInSoft Analyzer examines automotive source code using advanced mathematical models proven to achieve 100 percent coverage of both code and inputs. Unlike traditional test methods and static analysis tools, this exhaustive static analysis guarantees all functions are tested across the entire range of input values.
With software structural coverage and code coverage strongly recommended by the ISO 26262 standard, exhaustive static analysis provides the ideal combination of breadth, depth, and speed for developers to prove that their code is free from issues and functional safety risks. In addition to existing support for the MISRA C guidelines, TrustInSoft Analyzer gives automotive manufacturers massive-scale testing and compliance capabilities in much shorter timeframes than do traditional tools.
“Automotive software developers can’t afford to anchor themselves to the testing techniques of the past; they must move forward with technologies guaranteed to find 100 percent of defects and functional safety issues in their code,” said Derepas. “TÜV SÜD’s independent audit, verification, and assessment of TrustInSoft Analyzer means that manufacturers can spend less effort on compliance activities and more time delivering value for their customers.”
TrustInSoft participates in the Application Security Testing market. TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security, and safety. For more information, visit https://www.trust-in-soft.com
Ashley Dew
TrustInSoft
+1 (408) 829-5882
