Рубрика «Rockwell Collins»

в 15:47, , рубрики: AH-6, CakeML, CAmkES, Candle, capDL, CertiKOS, CoCon, CompCert, FSCQ, Ivory, Milawa, Rockwell Collins, sel4, ULB, Unmanned Little Bird, Беспилотная Птичка, боинг, гипотеза Кеплера, информационная безопасность, математика, модернизация безопасности ПО, проблема четырёх красок, синтез драйверов, системное программирование, Софт, теорема о нечётном порядке, теорема Фейта — Томпсона, типобезопасность, транспорт будущего, формальная верификация

Научная статья опубликована в журнале Communications of the ACM, октябрь 2018, том 61, номер 10, стр. 68−77, doi: 10.1145/3230627

Микроядро seL4. Формальная верификация программ в реальном мире - 1В феврале 2017 года со взлётной площадки «Боинга» в Аризоне поднялся вертолёт с обычным заданием: облёт ближайших холмов. Он летел полностью автономно. Согласно требованиям по технике безопасности Федерального управления авиации США, пилот не прикасался к органам управления. Это был не первый автономный полёт AH-6, которого в компании называют Беспилотной Птичкой (Unmanned Little Bird, ULB). Он так летает уже много лет. Однако на этот раз посреди полёта вертолёт подвергся кибератаке. Бортовой компьютер атаковало вредоносное программное обеспечение видеокамеры, а также вирус, доставленный через заражённую флэшку, которую вставили во время техобслуживания. Атака поставила под угрозу некоторые подсистемы, но не смогла повлиять на безопасную эксплуатацию воздушного судна.
Читать полностью »

в 10:51, , рубрики: Rockwell Collins, UTC, авиация, Блог компании ITinvest, сделки, финансы в IT

Крупнейшего производителя авиаэлектроники Rockwell Collins купят за $30 млрд - 1

Два ведущих игрока на рынке поставщиков авиационного оборудования объявили о заключении сделки, в рамках которой UTC приобретает акции Rockwell Collins за $30 млрд, включая чистый долг компании в размере $7 млрд, сообщает Reuters.

По условиям соглашения UTC заплатит $140 за акцию Rockwell Collins. Из этой суммы будет выплачено по $93,33 наличными и по $46,67 акциями United Technologies Corp. Об интересе UTC к Rockwell Collins на рынке говорили с начала года. За этот период акции производителя подорожали в общей сложности на 40%.

Как рассказали участники сделки, после транзакции объем продаж United Tech может достичь $67-$68 млрд. Для сравнения — у Boeing этот показатель составляет $95 млрд. Читать полностью »

в 0:06, , рубрики: Airbus A350 XWB, Boeing 737 Max, F-35 Lightning II, F-35B, Rockwell Collins, Zelator-28, мультикоптеры, Научно-популярное, транспорт будущего, метки: , , , , ,

Истребитель F-35 стал звездой авиасалона Фарнборо-2016 - 1
Сопло истребителя-бомбардировщика F-35B поворачивается вниз на 95°, а вентилятор за кабиной пилота создаёт тягу, удерживая машину во время зависания в воздухе, вертикального взлёта и посадки

Почти 60 лет раз в два года в середине июля на аэродроме близ города Фарнборо в графстве Хэмпшир (Великобритания) проходит один из крупнейших в мире авиасалонов и торговая выставка. Все страны демонстрируют последние достижения свой аэрокосмической и оборонной промышленности. За неделю работы авиасалона подписываются контракты на десятки миллиардов долларов, а завершается авиасалон красочным авиашоу, открытым для публики.

В этом году торговая выставка Фарнборо -2016 проходит 11-15 июля, а открытое авиашоу — 16-17 июля.
Читать полностью »

Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js