Новые решения для тестирования укрепляют безопасность IoT для более быстрых и безопасных развертываний

Растущие киберугрозы инфраструктуры от враждебных действующих лиц стимулируют разработку передовых инструментов тестирования безопасности для ПО и оборудования IoT.

Эти инновации помогают разработчикам встроенных систем соответствовать новым стандартам безопасности, выпущенным Белым домом в ответ на недавние громкие кибератаки.

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

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

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

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

На стороне оборудования Arm запустил тестовый чип и отладочную плату Musca-S1 для IoT, сотрудничество с Samsung Foundry, Cadence и фирмой по IC-дизайну Sondrel. Платформа использует 28-нм полностью обедненный кремний-на-изоляторе (FD-SOI) встроенный магниторезистивный ОЗУ (eMRAM) чип, предлагающий преимущества перед традиционной встроенной флеш-памятью и позволяющий масштабирование ниже 40-нм процессорного узла.

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

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

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