Neue Testlösungen stärken IoT-Sicherheit für schnellere, sicherere Bereitstellungen

Steigende Cyber-Infrastruktur-Bedrohungen durch feindliche Akteure treiben die Entwicklung fortschrittlicher Sicherheitstest-Tools für IoT-Software und -Hardware voran.

Diese Innovationen helfen eingebetteten Systementwicklern, die neuen Sicherheitsstandards zu erfüllen, die das Weiße Haus als Reaktion auf jüngste hochprofilierte Cyberangriffe herausgegeben hat.

Auf der Softwareseite liefert ein neuer Application-Security-Test mathematisch bewiesen, fehlerfreien Code für eingebettete Systeme. TrustInSofts Analyzer transformiert C/C++-Quellcode in einen mathematischen Zwilling, der eine exhaustive Verifikation über alle möglichen Eingaben ermöglicht. Dieser Ansatz garantiert die Abwesenheit von Quellcode-Fehlern, bevor das Gerät in die Produktion geht.

Abbildung 1: Analyzer automatisiert formale Methoden, um eine synthetische Sicht auf Quellcode-Fehler zu bieten. Quelle: TrustInSoft

Traditionelle statische und dynamische Analysemethoden duplizieren Tests für jeden Prozess, was die IoT-Design-Bereitstellung verlangsamt. Der neue eingebettete IoT-Test, angetrieben von TrustInSofts Analyzer, vereint die Strenge statischer und dynamischer Analyse in einem einzigen, schnellen Durchlauf, der die Abwesenheit von undefiniertem Verhalten in C/C++-Code verifiziert.

TrustInSoft berichtet, dass das Tool die Geräte-Einführungszeit um bis zu 40× und die Code-Verifikationszeit um bis zu 4× reduzieren kann. Fabrice Derepas, Gründer und CEO, merkt an, dass ein Post-Release-Bug bis zu 640× mehr kosten kann als einer, der während der Entwicklung entdeckt wird. „Das Leben ist nie fehlerfrei, aber Ihr Quellcode kann es sein“, sagt er.

Auf der Hardwareseite hat Arm den Musca‑S1 IoT Test Chip und Development Board eingeführt, eine Zusammenarbeit mit Samsung Foundry, Cadence und dem IC-Design-Dienstleister Sondrel. Die Plattform nutzt einen 28‑nm Fully-Depleted Silicon-on-Insulator (FD‑SOI) eingebetteten MagnetoResistive Random-Access Memory (eMRAM) Chip, der Vorteile gegenüber herkömmlichem eingebettetem Flash-Speicher bietet und Skalierung unter den 40‑nm-Prozessknoten ermöglicht.

Abbildung 2: Die Musca‑S1 eingebettete Sicherheits-Testplattform gibt IoT-Chip-Designern mehr Optionen. Quelle: Arm

Durch die Integration dieser Software- und Hardware-Testlösungen können IoT-Entwickler End-to-End-Sicherheit prototypisieren, Time-to-Market beschleunigen und wesentliche Cybersicherheitsrichtlinien einhalten.

>> Dieser Artikel wurde ursprünglich auf unserer Schwesterseite EDN veröffentlicht.