测试解决方案IOT设计中的支持安全性万博投注网址

文章：Majeed Ahmad

来自敌对演员的云卷灭绝侵犯威胁越来越多的威胁是为物联网（物联网）软件和硬件的新安全测试机制。这将允许嵌入式系统开发人员遵守白宫出版的新指南在最近的高调网络攻击中。

在软件方面，一种新的应用程序安全测试从数学上保证了嵌入式设计中的无bug代码。万博投注网址由网络安全软件公司TrustInSoft推出的自动化源代码分析技术采用正式的方法，通过生成C/ c++源代码的数学孪生代码来加快测试过程，从而证实任何输入都没有源代码错误(图1)。

图1：分析仪自动化正式方法以提供源代码错误的合成视图。来源：Trustinsoft.

传统的静态和动态分析方法减慢了物联网设计部署，因为为每个进程复制了测试。基于TrustCoroft的分析工具的新嵌入式IOT测试采用正式方法来提供相当于C / C ++源代码的静态和动态分析，从而保证不存在未定义的源代码行为。

TrustInsoft声称新的测试工具将IOT设备的卷展栏减少到高达40倍，并且代码验证时间最多可达4倍。根据Fabrice Derepas，Trustinsoft的创始人兼首席执行官，产品释放后发现的错误可以在开发阶段在发现期间的速度高达640倍。“生活永远不会无错误，但你的源代码可以是。”

在硬件前面，ARM提供IOT测试芯片和开发板，使开发人员能够在其嵌入式设计中评估安全凭证（图2）。万博投注网址胳膊释放了Musca-S1IOT测试芯片和开发板与三星铸造，CAdence和IC设计服务公司Sondrel合作。

图2：Musca-S1嵌入式安全测试平台为IOT芯片设计人员提供了更多选择。来源：手臂

物联网测试解决方案基于28-nm全耗尽的绝缘体（FD-SOI）嵌入式磁阻随机存取存储器（EMRAM）芯片。它提供了与传统嵌入式闪光灯（EFLASH）内存技术的优势，以规模低于40纳米工艺技术。

上述硬件和软件测试解决方案允许IOT开发人员对端到端安全的设计进行原型，并在遵守基本的网络安全指南的同时快速将设备带到市场。万博投注网址

本文最初发布edn.。

Majeed Ahmad.是EDN主编，覆盖了电子设计行业的二十多年了。