TrustInSoft Analyser receives ISO for automotive software compliance

In combination with TrustInSoft Analyser’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 behaviours.

“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 behaviours – and reduce compliance efforts, we give our customers a competitive advantage through a mathematical guarantee of the absence of CWE vulnerabilities, analysis of software behaviour on different hardware target platforms, visualisation of variable values at every step of the execution path, and support the root cause location of bugs.”

The value of exhaustive static analysis

TrustInSoft Analyser examines automotive source code using advanced mathematical models proven to achieve 100% 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 Analyser 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% of defects and functional safety issues in their code,” said Derepas. “TÜV SÜD’s independent audit, verification, and assessment of TrustInSoft Analyser means that manufacturers can spend less effort on compliance activities and more time delivering value for their customers.”