Solusi Pengujian Baru Memperkuat Keamanan IoT untuk Penerapan Lebih Cepat dan Aman
Ancaman siber Infrastruktur dari aktor hostil yang semakin meningkat mendorong pengembangan alat pengujian keamanan canggih untuk perangkat lunak dan perangkat keras IoT.
Inovasi ini membantu pengembang sistem tertanam memenuhi standar keamanan baru yang dikeluarkan oleh Rumah Putih sebagai respons terhadap serangan siber berprofil tinggi terbaru.
Di sisi perangkat lunak, tes keamanan aplikasi baru memberikan kode bebas bug yang terbukti matematis untuk sistem tertanam. Analyzer TrustInSoft mengubah kode sumber C/C++ menjadi twin matematika, memungkinkan verifikasi menyeluruh di semua input yang mungkin. Pendekatan ini menjamin kehadiran bug kode sumber sebelum perangkat mencapai produksi.
Gambar 1: Analyzer mengotomatisasi metode formal untuk memberikan tampilan sintetik bug kode sumber. Sumber: TrustInSoft
Metode analisis statis dan dinamis tradisional menduplikasi pengujian untuk setiap proses, memperlambat penerapan desain IoT. Tes IoT tertanam baru, didukung oleh Analyzer TrustInSoft, menggabungkan ketat analisis statis dan dinamis ke dalam satu lewat cepat yang memverifikasi kehadiran perilaku tidak terdefinisi dalam kode C/C++.
TrustInSoft melaporkan bahwa alat ini dapat mengurangi waktu peluncuran perangkat hingga 40× dan waktu verifikasi kode hingga 4×. Fabrice Derepas, pendiri dan CEO, mencatat bahwa bug setelah peluncuran dapat memakan biaya hingga 640× lebih dari yang ditemukan selama pengembangan. “Kehidupan tidak pernah bebas kesalahan, tetapi kode sumber Anda bisa,” katanya.
Di sisi perangkat keras, Arm telah meluncurkan chip uji Musca-S1 IoT dan papan pengembangan, kolaborasi dengan Samsung Foundry, Cadence, dan perusahaan jasa desain IC Sondrel. Platform ini menggunakan chip memori akses acak magnetoresistive (eMRAM) tertanam 28-nm fully-depleted silicon-on-insulator (FD-SOI), menawarkan keuntungan dibanding memori flash tradisional dan memungkinkan skalabilitas di bawah node proses 40-nm.
Gambar 2: Platform uji keamanan tertanam Musca-S1 memberikan lebih banyak opsi bagi desainer chip IoT. Sumber: Arm
Dengan mengintegrasikan solusi pengujian perangkat lunak dan perangkat keras ini, pengembang IoT dapat membuat prototipe keamanan akhir ke akhir, mempercepat waktu ke pasar, dan mematuhi pedoman keamanan siber yang penting.
>> Artikel ini awalnya diterbitkan di situs kami, EDN.
