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

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

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

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

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

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

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

Spotify и Netflix без VPN: МТС открыл Глобальный доступ

МТС запустил сервис «Глобальный доступ», позволяющий пользоваться рядом зарубежных платформ через приложение «Мой МТС». На старте в список вошли Spotify, Netflix, Ticketmaster и Strava. Сторонний VPN или прокси устанавливать не потребуется — оператор решил взять дорогу за границу цифрового мира на себя.

Сервис пока доступен только абонентам тарифов «Топ» и «Топ+». Перейти на выбранную платформу можно из личного кабинета в «Мой МТС».

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

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

МТС утверждает, что технология обеспечивает стабильное подключение к зарубежным платформам, доступ к которым не противоречит российскому законодательству. В дальнейшем оператор собирается расширять список поддерживаемых ресурсов.

Новый сервис не является универсальной заменой VPN: он работает только с определёнными площадками и внутри экосистемы оператора. Зато пользователю не нужно отдельно настраивать соединение, искать прокси и выяснять, примет ли зарубежный сервис российский способ оплаты.

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