Військові дослідники шукають думку промисловості щодо підходів до надійних обчислень

4 лютого 2025 року – Запит інформації DARPA про FMDRS

Управління передових досліджень і розробок Міністерства оборони США (DARPA), що знаходиться в Арлінгтоні, штат Вірджинія, звертається до експертів промисловості за думкою щодо розробки надійних обчислювальних систем. Ця ініціатива має на меті забезпечити передбачувану поведінку без неочікуваних ускладнень.

Нещодавно DARPA випустила Запит інформації щодо Формальних методів для забезпечення стійких систем (FMDRS), також відомого як Посібник FMDRS. Державна агенція прагне почути від компаній, які мають досвід у впровадженні формальних методів, щоб вдосконалити цей посібник.

Про посібник FMDRS

Офіцери DARPA зацікавлені у отриманні відгуків про зміст та застосування посібника FMDRS. Ідеї від промисловості суттєво вплинуть на інтеграцію та майбутні процедури запиту, пов’язані з посібником FMDRS.

Чернетка посібника FMDRS доступна для завантаження онлайн за наступним посиланням: Чернетка посібника FMDRS.

Цілі для надійних обчислювальних систем

Мета DARPA полягає в тому, щоб створити стійкі надійні обчислювальні системи. Це включає в себе апаратуру, кіберфізичні системи та програмне забезпечення, яке має забезпечити безпеку операцій і виключити можливі вразливості у всіх поточних і майбутніх військових активах.

Кіберфізичні системи інтегрують вбудовані обчислення та цифрові мережі для моніторингу й управління фізичними процесами, і включають зворотні зв’язки, які дозволяють цим процесам і елементам обчислення взаємодіяти. До прикладів можна віднести автоматичні авіоніки, робототехніку, автономні транспортні засоби, смарт-мережі і різні системи управління процесами.

Впровадження математичних методів

Впровадження формальних математичних методів сприяє покращенню безпеки величезного масиву застарілого програмного забезпечення військових і його майбутніх можливостей, гарантуючи ефективне виконання місій.

DARPA особливо зацікавлена в оцінці того, чи пропонує посібник FMDRS достатню інформацію для учасників, які можуть не мати специфічних знань у галузі формальних методів.

Як подати коментарі

Суб’єкти, які бажають внести свій вклад, мають надіслати некласифіковані відгуки до 25 лютого 2025 року. Зацікавлені сторони можуть направити свої відгуки на DARPA.

Додаткові питання або запитання можна адресувати DARPA на darpa@darpa.mil. Додаткову інформацію можна знайти на Сторінці можливостей DARPA.

Інформація про автора

Джон Келлер є Головним редактором Military & Aerospace Electronics Magazine, надаючи важливі новини та аналітику в областях військових, космічних і цивільних авіаційних технологій. З початку 1989 року і являючись головним редактором з 1995 року, експертиза Джона залишається неоціненною.

Для подальшого читання, будь ласка, відвідайте Оригінальну статтю.