Тестовые решения повышают безопасность в проектах Интернета вещей

Растущая угроза вторжений в киберинфраструктуру со стороны враждебных субъектов приводит к созданию новых механизмов тестирования безопасности программного и аппаратного обеспечения Интернета вещей.

Растущая угроза вторжений в киберинфраструктуру со стороны враждебных субъектов приводит к созданию новых механизмов тестирования безопасности для программного и аппаратного обеспечения Интернета вещей (IoT). Это позволит разработчикам встроенных систем соблюдать новые правила, опубликованные Белым домом на фоне недавних громких кибератак.

Что касается программного обеспечения, то новый тест безопасности приложений математически гарантирует отсутствие ошибок в коде встраиваемых систем. Методика автоматического анализа исходного кода, запущенная компанией TrustInSoft, занимающейся разработкой программного обеспечения для кибербезопасности, использует формальные методы для ускорения процесса тестирования путем создания математического двойника исходного кода C / C ++ и, таким образом, подтверждает отсутствие ошибок исходного кода для любого ввода (рисунок 1).

Рис. 1. Анализатор автоматизирует формальные методы для получения синтетического представления ошибок исходного кода. Источник:TrustInSoft

Традиционные методы статического и динамического анализа замедляют развертывание дизайна Интернета вещей, поскольку тестирование повторяется для каждого процесса. Новый встроенный тест IoT, основанный на инструменте TrustInSoft Analyzer, использует формальные методы для обеспечения эквивалента статического и динамического анализа исходного кода C / C ++ и, таким образом, гарантирует отсутствие неопределенного поведения исходного кода.

TrustInSoft утверждает, что новый инструмент тестирования сокращает время развертывания устройства IoT до 40 раз и время проверки кода до 4 раз. По словам Фабриса Дерепаса, основателя и генерального директора TrustInSoft, ошибка, обнаруженная после выпуска продукта, может стоить до 640 раз дороже, чем обнаруженная на этапе разработки. «Жизнь никогда не бывает безошибочной, но ваш исходный код может быть».

Что касается аппаратного обеспечения, Arm предлагает тестовую микросхему IoT и плату для разработки, которые позволяют разработчикам оценивать учетные данные безопасности в своих встроенных конструкциях (рисунок 2). Компания Arm выпустила тестовый чип и плату для Интернета вещей Musca-S1 в сотрудничестве с Samsung Foundry, Cadence и компанией Sondrel, предоставляющей услуги по проектированию микросхем.

Рис. 2. Платформа тестирования встроенной безопасности Musca-S1 предоставляет разработчикам микросхем Интернета вещей больше возможностей для выбора. Источник:Arm

Тестовое решение IoT основано на 28-нм полностью обедненном кремнии на изоляторе (FD-SOI), встроенном в магниторезистивную оперативную память (eMRAM). Он предлагает преимущества по сравнению с традиционной технологией встроенной флэш-памяти (eFlash) при масштабировании ниже 40-нм техпроцесса.

Вышеупомянутые решения для тестирования оборудования и программного обеспечения позволяют разработчикам Интернета вещей создавать прототипы своих проектов для обеспечения сквозной безопасности и быстро выводить на рынок устройства Интернета вещей, соблюдая основные принципы кибербезопасности.

>> Эта статья изначально была опубликована на нашем дочернем сайте EDN .