新测试方案强化物联网安全，实现更快更安全部署
来自敌对行为者的网络基础设施威胁日益升级，推动针对物联网软硬件的高级安全测试工具开发。
这些创新帮助嵌入式系统开发者满足白宫针对近期高调网络攻击发布的新安全标准。
软件方面，新型应用安全测试为嵌入式系统提供数学证明的无Bug代码。TrustInSoft Analyzer将C/C++源代码转化为数学孪生体，支持对所有可能输入进行穷尽验证。这种方法保证设备投产前源代码无Bug。
图1：Analyzer自动化形式化方法，提供源代码Bug的综合视图。来源：TrustInSoft
传统静态和动态分析方法为每个进程重复测试，拖慢物联网设计部署。由TrustInSoft Analyzer驱动的新型嵌入式物联网测试，将静态和动态分析的严谨性融合为单次快速通道，验证C/C++代码中无未定义行为。
TrustInSoft报告称，该工具可将设备推出时间缩短40倍，代码验证时间缩短4倍。创始人兼CEO Fabrice Derepas指出，发布后Bug成本可达开发阶段发现的640倍。“生活从不无错，但你的源代码可以。”他说。
硬件方面，Arm联合三星代工、Cadence和IC设计服务商Sondrel推出Musca-S1物联网测试芯片和开发板。该平台采用28nm完全耗尽硅绝缘体（FD-SOI）嵌入式磁阻随机存取存储器（eMRAM）芯片，相较传统嵌入式闪存具有优势，并支持40nm以下工艺节点扩展。
图2：Musca-S1嵌入式安全测试平台为物联网芯片设计师提供更多选择。来源：Arm
通过整合这些软硬件测试解决方案，物联网开发者可原型化端到端安全，加速上市时间，并符合关键网络安全指南。
>> 本文最初发表于我们的姊妹网站EDN。
物联网技术