Обзор зарубежных СМИ (архив 2012) Мы относимся к кибербезопасности серьезно? Конгресс США блокирует законопроект Скайлер Фринк (Skyler Frink) mailto:skylerf@pennwell.com 21-11-2012 Недавний законопроект, который призвал к реформе кибербезопасности, был блокирован на заседании парламента на прошлой неделе. Законопроект обязал бы поставщиков критической инфраструктуры улучшить их безопасность. Понятие критической инфраструктуры определено как система или актив, которые при повреждении или при несанкционированном доступе могли привести к прерыванию поддерживающих жизнь услуг, включая энергию, воду, транспортировку, аварийные службы или обеспечения поставки продуктов питания, достаточную, чтобы вызвать массовые несчастные случаи, который включает "экстраординарное число несчастий" или "массовых эвакуаций с длительным отсутствием,
Инструмент разработки программного обеспечения, который проверяет критически важный для миссии код, представленный LDRA БОСТОН, 20 сентября 2012. Эксперт по инструментам проектирования программного обеспечения LDRA Technology Inc. в Сан-Бруно, Калифорния, представляет LDRAcover, автономный инструмент покрытия кода, который проверяет и структурно тестирует исходный код приложения. Этот инструмент разработки программного обеспечения может помочь компаниям, которые должны обеспечить строгие уровни проверки кода в приложениях, таких как авиационная радиоэлектроника, защита информации, управления производственным процессом, автомобильные, и медицинские устройства. LDRA представлял инструмент тестирования программного обеспечения на этой неделе в конференции Design East и выставке в Бостоне. LDRAcover выполняет анализ покрытия для языков C, C++, Ada и Java. LDRAcover работает над платформой разработки хоста, а также встроенными целевыми средами. Полностью статья URL: http://www.militaryaerospace.com/articles/2012/09/ldra-software-verification.html?cmpid=EnlMAESeptember262012
У верблюдов есть своя роль в жизни Дик Селвуд
by Dick Selwood. September 19, 2012 Несколько лет назад, когда было модно плохо отзываться о языке программирования Ada, была перефразирована старая поговорка: о верблюде, который является лошадью, разработанной комитетом. Помните язык Ada, не так ли? Необходимость разработки нового языка программирования было вызвано тем, что американское Министерство обороны (US Department of Defence - DoD), которое тратит огромное количество денег на программном обеспечении, все более и более расстраивалось, имея дело с сотнями языков программирования. (Анекдотическим образом было приблизительно 450 языков, используемых в 1960-ых). DoD решил, что должен использовать только единственный язык, и, прерывая длинную и сложную историю о серии тендеров, DoD выбрал язык программирования и постановил что по крайней мере, все встроенные системы и системы реального времени должны использовать один язык – к этому времени названный Ada-ой. К сожалению, это не было воспринято как большой успех. Фактически, в умах многих людей, это было бедствие. …. Далее можно почитать оригинал статьи URL: http://www.eejournal.com/archives/articles/20120919-camels/. Atego выпускает Aonix ObjectAda 8.5 для Windows Средства разработки программ на языке Ada и улучшенная для Microsoft Windows 7 система компиляции ПРЕСС-РЕЛИЗ Сан-Диего, США и Челтнем, Великобритания – 11-ого сентября 2012. Atego™, ведущий независимый поставщик промышленного класса, совместных средств разработки для технического комплекса критической по отношению к безопасности архитектуры, системы, программное и аппаратное обеспечение, запустили Aonix ObjectAda® 8.5 для Windows с новой поддержкой систем Microsoft Windows® 7. Источник URL: http://www.atego.com/pressreleases/pressitem/atego-launches-aonix-objectada-85/ Также доступен PDF файл – ЗДЕСЬ. Embraer выбирает GNAT AdaCore Pro программный инструмент языка Ada для модернизаций истребителя-бомбардировщика AMX 26 марта 2012 Джон Келлер (John Keller)
Важность тестирования и обеспечения безопасности программного обеспечения July 1, 2012
Руководитель описывает важность тестирования, проверки и обеспечения безопасности программного обеспечения: «Жизни и фирмы зависят от качества программного обеспечения и безопасности его использования.» Оригинал статьи Мир требует нового языка программирования? http://www.eejournal.com/archives/articles/20120718-language/ 18 июля 2012 Dick Selwood Линейное выполнение программы процессором неестественное. Это был путь, который был выбран первыми компьютерами частично потому что, трудно было найти огромные ресурсы, чтобы создать даже единственный процессор. Это продолжало быть путём, которым компьютеры работают просто, потому что “это - путь, которым работают компьютеры.” Хорошо, возможно, это немного несправедливо, но если мы обучаем тысячи людей думать способами, которые позволяют им разрабатывать системы, которые выполняются линейно, тогда очень трудно заставить их думать другими способами. ЧИТАЙТЕ ДАЛЬШЕ
Интервью Robert Dewar AdaCore, программный код и безопасность 13 июня 2012 Courtney Howard Оригинал статьи находится по URL: http://www.militaryaerospace.com/articles/2012/06/The-last.html |
Новости MediaScan | О нас | Наши координаты | Программы | Статьи | Студентам |
Новости MediaScan | О нас | Наши координаты | Программы | Статьи | Студентам |
Подпишитесь на почтовую конференцию Ada-ru (достаточно послать письмо): |