The AST for IoT is based on the company's Analyzer to provide the equivalent of static and dynamic code analysis of C/C++ source code using formal methods testing to guarantee the absence of undefined source code behaviors. While traditional static and dynamic analysis methods are slowing deployment of IoT systems because testing is replicated for each process, says the company, formal methods testing speeds up the process by producing a mathematical twin of C/C++ source code to prove the absence of source code bugs for any input.
Customers who use the company's Analyzer with Formal Methods for embedded software testing can decrease IoT device rollout times by reducing bug detection time up to 40x and decreasing code verification time by 4x.
"Life is never error-free but your source code can be," says Fabrice Derepas, Founder and CEO of TrustInSoft. "A bug found after release can cost up to 640 times more than when found in development. Formal Methods testing is the most direct way to check for vulnerabilities in embedded IoT devices during development, instead of fixing costly errors after deployment."
The software is offered as enabling users to achieve fast and efficient compliance to the new White House cybersecurity regulations and ensure their IoT products do not become a vector for cyber intrusions. The new guidelines, says the company, explicitly outlines that vendors should invest and implement automated tools to check for vulnerabilities in their source code products, as part of the "minimum standards for vendors' testing of their software source code."
For more, see the webinar and demo scheduled for July, 7, 2021: Zero Bug Software, Mathematically Guaranteed