В DARPA создали беспилотный квадрокоптер, являющийся, как утверждается, полностью защищенным от хакерских атак. Соответствующая программа агентства направлена на разработку механизмов повышения защищенности встроенных технологий в беспилотниках, системах вооружений, SCADA, а также в медицинской технике и мобильных устройствах. В частности, в рамках программы создаются интерактивные системы синтеза ПО, генерирующие код в полуавтоматическом режиме из формальных спецификаций и проверяющих на соответствие требованиям безопасности и защищенности. Неуязвимость ПО беспилотника для широкого круга атак заверена математически. Все попытки взломать дрон, предпринятые в ходе испытаний, провалились.

 

Поделитесь материалом с коллегами и друзьями

Купить номер с этой статьей в PDF