新しいテストソリューションがIoTセキュリティを強化、より迅速で安全な導入を実現
敵対的行為者からのサイバーインフラ脅威の高まりが、IoTソフトウェアとハードウェア向けの高度なセキュリティテストツールの開発を推進しています。
これらの革新は、最近の注目すべきサイバー攻撃を受けてホワイトハウスが発表した新しいセキュリティ基準を、組み込みシステム開発者が満たすのを支援します。
ソフトウェア側では、新しいアプリケーションセキュリティテストが、組み込みシステム向けに数学的に証明されたバグフリーのコードを提供します。TrustInSoftのAnalyzerは、C/C++ソースコードを数学的なツインに変換し、すべての可能な入力にわたる網羅的検証を可能にします。このアプローチにより、デバイスが本番環境に到達する前にソースコードのバグが存在しないことを保証します。
図1: Analyzerは形式手法を自動化し、ソースコードバグの合成的なビューを提供。出典: TrustInSoft
従来の静的および動的解析手法は、プロセスごとにテストを複製するため、IoT設計の導入を遅らせます。TrustInSoftのAnalyzerを搭載した新しい組み込みIoTテストは、静的および動的解析の厳密さを単一の高速パスに統合し、C/C++コードにおける未定義動作の不在を検証します。
TrustInSoftによると、このツールはデバイス導入時間を最大40倍、コード検証時間を最大4倍短縮できます。創業者兼CEOのFabrice Derepas氏は、リリース後のバグは開発中に発見されたバグの最大640倍のコストがかかると指摘します。「人生はエラーフリーではないが、ソースコードはエラーフリーにできる」と語ります。
ハードウェア側では、ArmがMusca-S1 IoTテストチップと開発ボードを発表しました。これはSamsung Foundry、Cadence、IC設計サービス企業Sondrelとの共同開発です。このプラットフォームは、28nm完全空乏型シリコン・オン・インシュレータ（FD-SOI）埋め込み磁気抵抗RAM（eMRAM）チップを使用し、従来の埋め込みフラッシュメモリに対する利点を提供し、40nmプロセスノード以下へのスケーリングを可能にします。
図2: Musca-S1組み込みセキュリティテストプラットフォームは、IoTチップ設計者により多くの選択肢を提供。出典: Arm
これらのソフトウェアとハードウェアテストソリューションを統合することで、IoT開発者はエンドツーエンドのセキュリティをプロトタイピングし、市場投入までの時間を短縮し、必須のサイバーセキュリティガイドラインに準拠できます。
>> この記事はもともと姉妹サイトEDNで公開されました。
モノのインターネットテクノロジー
- IoTセキュリティを解明：接続デバイスを守る
- 産業IoTセキュリティ：課題の克服と堅牢なソリューションの実装
- 産業用IoTセキュリティ：実践的ロードマップ
- セキュアなIoT：信頼できるコネクテッド製品構築のためのベスト・プラクティス
- なぜOSGiがモダンIoTソリューションの理想的フレームワークなのか
- IoTのセキュリティと断片化が依然として最大の課題、GSMA調査で判明
- IoTセキュリティ——責任は誰にあるのか？
- IoTの台頭：なぜセキュリティを初日から組み込む必要があるか
- IoTセキュリティ：導入障壁の克服
- AdvantechのレディユースプラットフォームでIoTソリューション開発を加速
- 欺瞞技術でIoTデバイスを保護する