Обзор зарубежных СМИ (архив 2012)

Мы относимся к кибербезопасности серьезно? Конгресс США блокирует законопроект

Скайлер Фринк (Skyler Frink) mailto:skylerf@pennwell.com

21-11-2012

Недавний законопроект, который призвал к реформе кибербезопасности, был блокирован на заседании парламента на прошлой неделе. Законопроект обязал бы поставщиков критической инфраструктуры улучшить их безопасность. Понятие критической инфраструктуры определено как система или актив, которые при повреждении или при несанкционированном доступе могли привести к прерыванию поддерживающих жизнь услуг, включая энергию, воду, транспортировку, аварийные службы или  обеспечения поставки продуктов питания, достаточную, чтобы вызвать массовые несчастные случаи, который включает "экстраординарное число несчастий" или "массовых эвакуаций с длительным отсутствием,
Законопроект обязывает компании сделать оценку их мер по безопасности уполномоченными органами и затем получили соответствующие документы, подтверждающие эту процедуру. Главный толчок должны получить компании, которые обеспечивают критическую инфраструктуру, чтобы защитить себя соответственно. Мы уже знаем, что есть группы, которые хотят напасть на нас. Мы подверглись нападению. Другие страны подверглись нападению. Угроза сетевого нападения не некоторое привидение, которое люди используют в качестве тактики паники, чтобы принять другие законы, это - реальная проблема защиты. Вся статья URL: http://www.militaryaerospace.com/blogs/aerospace-defense-blog/2012/11/are-we-taking-cybersecurity-seriously-congress-shoots-down-bill.html?cmpid=EnlMAENovember212012

 

Инструмент разработки программного обеспечения, который проверяет критически важный для миссии код, представленный LDRA

  John Keller

БОСТОН, 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

 

У верблюдов есть своя роль в жизни

Дик Селвуд

 Camels Have Their Role in Life

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)

 Военные авиационные разработчики Embraer будут использовать GNAT AdaCore Pro инструментарий вместе с операционной системой реального времени VxWorks (RTOS) от Wind River Systems в Аламеде, Калифорния, чтобы разработать критическое по отношению к полёту программное обеспечение для модернизации AMX. Язык Ada используется в военных и коммерческих самолётах, так же как в других военных встроенных системах. ОРИГИНАЛ СТАТЬИ.

Важность тестирования и обеспечения безопасности программного обеспечения

July 1, 2012

 Джим МакЕлрой (Jim McElroy), вице-президент маркетинга в LDRA, обсуждает важность программного обеспечения в системах и росте трудоёмкости разработки тестовых программ, вместе с проблемами и потенциальными опасностями использовать программное обеспечение с открытым исходным кодом.

Руководитель описывает важность тестирования, проверки и обеспечения безопасности программного обеспечения: «Жизни и фирмы зависят от качества программного обеспечения и безопасности его использования.» Оригинал статьи

Мир требует нового языка программирования?

http://www.eejournal.com/archives/articles/20120718-language/

18 июля 2012 Dick Selwood

Линейное выполнение программы процессором неестественное. Это был путь, который был выбран первыми компьютерами частично потому что, трудно было найти огромные ресурсы, чтобы создать даже единственный процессор. Это продолжало быть путём, которым компьютеры работают просто, потому что “это - путь, которым работают компьютеры.” Хорошо, возможно, это немного несправедливо, но если мы обучаем тысячи людей думать способами, которые позволяют им разрабатывать системы, которые выполняются линейно, тогда очень трудно заставить их думать другими способами. ЧИТАЙТЕ ДАЛЬШЕ

 Беспилотные летательные аппараты.

Интервью Robert Dewar AdaCore, программный код и безопасность

13 июня 2012

Courtney Howard
Аннотация. Безопасность и надёжность беспилотных летательных аппаратов представляют значительный интерес, тем более, что беспилотные самолёты все более и более используются в общедоступном воздушном пространстве. Robert Dewar, президент и исполнительный директор AdaCore, поставщик коммерческих программных продуктов для языка программирования Ada обсуждает роль программного обеспечения в безопасности - безопасность - и важные приложения надёжности, включая беспилотные летательные аппараты. В инклюзивном интервью, Dewar информирует и советует относительно обеспечения безопасности беспилотных воздушных систем (UAS). Военные и гражданские беспилотные летательные аппараты будут разделять и вероятно лавинно увеличивать своё присутствие в общедоступном воздушном пространстве. Каковы некоторые проблемы, и какова роль программного обеспечения, может ПО быть помехой или спасителем?

Оригинал статьи находится по URL:

http://www.militaryaerospace.com/articles/2012/06/The-last.html

Новости MediaScan | О нас | Наши координаты | Программы | Статьи | Студентам

Новости MediaScan | О нас | Наши координаты | Программы | Статьи | Студентам

Подпишитесь на почтовую конференцию Ada-ru (достаточно послать письмо):

 ada_ru-subscribe@yahoogroups.com