- Обсуждение проблем применения Linux в авионике, Аноним, 10:19 , 02-Июл-23 (2) –9 [V]
- Обсуждение проблем применения Linux в авионике, Аноним, 10:29 , 02-Июл-23 (7) +1
- Обсуждение проблем применения Linux в авионике, tty0, 10:31 , 02-Июл-23 (9) +4
- Обсуждение проблем применения Linux в авионике, n00by, 10:32 , 02-Июл-23 (10) +2
- Обсуждение проблем применения Linux в авионике, dannyD, 17:33 , 03-Июл-23 (248)
- Обсуждение проблем применения Linux в авионике, Avririon, 10:23 , 02-Июл-23 (3) +4
- Обсуждение проблем применения Linux в авионике, Аноним, 10:25 , 02-Июл-23 (5) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 10:44 , 02-Июл-23 (15) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 11:11 , 02-Июл-23 (31)
- Обсуждение проблем применения Linux в авионике, Аноним, 11:29 , 02-Июл-23 (44) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 14:07 , 02-Июл-23 (91)
- Обсуждение проблем применения Linux в авионике, sergeyb, 14:28 , 02-Июл-23 (95) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 12:33 , 03-Июл-23 (206)
- Обсуждение проблем применения Linux в авионике, Аноним, 11:57 , 02-Июл-23 (59)
- Обсуждение проблем применения Linux в авионике, Аноним, 10:24 , 02-Июл-23 (4) +22 [^]
- Обсуждение проблем применения Linux в авионике, Аноним, 10:29 , 02-Июл-23 (6) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 10:40 , 02-Июл-23 (13) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 11:15 , 02-Июл-23 (32) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 19:19 , 02-Июл-23 (146) +2
- Обсуждение проблем применения Linux в авионике, Бывалый смузихлёб, 02:44 , 03-Июл-23 (170)
- Обсуждение проблем применения Linux в авионике, U202204161753, 16:55 , 03-Июл-23 (233) –2
( " Читал SMS -ку, много думал " А потом решил уточнить ) Интересно, что именно неожиданного в мажоритарном вычислителе 3 плюс один, памяти с ECC и коррекцией ошибок и всём во этом на сапфире с золотыми контактами и керамической платой может произойти? Всё что только можно придумать - уже ожидаемо. Далее - возможно, несвязанное: Ada SPARK , шведы, сертифицированное для управления сердцем - читали? P.S.
У пишущих на Си, скорее всего, не хватает базового образования. Или чувства самосохранения. Или всякие коррупционные схемы, т.е ложная уверенность, что их-то не посадят
- Обсуждение проблем применения Linux в авионике, Аноним, 17:17 , 03-Июл-23 (238) +1
- Обсуждение проблем применения Linux в авионике, U202204161753, 17:38 , 03-Июл-23 (250) –1
( С "Ариан-5" всё было не так. Я когда искал исходные коды к этому инциденту, сперва сам их написал, основываясь на коде с отключённой одной проверкой из трёх. И вот по этому коду, ушедшему в "продакшен" после 7-10 лет "по одному запуску в год" и нашёл нужный материал ) "Тойота" - и есть та коррупционная схема. Работала пока продавали на подконтрольной территории. А в USA их "сдали" "органам". Ну далее - масса материала в Инете.
P.S.
> на сях написано большая часть фирмвар в том числе на транспорте, например, automotive и последние линии защит в упрвлении опасными процессами то?
Точно так же: сдать и на лесоповал. И сохраняя в цикле этот инвариант, оставить вне забора из колючей проволоки только вменяемых. Тех что читали книги, а не просиживали штаны в ВУЗе. ( Не переживаем - это мозговой штурм. Никто никого не посадит С чего бы это капиталистам этим озадачиваться? Их никогда не заботили индейцы и пролетарии. У нас с ними разные цели. См. про классы и т.п )
- Обсуждение проблем применения Linux в авионике, Аноним, 18:13 , 03-Июл-23 (260)
- Обсуждение проблем применения Linux в авионике, U202204161753, 10:58 , 04-Июл-23 (279)
( Про Ариан-5: постараюсь организовать репост конкретики. Т.е., в отличие от Тойоты, ваши сведения, примерно, как мои о Т. ) По Тойота: о, спасибо! Теперь хоть ясно, что там было. Из статей на Хабре, наоброт, сложилось впечатление, что кроме как на формальностях японцев "подловить" не удалось. Да, кстати, про Э.Дейкстра и Ко: изобретателю семофоров ( или как они там) я бы доверял и остальными идеями. Хотя бы для перестраховки: вдруг он все "грабли" изучил ещё лет за 10 - 15 до нашего рождения? Про комбинаторный взрыв у Э.Д. что-то было.
- Обсуждение проблем применения Linux в авионике, Игорь, 10:09 , 03-Июл-23 (190)
- Обсуждение проблем применения Linux в авионике, Аноним, 10:25 , 03-Июл-23 (193)
- Обсуждение проблем применения Linux в авионике, Аноним, 12:26 , 03-Июл-23 (204)
- Обсуждение проблем применения Linux в авионике, U202204161753, 17:03 , 03-Июл-23 (234)
> пачка syzcaller'ов fuzz'ит кернел А я вот то ли у Э. Дейкстра, то ли у Хоара читал, что тестирование не показатель отсутствия ошибок. Т.е. ошиблись классики ? ( что-то "нутром чую - литр будет" и не ошиблись. И не зря с полсотни докторов наук Гриса переводили. Причём вышло лучше, чем в оригинале на Globish)
- Обсуждение проблем применения Linux в авионике, Аноним, 17:44 , 03-Июл-23 (252)
- Обсуждение проблем применения Linux в авионике, U202204161753, 10:34 , 04-Июл-23 (275)
А каким рентгеном или ультразвуком не удастся "просвечивать" тросы?( Сами пилоты требуют вернуть старорежимный штурвал "с тросиками", как меру "последней надежды" ) Я за комплекс мероприятий, но оснований не использовать как часть этих самых комплексных мероприятий, в том числе, и Ada SPARK не вижу.
Советские доктора наук при переводе книги Гриса не наломали дров, а, наоборот. Т.е. с этим частным случаем - всё Ок -ей. Боинг я здесь где-то рядом за 2 датчика с ручным (!) выбором исправного критиковал
- Обсуждение проблем применения Linux в авионике, U202204161753, 16:16 , 03-Июл-23 (227)
> Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали? Вот только Ada там ни при чём. Т.е. код, конечно же, на ней, а вот причина организационная. Материалы - общедоступны
- Обсуждение проблем применения Linux в авионике, Аноним, 11:29 , 02-Июл-23 (43)
- Обсуждение проблем применения Linux в авионике, U202204161753, 11:38 , 02-Июл-23 (47) +1
Windows NT 4.0 Embedded летает на спутниках.
- Обсуждение проблем применения Linux в авионике, Аноним, 11:44 , 02-Июл-23 (51) –2
- Обсуждение проблем применения Linux в авионике, Аноним, 17:09 , 02-Июл-23 (119) –1
- Обсуждение проблем применения Linux в авионике, U202204161753, 18:11 , 02-Июл-23 (136)
> Windows NT 4.0 Embedded летает на спутниках. >Given enough thrust pigs fly just fine... Allow me to remind you of a phrase from a classic work of Russian literature: "No Russian words, no Russian face."
- Обсуждение проблем применения Linux в авионике, Аноним, 12:50 , 02-Июл-23 (83) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 17:14 , 02-Июл-23 (122) –1
- Обсуждение проблем применения Linux в авионике, beck, 18:43 , 02-Июл-23 (143)
- Обсуждение проблем применения Linux в авионике, Аноним, 12:40 , 03-Июл-23 (208)
- Обсуждение проблем применения Linux в авионике, U202204161753, 17:20 , 03-Июл-23 (240)
> если пилот не выспался или ситуация нервная/нестандартная. А компьютеру похрен, он циферки сравнит и выводы о датчиках сделает. "Не очеловечивайте компьютеры - они этого страсть как не любят". Т.е. как там у Э.Дейкстра ? Про признак чего-там при использовании антропоморфной лексики в отношении ЭВМ? ( Заодно и советский полу-учебник "Простое и сложное в программировании" будет повод перечитать Ж-) )
- Обсуждение проблем применения Linux в авионике, U202204161753, 17:59 , 03-Июл-23 (257)
P.S. Пока не забыл: > если вон там прицеплено 3-4 одинаковых датчика, можно проблемный заигнорить на автомате. Только их почему-то 2 ( два) датчика. И есть тумблер, которым надо вручную выбрать исправный. P.S. У французов - больше двух.
Но, если постараться, то можно: -- в мороз -- сразу после полива на датчики антиоблединителя, т.е. со льдом в трубках -- взлетев метром на 300 .. 700, сказать дружбанам, а "зацените как автопилот нас спасёт" спикировать к земле. И много датчиков не поможет. P.P.S. Пилотам же с "базовым образованием"- помогает
- Обсуждение проблем применения Linux в авионике, Аноним, 11:59 , 03-Июл-23 (196)
- Обсуждение проблем применения Linux в авионике, n00by, 10:30 , 02-Июл-23 (8) –1
- Обсуждение проблем применения Linux в авионике, Шарп, 11:19 , 02-Июл-23 (36) +1
- Обсуждение проблем применения Linux в авионике, Sw00p aka Jerom, 12:17 , 02-Июл-23 (73) +5
- Обсуждение проблем применения Linux в авионике, Аноним, 17:20 , 02-Июл-23 (123)
- Обсуждение проблем применения Linux в авионике, Аноним, 18:14 , 02-Июл-23 (137) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 17:29 , 03-Июл-23 (246)
- Обсуждение проблем применения Linux в авионике, X, 10:36 , 02-Июл-23 (11)
- Обсуждение проблем применения Linux в авионике, Аноним, 10:54 , 02-Июл-23 (22) –1
- Обсуждение проблем применения Linux в авионике, Аноним, 11:00 , 02-Июл-23 (24) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 11:01 , 02-Июл-23 (26) +2
- Обсуждение проблем применения Linux в авионике, Шарп, 11:17 , 02-Июл-23 (35) –1
- Обсуждение проблем применения Linux в авионике, Аноним, 11:22 , 02-Июл-23 (38)
- Обсуждение проблем применения Linux в авионике, Игорь, 10:20 , 03-Июл-23 (191) +1
- Обсуждение проблем применения Linux в авионике, U202204161753, 16:29 , 03-Июл-23 (230)
> Стыковку пришлось проводить вручную, т.к. система безопасности отключила по очереди все 3 модуля управления, как выдающие ложные команды. Просто константа "начальная масса корабля" была внесена неправильная. Подробнее - см. Черток "Ракеты и люди"
- Обсуждение проблем применения Linux в авионике, U202204161753, 16:31 , 03-Июл-23 (231)
> А если сравниватель откажет? На "Шатле" был и пятый компьютер с независимо написаным ПО. ПО обеспечивало посадку, но не выполнение всех целей полёта
- Обсуждение проблем применения Linux в авионике, Alladin, 18:56 , 04-Июл-23 (290) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 12:59 , 02-Июл-23 (85)
- Обсуждение проблем применения Linux в авионике, YetAnotherOnanym, 15:25 , 02-Июл-23 (103) +1
- Обсуждение проблем применения Linux в авионике, X, 17:46 , 02-Июл-23 (127)
- Обсуждение проблем применения Linux в авионике, Гашпшпщм, 09:25 , 03-Июл-23 (181) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 04:53 , 05-Июл-23 (300)
- Обсуждение проблем применения Linux в авионике, Alladin, 18:58 , 04-Июл-23 (291)
- Обсуждение проблем применения Linux в авионике, Аноним, 10:42 , 02-Июл-23 (14) –3
- Обсуждение проблем применения Linux в авионике, Аноним, 10:49 , 02-Июл-23 (18) +1
- Обсуждение проблем применения Linux в авионике, pashev.ru, 10:51 , 02-Июл-23 (20) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 11:05 , 02-Июл-23 (28) +1
- Обсуждение проблем применения Linux в авионике, Анонус, 11:30 , 02-Июл-23 (45) –1
- > Сейчас бы, Аноним, 14:56 , 02-Июл-23 (99) –1
- Обсуждение проблем применения Linux в авионике, Анонин, 18:17 , 02-Июл-23 (140)
- Обсуждение проблем применения Linux в авионике, Аноним, 08:58 , 05-Июл-23 (301)
- Обсуждение проблем применения Linux в авионике, Аноним, 11:15 , 02-Июл-23 (33) +5
- Обсуждение проблем применения Linux в авионике, Анониссимус, 11:24 , 02-Июл-23 (39) +16 [^]
- Обсуждение проблем применения Linux в авионике, Аноним, 11:49 , 02-Июл-23 (54) +3
- Обсуждение проблем применения Linux в авионике, Линукс Торвальц, 11:50 , 02-Июл-23 (55) +1
- Обсуждение проблем применения Linux в авионике, n00by, 12:03 , 02-Июл-23 (61) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 12:10 , 02-Июл-23 (66)
- Обсуждение проблем применения Linux в авионике, Аноним, 14:40 , 02-Июл-23 (96) +1
- Обсуждение проблем применения Linux в авионике, Гашпшпщм, 09:29 , 03-Июл-23 (182)
- Обсуждение проблем применения Linux в авионике, Liin, 12:17 , 02-Июл-23 (74) +3
- Обсуждение проблем применения Linux в авионике, Аноним, 14:13 , 02-Июл-23 (92) +3
- Обсуждение проблем применения Linux в авионике, fuggy, 15:43 , 02-Июл-23 (104) +1
- Обсуждение проблем применения Linux в авионике, edo, 06:47 , 03-Июл-23 (176)
- Обсуждение проблем применения Linux в авионике, Alladin, 19:03 , 04-Июл-23 (292) +1
- Обсуждение проблем применения Linux в авионике, Прыгающий Ленивец, 16:37 , 07-Июл-23 (313)
- Обсуждение проблем применения Linux в авионике, Аноним, 12:20 , 02-Июл-23 (75) +1
- Обсуждение проблем применения Linux в авионике, Анонимо11111, 12:25 , 02-Июл-23 (78)
- Обсуждение проблем применения Linux в авионике, EuPhobos, 12:26 , 02-Июл-23 (79) +4
- Обсуждение проблем применения Linux в авионике, dannyD, 14:07 , 02-Июл-23 (90)
- Обсуждение проблем применения Linux в авионике, YetAnotherOnanym, 14:53 , 02-Июл-23 (98) +4
- Обсуждение проблем применения Linux в авионике, th3m3, 15:18 , 02-Июл-23 (102)
- Обсуждение проблем применения Linux в авионике, Аноним, 16:08 , 02-Июл-23 (111)
- Обсуждение проблем применения Linux в авионике, Kuromi, 16:37 , 02-Июл-23 (114) +3
- Обсуждение проблем применения Linux в авионике, Всем Анонимам Аноним, 17:11 , 02-Июл-23 (120) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 18:37 , 02-Июл-23 (142) +3
- Обсуждение проблем применения Linux в авионике, BeLord, 20:27 , 02-Июл-23 (153) –1
- Обсуждение проблем применения Linux в авионике, Аноним, 20:31 , 02-Июл-23 (155) +3
- Обсуждение проблем применения Linux в авионике, Аноним, 20:49 , 02-Июл-23 (157)
- Обсуждение проблем применения Linux в авионике, Аноним, 22:10 , 02-Июл-23 (163) –2
- Обсуждение проблем применения Linux в авионике, Аноним, 22:35 , 02-Июл-23 (164) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 23:29 , 02-Июл-23 (167) +4
- Обсуждение проблем применения Linux в авионике, Аноним, 23:38 , 02-Июл-23 (168) +2
- Обсуждение проблем применения Linux в авионике, Аноним, 11:59 , 03-Июл-23 (198) +1
- Обсуждение проблем применения Linux в авионике, Аноним, 12:05 , 03-Июл-23 (200) [V]
- Обсуждение проблем применения Linux в авионике, Аноним, 17:19 , 03-Июл-23 (239) –1
- Обсуждение проблем применения Linux в авионике, U202204161753, 17:41 , 03-Июл-23 (251)
P.S. Т.е. эта не была ирония? Хм, интересно...
- Обсуждение проблем применения Linux в авионике, dannyD, 23:26 , 03-Июл-23 (268)
- Обсуждение проблем применения Linux в авионике, Аноним, 10:32 , 06-Июл-23 (308)
- Обсуждение проблем применения Linux в авионике, Аноним, 17:24 , 03-Июл-23 (243) –1
- Обсуждение проблем применения Linux в авионике, Аноним, 17:34 , 04-Июл-23 (286) +1
- Обсуждение проблем применения Linux в авионике, xsignal, 19:25 , 04-Июл-23 (294)
- Обсуждение проблем применения Linux в авионике, xsignal, 19:37 , 04-Июл-23 (295)
|