Customers who utilize TrustInSoft's Analyzer with Formal Methods for embedded software testing can reduce IoT device rollout durations by up to 40 times and four times by reducing bug discovery time and code verification time.
Fremont, CA: Along with Mathworks, Parasoft, and Synopsis, TrustInSoft competes in the Application Security Testing market. The TrustInSoft Analyzer is a static and dynamic code analyzer that uses Formal Methods to guarantee the quality, security, and safety of C/C++ code. Easy Mile and Mitsubishi are two of TrustInSoft's Automotive and Autonomous Driving customers, with others from the IoT, telecom, semiconductor, aeronautics, and defense industries.
TrustInSoft, a cybersecurity software firm, announced the release of an Application Security Test (AST) that is mathematically guaranteed to produce bug-free code in embedded Internet of Things (IoT) devices. The AST for IoT, built on TrustInSoft's Analyzer, provides the equivalent of static and dynamic code analysis of C/C++ source code utilizing Formal Methods testing to ensure that undefined source code behaviors are not present.
To bring dependable IoT solutions to the market, security testing is essential. Traditional static and dynamic analysis methodologies, on the other hand, impede deployment by duplicating testing for each process. Formal Methods testing shortens the cycle by creating a mathematical twin of C/C++ source code that can be helpful to establish that there are no flaws in the source code for any input. Customers who utilize TrustInSoft's Analyzer with Formal Methods for embedded software testing can reduce IoT device rollout durations by up to 40 times and four times by reducing bug discovery time and code verification time.
It's good news for software and software infrastructure manufacturers wanting to comply with the Biden Administration's new rules for technology companies aimed at mitigating the growing threat of hostile cyber infrastructure incursions. The White House issued this guideline in response to high-profile cyber-attacks in major industries, with direct ramifications for any software and software infrastructure vendor. As part of the "minimum standards for vendors' testing of their software source code," this statement states explicitly that vendors should invest in and develop automated methods to check for vulnerabilities in their source code products.
"Life is never error-free but your source code can be," said 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."