Пентагон будет тестировать программное обеспечение вооружений с помощью игр

Пентагон будет тестировать программное обеспечение вооружений с помощью игр

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей.

Финансирование проекта осуществляет Управление перспективного планирования оборонных научно-исследовательских работ США (DARPA), в рамках программы Crowd Sourced Formal Verification. В ходе эксперимента планируется создать специальные логические игры для ноутбуков и мобильных устройств и выпустить их в свободную продажу. Найденные игроками в процессе игры решения позволят специалистам Пентагона проводить формальную верификацию применения математических теорий, что позволит определить, имеются ли в тестируемом программном коде ошибки и уязвимости.

Проект рассчитан на 3 года и призван сократить расходы Пентагона на содержание штатных специалистов для тестирования программного обеспечения вооружений.

На реализацию проекта DARPA планирует потратить $4,7 млн. в 2012 финансовом году и $32 млн. в 2015 финансовом году.

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей." />
Подпишитесь на новости

В центре Москвы могут ограничить мобильный интернет 27-29 октября

Мобильному интернету в центре Москвы приготовили три дня возможных ограничений. Минцифры предупредило, что 27-29 октября передача данных может работать с ограничениями в пределах Третьего транспортного кольца. Причина — обеспечение безопасности во время двух международных саммитов.

Расписание и условия ведомство опубликовало в официальном сообщении Минцифры.

27 и 28 октября ограничения возможны с 11:30 мск в течение дня, 29 октября — с 9:30 мск.

По заявлению министерства, голосовая связь, домашний интернет и Wi-Fi продолжат работать в штатном режиме. Через мобильную сеть должны оставаться доступны наиболее востребованные и социально значимые сайты и сервисы из «белого списка».

Ограничения связаны с восьмым саммитом Форума стран — экспортёров газа и третьим саммитом «Россия — Африка». Первый проходит 27 октября, второй — 28-29 октября.

Если работа или поездки завязаны на мобильную передачу данных, нужные документы, адреса и карты лучше сохранить заранее.

RSS: Новости на портале Anti-Malware.ru