Американська компанія Rockwell Collins спільно з Boeing і 3D-Robotics провела випробування стійких до злому квадрокоптера Iris і безпілотного вертольота Little Bird.
Розробка захищених від злому дронів ведеться на замовлення Агентства перспективних оборонних проектів (DARPA) Міністерства оборони США, яке зацікавлене в захисті перспективних безпілотних і опціонально пілотованих літальних апаратах від можливих вразливостей.
Існує як мінімум три способи злому безпілотних літальних апаратів: перший - отримання доступу до управління за допомогою злому каналу зв'язку або підміни даних авторизації, другий - використання вразливостей програмного забезпечення, третій - використання інтерфейсів і каналів даних оригінального програмного забезпечення для завантаження шкідливого коду.
Розроблена Rockwell Collins операційна система seL4 стійка до всіх трьох типів злому. Її особливістю є стійке до підмінів коду ядро, яке використовує математичні алгоритми і контрольні суми для перевірки запущених служб, а також забезпечує роздільне виконання процесів.
Система дозволяє запустити віртуальну машину, в якій гостьова програма не отримує доступу до основних процесів або апаратної частини. Під час запуску програми повідомляють ядру контрольні суми, на основі яких проводиться виправлення помилок або закриття несанкціонованих процесів.
Випробування пройшли успішно: фахівцям з кібербезпеки не вдалося запустити шкідливий код на безпілотних апаратах з захищеною операційною системою, а також перехопити управління дроном або викликати системний збій.