In combination with TrustInSoft Analyzer’s static analysis capabilities, this qualification will give automotive manufacturers and suppliers 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, 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 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 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 also 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.”
