The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка  RSS
"Агентство DARPA экспериментирует с созданием игр для верифик..."
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от opennews on 10-Июн-14, 11:47 
Агентство по перспективным оборонным научно-исследовательским разработкам США (DARPA) проводит (http://defensetech.org/2014/06/04/darpa-builds-computer-game.../) эксперименты с созданием online-игр, позволяющих привлечь обычных пользователей для верификации надёжности и безопасности открытого ПО. Экспертов для проведения аудита качестве кода нехватает, поэтому DARPA рассматривает варианты привлечения к проверке кода обычных пользователей, косвенно используя игровой процесс для организации верификации.


В настоящее время уже подготовлено (http://www.verigames.com/) несколько игр, которые мало отличаются по игровому процессу от типичных логических игр и головоломок. При этом, проходя множество игровых уровней пользователи невольно участвуют в процессе формальной верификации, подтверждающей надёжность работы тех или иных участков кода, взаимодействие с которыми вовлечено в логику игрового процесса.

<center><a href="http://images.defensetech.org/wp-content/uploads/2014/06/Cir... src="https://www.opennet.ru/opennews/pics_base/0_1402385289.jpg" style="border-style: solid; border-color: #e9ead6; border-width: 15px;max-width:100%;" title="" border=0></a></center>


Игровые приложения транслируют действия пользователя в программные аннотации и генерируют математические доказательства, позволяющие убедиться в отсутствии различных классов дефектов в приложениях, написанных на языках Си и Java. В настоящее время программа формальной верификации (http://www.darpa.mil/Our_Work/I2O/Programs/Crowd_Sourced_For...) нацелена на подтверждение безопасности серии  открытых проектов, используемых в военных и государственных учреждениях, а также в критичных к надёжности областях коммерческого сектора.


URL: http://defensetech.org/2014/06/04/darpa-builds-computer-game.../
Новость: https://www.opennet.ru/opennews/art.shtml?num=39969

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения по теме [Сортировка по времени | RSS]


1. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +29 +/
Сообщение от Рудвульф email on 10-Июн-14, 11:47 
Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

10. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +9 +/
Сообщение от Аноним (??) on 10-Июн-14, 12:49 
> а у нас даже линукс в госструктурах освоить нормально не могут

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

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

14. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от eganru on 10-Июн-14, 13:42 
while(!Сталин){
Госструктуры_РФ = откаты&омлетчицы;
}
Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

19. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от жабабыдлокодер (ok) on 10-Июн-14, 14:21 
Будто бы при Джугашвили взяток не было... Щас!
Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

21. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от анонимут on 10-Июн-14, 14:50 
Конечно была. Теневая экономика укрепилась в 1930-40 года. И репрессии не помогли. Дело в самой системе.

В том же Китае за это расстреливают, но на место одного ресстрелянного приходят новые. Кто сможет выводит деньги в офшоры.

Ответить | Правка | ^ к родителю #19 | Наверх | Cообщить модератору

23. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +2 +/
Сообщение от Аноним (??) on 10-Июн-14, 15:01 
может предъявите пруфы, господин Экономист?
Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

57. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от chinarulezzz (ok) on 11-Июн-14, 03:07 
не, ну сам подумай: если расстреливают нескольких, и такое происходит довольно долго, то взяточники новые появляются! Ну, или банально всех, или почти всех, или единиц подставляют. И такое практикуется, возможно в этом огороженном коммунистическом китае.

P.S. А так, я к тому что без разницы скольких в процентах подставляют - новые то появляются)) А если предположить что всех до единого подставляют - это возможно, да, китай же все таки.

Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

26. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Антоним on 10-Июн-14, 15:27 
Сталин и придумал как обойти «ленинский минимум» — он просто брал деньги из бюджета и платил в конвертах своим.
Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

65. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним (??) on 18-Июн-14, 00:08 
А ты был "своим" или конверты у изголовья держал?
Ответить | Правка | ^ к родителю #26 | Наверх | Cообщить модератору

13. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +1 +/
Сообщение от онаним on 10-Июн-14, 13:34 
Я думаю, что у нас тоже занимаются. В ИТ, как нигде, кадры решают. Привлечение общественности не обязательно гарантирует невообразимые результаты. Хотя, верно, есть чему поучиться. У нас почему-то принято тянуть с запада всякие гадости и тыкать в извращенцев, а ведь есть много примеров, достойных.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

53. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +1 +/
Сообщение от Buy (ok) on 10-Июн-14, 22:58 
Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого класса. А не принимать пачками запретительные законы и пытаться ограничить свободу интернет пользователей в том числе.
Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору

58. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +4 +/
Сообщение от Michael Shigorin email(ok) on 11-Июн-14, 12:04 
> Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого
> класса. А не принимать пачками запретительные законы и пытаться ограничить свободу
> интернет пользователей в том числе.

А, так вот чего про internet fast lane столько вою стоит, а один знакомый квалифицированный сваливший постит в плюсик pirozhki и вздыхает про ломающийся nissan...

Некоторые предпочитают жить своим умом, а не чужой картинкой, впрочем.

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

17. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от rob pike on 10-Июн-14, 14:04 
>The website design was overseen by the Centers for Medicare and Medicaid Services and built by a number of federal contractors, most prominently CGI Group, which received a contract valued at $292 million through 2013. Estimates that the overall cost for building the website had reached over $500 million by October 2013
>stress tests done by contractors 1 day before the launch date revealed that the site became too slow with only 1,100 simultaneous users,

http://en.wikipedia.org/wiki/HealthCare.gov

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

56. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним (??) on 11-Июн-14, 01:10 
Ты еще не видел наши сайты, где зачастую встречается что-нибудь попроще. Tипа directory index-а + дир с бэкапами баз. С данными по всей клиентуре, etc. Так что медленный сайт - оно конечно да, но у нас и побрутальнее бывает.
Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

20. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним (??) on 10-Июн-14, 14:38 
А какая вам разница между "ними" и "нами"? Если занимаются, то не важно где, а кто не может (а это полпланеты включая "ваших", эскимосов, негров в африке и ещё много необразованных жителей других стран) - так они этим прогрессу никак не мешают.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

22. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от rob pike on 10-Июн-14, 14:51 
Тест Тьюринга не пройден.
Над алгоритмом нужно еще поработать.
Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

40. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:19 
Совершенно верно. Но у некоторых местечковое мышление затмевает все доводы рассудка. Никак не поймут, что шарик - он маленький, на нём сотрудничать надо, а не противников искать.
Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

32. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от odity on 10-Июн-14, 16:24 
В гос.структуре работаю. Тут заказы,заказы,заказы.....Даже если и скажут перейти на линукт, то разработчиков не хватит чтоб все ПО переписать. у нас только 50-70 ПО стоит и не маленькие.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

59. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Иван (??) on 11-Июн-14, 14:21 
А зачем все сразу? Можно и потихоньку. Другое дело, что при таких окладах проще делать адовы костыли и жить на одной ошибке по 15 лет (как в известном анекдоте).
Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

48. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от 123 (??) on 10-Июн-14, 21:42 
> Печально видеть что у них этим занимаются, а у нас даже линукс  в госструктурах освоить нормально не могут.

Да не переживайте вы так, у нас попильшиков госбабла тоже полным-полно. Да и заодно расскажите нам про триумфальное шествие линуха в их госструктурах.


Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

55. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +1 +/
Сообщение от tessel on 11-Июн-14, 00:09 
Дружок, не могут освоить только в твоих розовых либерастических фантазиях. У всех нормальных людей уже стоит Linux Astra.
Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

12. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Rodegast (??) on 10-Июн-14, 13:33 
Печально видеть что этим занимается DARPA.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

28. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от клоун on 10-Июн-14, 15:41 
> Печально видеть что этим занимается DARPA.

Вы ожидали Альт или РосНано?

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

41. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:20 
Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

45. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Rodegast (??) on 10-Июн-14, 20:15 
Армия пиндосии пытается привлечь кучу народа для работы неизвестно над чем. Чего же тут радостного?
Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

51. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –2 +/
Сообщение от Аноним (??) on 10-Июн-14, 22:52 
Радостно что не наша армия или гбня.
Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

42. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:21 
Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

50. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +4 +/
Сообщение от Michael Shigorin email(ok) on 10-Июн-14, 21:46 
> Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что
> на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

А на пушечное мясо сейчас мода людей вроде Вас пускать после предварительной промывки мозгов.  Только не надо "это про дураков, а я умный" -- почти все знакомые киевские айтишники, включая некоторых умнее нас с Вами, полезли на баррикады "за идею" без проверки происхождения и целеполагания этой "идеи", аки бибизяны, либо сдались под хоровое "белое -- это чёрное".

TFM:
http://www.scribd.com/doc/53686930/TC-18-01-Special-Forces-U...
http://11517.kamradu.ru/wp-content/uploads/2013/12/1801RU.pdf (неофициальный, не сверял)

Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору

63. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от Тот_самый_айтишник on 13-Июн-14, 15:49 
> ...Только не надо "это про дураков, а я
> умный" -- почти все знакомые киевские айтишники...

Так может умные все же они, а дурак кто-то другой, а? Из-за вашей оголтелой политоты на техническом ресурсе и постоянных вытираний комментариев несогласных стало решительно невозможно его читать. Пора уже переименовывать в "Личный сайт Михаила Шигорина"


Ответить | Правка | ^ к родителю #50 | Наверх | Cообщить модератору

49. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от 123 (??) on 10-Июн-14, 21:43 
> Печально видеть что этим занимается DARPA.

Чего плохого в попиле денег аметиканского налогоплательщика? Или вы нездешний?

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

15. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от rob pike on 10-Июн-14, 13:44 
>А ноги, футбол - двадцать два бугая один мяч перекатывают! А вы выдайте каждому ну это... каток! Так они, 22 бугая, 22 бугая, да на полтора часа.... да на полтора часа и на 22 бугая... два пишем, семь на ум пошло........... они все поле заасфальтируют!

https://www.youtube.com/watch?v=WVMolYlx-h8

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

18. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от rob pike on 10-Июн-14, 14:16 
>An even more exciting possibility, though, is that we could have a system that allows non-experts to take a stab at proving essentially any mathematical theorem simply by recognizing patterns and applying a few relatively simple rules

http://intelligence.org/2014/05/29/aaron-tomb/

Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору

16. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +1 +/
Сообщение от linux must _RIP__ on 10-Июн-14, 13:57 
И так и так пытаются заставить работать на военные силы США - не хотят.. так может хоть играми?
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

24. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от Аноним (??) on 10-Июн-14, 15:05 
мда, тут и сказать нечего
Людей используют как хотят.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

60. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Иван (??) on 11-Июн-14, 14:24 
> мда, тут и сказать нечего
> Людей используют как хотят.

А вы не используйтесь :)
Кто мешает включить разум и делать что-то свое и за плату? А не играться в чужое. Имхо.

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

25. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +1 +/
Сообщение от Дмитрий (??) on 10-Июн-14, 15:14 
Замысел похож на проект FoldIt. Только там белки расшифровывают.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

31. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним email(??) on 10-Июн-14, 16:04 
Зачем агентству DARPA для перебора вариантов возможных комбинаций прохождения кода, задействовать самый медленный интерфейс монитор-пользователь-клавиатура(мышь), вместо того, чтобы задействовать мощности компьютера своих центров для этой же операции? Мощности серверов, для создания игровых серверов, всё равно будут задействованы. Было бы намного практичнее и быстрее.
Может тут другие цели преследуются?
Мне кажется более вероятным завлечение новых пользователей. А уж для каких целей, известно только им и богу.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

35. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Anonymus on 10-Июн-14, 17:47 
да чтоб меньше народу работало, чего тут непонятно
а то как все станут умными да работящими, бомбу придумают ядрёную ну или ещё чего полезного нам и вредного им
Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

43. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним (??) on 10-Июн-14, 19:23 
хааароший вопрос. только немного запоздалый.
Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

36. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от unscrubber on 10-Июн-14, 18:19 
прям так и напрашиваются аналогии с х\ф Mercury Rising
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

38. "Агентство DARPA экспериментирует с созданием игр для верифик..."  –1 +/
Сообщение от Аноним (??) on 10-Июн-14, 18:37 
Вот так и окажется, что играешь в игрушки, а на самом деле управляешь беспилотником или "аватаром". И стреляешь на самом деле не в злых террористов в "контрстрайке", а в мирных жителей в Сирии.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

47. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от asavah (ok) on 10-Июн-14, 21:05 
Игра Эндера навеяла?
Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

61. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Иван (??) on 11-Июн-14, 14:25 
> Вот так и окажется, что играешь в игрушки, а на самом деле
> управляешь беспилотником или "аватаром". И стреляешь на самом деле не в
> злых террористов в "контрстрайке", а в мирных жителей в Сирии.

Так не играй. Ваш К.О.

Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

54. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от lucentcode (ok) on 10-Июн-14, 23:29 
Правильной дорогой идут товарищи. Чем безопасней будет код широко используемых приложений, тем лучше.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

62. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним (??) on 12-Июн-14, 12:58 
Где гарантия, что это будет код широко используемых приложений?
Ответить | Правка | ^ к родителю #54 | Наверх | Cообщить модератору

64. "Агентство DARPA экспериментирует с созданием игр для верифик..."  +/
Сообщение от Аноним (??) on 13-Июн-14, 17:34 
Дарю DARPA развитие идеи: вывешиваешь интерфейс к боевому роботу как игру, даешь двуногому некую миссию. А дальше двуногий будет из кожи вон лезть чтобы миссию выполнить. Сообщать двуногому о том что все действия маппятся в действия робота в реальном мире а обстановка берется с разведовательных датчиков - совершенно не обязательно...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

66. "А может и можно сообщать..."  +/
Сообщение от гтгыув_гыук_тфьу on 03-Авг-14, 11:02 
если игра на уровне анонимности... а может и не анонимности... типа как 80 неусеров... или там статус в клубе по интересам... а если еще и чуть доплачивать... из черепов светильники давно ли были... пример государства 404 показывает... что можно проще... кстати их же и можно... относительно содержимого подсознания большей части цивилизации у меня нет никаких иллюзий. голливудско-обезьянье оно. притягательность стрелялок основана именно на том что подсознание считает все это настоящим. а раз так - зачем и кого стесняться? если еще и в тренде политики. освободи в себе... и тогда хотя бы увидишь
Ответить | Правка | ^ к родителю #64 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Спонсоры:
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2020 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру