TrustInSoft has announced a new Zero Bug Application Security Test (AST) for the automotive and autonomous driving market that proves the absence of bugs in car manufacturers’ systems. The Zero Bug AST leverages the TrustInSoft Analyzer to automate the power of Formal Methods testing, bringing the benefits to static and dynamic C/C++ source code analysis. TrustInSoft Analyzer democratizes Formal Methods by making its advanced testing processes available to any developer at an affordable cost.
“Formal Methods arguably provide the strongest form of verification of design and code,” said Bruce Powel Douglass, PhD, Senior Principal Agile Systems Engineer at MITRE. “In today’s rapid rush to market for automotive and autonomous driving applications, manufacturers can benefit from product verification technologies such as Formal Methods to get safe and secure products to market faster.”
Today’s average car contains more than 100 million lines of code. In software development, it is accepted that there is an average of 1 to 50 defects, minor or major, per 1000 lines of code. This means that car manufacturers risk having thousands of potential defects that could impact the reliability, safety or security of their vehicles. TrustInSoft Analyzer’s new Zero Bug AST automates Formal Methods testing using mathematics to guarantee the absence of bugs by running an enormous number of tests with the click of a button. Tests accelerate compliance with safety and cybersecurity standards such as ISO26262 and ISO21434.
“One corrupt line of code can cost automotive and autonomous driving manufacturers everything,” said Fabrice Derepas, Founder and CEO of TrustInSoft. “Our new Zero Bug Application Security Test automates the power of Formal Methods for customers to save bug detection time by 40X, decrease code verification time by 4X, and avoid disastrous real-world problems.”