TrustInSoft Announces Bug-Free IoT Application Security Test
June 30, 2021
News
TrustInSoft announced an Application Security Test (AST) designed to mathematically guarantee bug-free code in embedded Internet of Things (IoT) devices.
This AST for IoT is based on TrustInSoft’s Analyzer to provide the equivalent of static and dynamic code analysis of C/C++ source code using Formal Methods testing designed to guarantee the absence of undefined source code behaviors.
Per the company, Formal Methods testing speeds up the deployment 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 TrustInSoft’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.
This is good news for software and software infrastructure vendors looking to be compliant with the new guidelines published by the Biden Administration, intended for technology companies to help mitigate the growing threat of cyberinfrastructure intrusions from hostile actors. Recent high-profile cyber-attacks in key industries have caused the White House to issue this guidance, with direct implications for any vendor of software and software infrastructures. This statement 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 information: https://trust-in-soft.com/bug-free-iot-application-security-test/
Webinar and Demo, July 7, 2021: https://trustinsoft.clickmeeting.com/zero-bug-software-mathematically-guaranteed/register
Tiera Oliver is the assistant managing editor at Embedded Computing Design. She is responsible for web content editing, product news, and story development. She also manages, edits, and develops content for ECD podcasts, including Embedded Insiders.
She utilizes her expertise in journalism and content management to oversee editorial content, coordinate with editors, and ensure high-quality output across web, print, and multimedia platforms. She manages diverse projects, assists in the production of digital magazines, and hosts company podcasts by conducting in-depth interviews with industry leaders to deliver engaging and insightful discussions.
Tiera attended Northern Arizona University, where she received her bachelor's in journalism and political science. She was also a news reporter for the student-led newspaper, The Lumberjack.
