Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Обсуждение проблем применения Linux в авионике, opennews (??), 02-Июл-23, (0) [смотреть все] Проблемы сертификации, хаотичности и культуры разработки решаются созданием отде, Аноним (2), 10:19 , 02-Июл-23, (2) –9 // А железо - не проблема Если все действия доверять софту, то вообще можно тогда и, Аноним (7), 10:29 , 02-Июл-23, (7) +1 // Многие проблемы на самом деле решаемы В том числе и учетом что железо может быт, Аноним (-), 11:05 , 02-Июл-23, (27) // Относительно недавний случай Самолёт спроектирован так, что без ассистента им у, Аноним (145), 19:09 , 02-Июл-23, (145) +3 И чего Хренова куча самолетов убились по причинам от отпавших тросиков и провод, Аноним (149), 19:57 , 02-Июл-23, (149) –1 Если ты думаешь, что железячники делают всё тип-топ и надёжно, то я тебя разочар, Аноним (42), 11:28 , 02-Июл-23, (42) +2 https opennet ru 53083-falcon9, Аноним (131), 17:54 , 02-Июл-23, (131) Они про ядро и его модули говорят Не хотят они ничего создавать с нуля, хотят б, tty0 (?), 10:31 , 02-Июл-23, (9) +4 // Мне тоже первое что в гоолову пришло - не нравится Линукс, напишите своё, удовле, Аноним (106), 15:55 , 02-Июл-23, (106) // Зачем писать свое можно купить QNX там есть все что они хотят , Аноним (169), 00:57 , 03-Июл-23, (169) +4 Если посмотреть фичи линуха и qnx то можно заметить что в qnx их несколько мен, Аноним (149), 17:11 , 03-Июл-23, (236) Ну это можно дописать, а вот что с верифицируемостью,надежностью, модульностью и, Аноним (169), 02:01 , 04-Июл-23, (270) Да Ну покажите это Может еще за разумные сроки и деньги А то еще и с адекватн, Аноним (149), 04:19 , 04-Июл-23, (271) Если чего то хочешь , то вложись деньгами или наими кодеров А то хотят плюшки и, Аноним (141), 18:20 , 02-Июл-23, (141) +1 В данном случае Linux - это ядро, а не дистрибутив , n00by (ok), 10:32 , 02-Июл-23, (10) +2 // Оформляешь ядро тарболом и вот уже ядро -- дистрибутив Магия какая-то, не иначе, Аноним (21), 10:52 , 02-Июл-23, (21) // Перефразирую в докладе говорилось о проблемах разработки ядра, а не собранного , n00by (ok), 11:06 , 02-Июл-23, (29) Автор утверждает, что это всё вопрос создания отдельного специального пакетика , Аноним (21), 11:39 , 02-Июл-23, (48) Порадуете цитатой , n00by (ok), 11:41 , 02-Июл-23, (50) Обсуждение проблем применения Linux в авионике, Аноним (21), 11:47 , 02-Июл-23, (53) Так это автор комментария утверждает нет чёткого плана развития, заранее опреде, n00by (ok), 11:52 , 02-Июл-23, (58) +2 Это надуманные проблемы У QNX всё это было, ну и где она сегодня , Аноним (21), 12:04 , 02-Июл-23, (63) –1 Оформляешь свой вопрос тарболом и вот уже он -- дистрибутив Магия какая-то, не , n00by (ok), 12:09 , 02-Июл-23, (65) +1 Система развивается Пару лет назад был свежий релиз Или Вы что то другое имели , Абра (?), 12:13 , 02-Июл-23, (69) +1 Проблемы высосаны из одного места RTOS проходят специальную сертификацию, созда, Аноним (81), 12:45 , 02-Июл-23, (81) gt оверквотинг удален рассчитанные на гумунитариев, Аноним (81), 12:46 , 02-Июл-23, (82) Им не нравится открытая система разработки выходит, и что это за отсутствие долж, Аноним (106), 15:58 , 02-Июл-23, (107) +1 Вообще называя вещи своими именами у них и правда нет некоторых элементов той ку, Аноним (149), 20:30 , 02-Июл-23, (154) +1 Они обозначили проблему Следующим шагом предложат способы её решения При этом , n00by (ok), 10:06 , 03-Июл-23, (189) Сборки Может еще использовать SteamDeck для этого Отсылка в сторону батискафа е, Аноним (7), 11:00 , 02-Июл-23, (25) // Батискаф, это Титан Виноват оказался Линукс, что ли Если так, примите поздравл, n00by (ok), 11:40 , 02-Июл-23, (49) В линуксах геймпады нормально не поддерживаются, это всё враки , Аноним (21), 12:06 , 02-Июл-23, (64) –2 Я бы продолжил делать батискафы из консервных банок, сажать туба представителе, Аноним (106), 16:00 , 02-Июл-23, (108) +2 А что бы и нет Может на нем к северным потокам ныряли,а теперь следы замели , Аноним (115), 16:38 , 02-Июл-23, (115) Так давайте развивать конспирологию Допустим, ныряли, заметают То есть утопили н, n00by (ok), 09:56 , 03-Июл-23, (187) В аренду сдавали этим русским , Аноним (220), 15:36 , 03-Июл-23, (220) Для управления атомными субмаринами контроллеры от иксбокса используют, так что , Аноним (112), 16:19 , 02-Июл-23, (112) На джойстике в Аирбасе стоят переменные резисторы, с которых гарантированно стач, n00by (ok), 09:58 , 03-Июл-23, (188) Они могут и в сервисный регламент прописать - менять каждые X часов Без этого, Аноним (197), 11:59 , 03-Июл-23, (197) Это домыслы, или Аирбас действительно такое фуфло , n00by (ok), 12:31 , 03-Июл-23, (205) Полустеб ессно, скорее всего джой там покапитальнее Но тривиальные компоненты з, Аноним (197), 13:44 , 03-Июл-23, (210) По-моему у батискафа были проблемы по линии сопромата или катастрофического отка, Аноним (149), 17:03 , 02-Июл-23, (118) НЕ решаются в принципе, от слова никак в презенташке третья ссылка упомнаетс, dannyD (?), 17:33 , 03-Июл-23, (248) Надо юзать BSD конец конференции , Avririon (ok), 10:23 , 02-Июл-23, (3) +4 // Дело не только в софтверной части, Аноним (7), 10:25 , 02-Июл-23, (5) +2 Попробуй, расскажешь как оно Если чо, я тоже поюзываю И потому, никому бы реко, Аноним (15), 10:44 , 02-Июл-23, (15) +1 // Поюзывай молча , Аноним (106), 16:00 , 02-Июл-23, (109) –4 Несколько лет назад словил баг с сетевой картой челсио, при создании виртуальной, Аноньимъ (ok), 13:42 , 05-Июл-23, (302) И это будет лучше - ну вот конкретно чем и по каким пунктам Можно сказать чем эт, Аноним (31), 11:11 , 02-Июл-23, (31) // Зато можно будет хвастаться я пропатчил самолет на FreeBSD , Аноним (44), 11:29 , 02-Июл-23, (44) +2 // Только чур вы и будете тестовым манекеном для своих патчей , Аноним (149), 16:47 , 02-Июл-23, (116) Классическое Уже почти да, но еще нет, но вот уже совсем скоро Т е то что, Аноним (91), 14:07 , 02-Июл-23, (91) // Скоро сказки сказываются, да не скоро дело делается У бсдей хотя-бы шедулеры с , Аноним (149), 16:59 , 02-Июл-23, (117) Какая очередная многословная вариация почти да, но еще нет и рен его знает, , Аноним (91), 18:17 , 02-Июл-23, (139) Судя по тому что я вижу - с приличной вероятностью будет А вы имели предложить , Аноним (149), 20:26 , 02-Июл-23, (152) –1 В общем, опять много пафоса и попытка заболтать реальность в которой тот код та, Аноним (91), 21:46 , 02-Июл-23, (159) В которой ваши бсды никому на фих не нужны, но вы аж кюшать не можете и все вр, Аноним (197), 12:16 , 03-Июл-23, (201) https www opennet ru opennews art shtml num 55000 - я просто оставлю это здесь, Аноним (171), 02:52 , 03-Июл-23, (171) +2 Для OpenBSD - http bluhm genua de К слову открытое полноценное тестирование д, sergeyb (ok), 14:28 , 02-Июл-23, (95) +2 // Э, тестирование линукс ядра У одного только оракела несколько тысяч часов тесто, Аноним (207), 12:39 , 03-Июл-23, (207) Они тестируют то, что нужно их клиентам И Оракл, и Каноникал, и Редхат поверх в, sergeyb (ok), 12:58 , 03-Июл-23, (209) Оракел сейчас и есть сам клиент линукса На линуксе крутят свое облако, для него, Аноним (207), 17:36 , 03-Июл-23, (249) Драверы в пространестве пользователя, например netbsd Непопулярные где В IT-ба, Аноним (207), 12:33 , 03-Июл-23, (206) // А они вообще есть Например, для WiFi ax Ладно, хотя бы для ac , Аноним (229), 16:21 , 03-Июл-23, (229) 1 А что это дает Возможность перезапустить драйвер Ух, блин, а сбой драйвера , Аноним (149), 17:51 , 03-Июл-23, (255) Вообще-то есть формально верифицированные ОС Несколько лет назад китайцы такую , Аноним (59), 11:57 , 02-Июл-23, (59) // С ними есть 1 мелкая проблема Это как правило примитивные тасксвичеры которые н, Аноним (197), 12:18 , 03-Июл-23, (202) Там где нужна в крайней степени надежность, не должно быть никаких систем с Linu, Аноним (7), 10:24 , 02-Июл-23, (4) +22 // А собственно почему не должно Попробуйте аргументировать Наверное вы пробовали, Аноним (6), 10:29 , 02-Июл-23, (6) +2 // Это больше про большие объемы вычислений выдриссированы под пользовательские си, Аноним (7), 10:40 , 02-Июл-23, (13) +1 // Про системы с высокой отзывчивостью вы видимо не в курсе Про специальные лину, Аноним (6), 10:51 , 02-Июл-23, (19) –2 Специальные линуксы не подходят под требования в авионике Новость читали , Аноним (7), 10:56 , 02-Июл-23, (23) +7 Ну так и обсуждайте новость в чем проблема Я же не лезу на форум лингвистов или, Аноним (6), 11:10 , 02-Июл-23, (30) +5 Потому что могут Нет он как бы того этого опен , Аноним (106), 16:03 , 02-Июл-23, (110) В новости сказано, что теорию о ненадехности линукса высказали специалисты фирмы, Аноним (89), 13:59 , 02-Июл-23, (89) А твои самолёты как летают не похвастаешься Боинг немного отличается в мелочах , Аноним (112), 16:23 , 02-Июл-23, (113) –2 А что, тот анон смог написать полетный софт хотя-бы фанерке , Аноним (149), 17:48 , 02-Июл-23, (128) Когда упали Что-то не слышал в последнее время о катастрофах, Аноним (175), 06:46 , 03-Июл-23, (175) Ребят, мне прям льстит, что вы меня с боингом сравниваете, буду стараться По пов, Аноним (178), 07:53 , 03-Июл-23, (178) Да вот есть у боинга чудная подсистемка, MCAS - https en wikipedia org wiki Ma, Аноним (197), 14:12 , 03-Июл-23, (212) Совершенно внезапно хардверные вопросы должны решаться в первую очередь с хардве, Аноним (32), 11:15 , 02-Июл-23, (32) +1 // Картинки разные бывают Glass cockpit - тоже как бы картинки показывает А вот е, Аноним (149), 17:34 , 02-Июл-23, (126) Вы можете математически доказать, что они будут делать только то, что от них ожи, Аноним (145), 19:19 , 02-Июл-23, (146) +2 // Как и зачем можно математически доказать что-то для исходников, учитывая, что он, Бывалый смузихлёб (?), 02:44 , 03-Июл-23, (170) Читал SMS -ку, много думал А потом решил уточнить Интересно, что именн, U202204161753 (?), 16:55 , 03-Июл-23, (233) –2 Учитывая что на сях написано большая часть фирмвар в том числе на транспорте, на, Аноним (149), 17:17 , 03-Июл-23, (238) +1 С Ариан-5 всё было не так Я когда искал исходные коды к этому инциденту,, U202204161753 (?), 17:38 , 03-Июл-23, (250) –1 Я расследователям верю несколько больше чем случайным фэйсам с опеннета В любом, Аноним (149), 18:13 , 03-Июл-23, (260) Про Ариан-5 постараюсь организовать репост конкретики Т е , в отличие от, U202204161753 (?), 10:58 , 04-Июл-23, (279) На мой вкус - в целом примерно то же самое что и у арианщиков, т к трэш в орган, Аноним (197), 17:05 , 04-Июл-23, (284) Про надежный код на Аде - смешно Про взрыв ракеты Ариан-5 слышали Ракета разр, Игорь (??), 10:09 , 03-Июл-23, (190) А теперь представь, что их не 60 тысяч, а 30 миллионов и без какого либо статиче, Аноним (145), 10:25 , 03-Июл-23, (193) Ну вообще, корабли Маска вроде на МКС вроде летают, вот как раз с линухом И поч, Аноним (197), 12:26 , 03-Июл-23, (204) А я вот то ли у Э Дейкстра, то ли у Хоара читал, что тестирование не показател, U202204161753 (?), 17:03 , 03-Июл-23, (234) Для себя я предпочитаю верить своим глазам и думать своим мозгом И я вижу что в, Аноним (149), 17:44 , 03-Июл-23, (252) А каким рентгеном или ультразвуком не удастся просвечивать тросы Сами пило, U202204161753 (?), 10:34 , 04-Июл-23, (275) По всей длине В том нагромождении С каким-то более-менее гарантированным вывод, Аноним (197), 12:04 , 04-Июл-23, (280) Вот только Ada там ни при чём Т е код, конечно же, на ней, а вот причина орган, U202204161753 (?), 16:16 , 03-Июл-23, (227) Эти системы некорректно ставить в 1 ряд Первое вполне годится для автоматически, Аноним (43), 11:29 , 02-Июл-23, (43) // Windows NT 4 0 Embedded летает на спутниках , U202204161753 (?), 11:38 , 02-Июл-23, (47) +1 // Так вот почему с ними вечно какие-то проблемы То двигатель не заведется, то пан, Аноним (51), 11:44 , 02-Июл-23, (51) –2 Теперь то стало понятно как они так умудряются работать с превышением срока служ, Аноним (44), 12:14 , 02-Июл-23, (71) +4 Они же неместные Ж- , U202204161753 (?), 13:12 , 02-Июл-23, (87) Given enough thrust pigs fly just fine , Аноним (149), 17:09 , 02-Июл-23, (119) –1 Allow me to remind you of a phrase from a classic work of Russian literature No, U202204161753 (?), 18:11 , 02-Июл-23, (136) Мгимо финишд Хав мач вач , _ (??), 22:47 , 02-Июл-23, (165) +2 Разве что 149-ый аноним, тот закончил если не МГИМО, то школу с английским укло, U202204161753 (?), 16:37 , 03-Июл-23, (232) Ну ты сравнил фундаментальную отрасль с тысячами жизней на кону и пет проект Ило, Аноним (83), 12:50 , 02-Июл-23, (83) +1 // Пет проекты Илончика пускают чертову кучу недешевых спутников на орбиту и даже в, Аноним (149), 17:14 , 02-Июл-23, (122) –1 Гораздо более дикое месиво на порядки тросиков, контактов и проч закопано в пр, beck (??), 18:43 , 02-Июл-23, (143) Оно не отваливается и не перетирается от тряски и вибрации, в отличие от того ба, Аноним (197), 12:40 , 03-Июл-23, (208) Не очеловечивайте компьютеры - они этого страсть как не любят Т е как там , U202204161753 (?), 17:20 , 03-Июл-23, (240) Будущее принадлежит разумным машинам имхо А может и гибридным частично органиче, Аноним (149), 18:37 , 03-Июл-23, (261) на всякий Т е ту книгу читали неожиданно Но там ИИ, скорее жёстко крит, U202204161753 (?), 10:39 , 04-Июл-23, (277) Не факт, но ряд идей достаточно распостранен в sci-fi и у продвинутых спецов Ко, Аноним (197), 13:27 , 04-Июл-23, (282) P S Пока не забыл Только их почему-то 2 два датчика И есть тумблер, которы, U202204161753 (?), 17:59 , 03-Июл-23, (257) Это плохое инженерное решение чтобы понять какой датчик врет очень желательно ч, Аноним (149), 19:12 , 03-Июл-23, (265) Да, полностью согласен и, примерно на это же, прозрачно намекал , U202204161753 (?), 10:42 , 04-Июл-23, (278) Поревозят десятки тысяч людей ежегодно, как тот же боинг Пока у пет проекта Илон, Аноним (196), 11:59 , 03-Июл-23, (196) Надо понимать, что это смягчённые и соответствующие CoC-ам формулировки И ведь г, n00by (ok), 10:30 , 02-Июл-23, (8) –1 // Вход в разработку ядра свободный Буквально Так что ваше заявление ни на чём не, Шарп (ok), 11:19 , 02-Июл-23, (36) +1 // Моё заявление основано на собственном опыте Коммит в ядро как минимум проходит ф, n00by (ok), 11:37 , 02-Июл-23, (46) –1 Спросите разрабов Байкала, насколько он свободный, Анониминона (?), 11:52 , 02-Июл-23, (57) // Байкал полностью несвободный , Аноним (44), 12:14 , 02-Июл-23, (70) –2 Никто толком не знает, что такое свобода Требуется целый Ричард Столлман, что б, n00by (ok), 12:22 , 02-Июл-23, (77) +4 спасибо поржал, Sw00p aka Jerom (?), 12:17 , 02-Июл-23, (73) +5 // Хотел сначала написать из мира СПО , не не стал Все знают 8482 , что СПО - эт, n00by (ok), 12:20 , 02-Июл-23, (76) +1 Можно угадать с 1 попытки будут тестировать это и сертифицировать Чем еще UL з, Аноним (149), 17:20 , 02-Июл-23, (123) // Это, как говорится, понятно и ежу Вопрос в том, какая цель у столь недешевой дея, n00by (ok), 09:46 , 03-Июл-23, (185) // ИМХО, 1 Послать негибкие проприетарные решения и жесткий вендорлок в пень, как , Аноним (149), 19:33 , 03-Июл-23, (266) А кажись у spacex ui какой-то на электроне написан Так что уже полетел, Прыгающий Ленивец (?), 16:27 , 07-Июл-23, (312) Лучшие Это поэтому в ядре так много тупейших ошибок, быдлокодинга и мягко гово, Аноним (137), 18:14 , 02-Июл-23, (137) +2 // Ну да Если бы ядро писали башпрограммисты дистрибутивов и майнтайнеры CoC-ов, о, n00by (ok), 09:51 , 03-Июл-23, (186) Поправил, не благодари Большая часть кода любого проекта написана самыми обычны, Аноним (112), 17:29 , 03-Июл-23, (246) // Это заявление для публики Не всегда цели декларируемые и реальные совпадают Сам, n00by (ok), 08:18 , 04-Июл-23, (274) В случае кернела с этим немного тухловато Что самое плохое случится если вы в а, Аноним (197), 13:55 , 04-Июл-23, (283) Вроде спейсx летает на линуксах, у них правда что-то взрывается постоянно, и не , X (?), 10:36 , 02-Июл-23, (11) // Да вроде пока ничего не уронили , Аноним (22), 10:54 , 02-Июл-23, (22) –1 // Да, один раз тупо взорвали спутники на старте, а в другой потеряли на не той орб, Аноним (83), 12:53 , 02-Июл-23, (84) Все три первых фалкона взорвались вместе со спутниками SpaceX CRS-7 вместе с Dra, Аноним (196), 12:22 , 03-Июл-23, (203) // И сколько человек в том драгоне погибло А, нисколько Это, наверное, потому, чт, Аноним (299), 04:51 , 05-Июл-23, (299) +1 У них ещё нет никакой защиты от радиации, так что софт -- это меньшая из проблем, Аноним (21), 11:00 , 02-Июл-23, (24) +1 // Существует Linux RT, но проблемы спецификации и драйверов это не решает , fuggy (ok), 15:16 , 02-Июл-23, (101) // Патчи RT_LINUX уже почти втянули в майнлайн Думаете чего вон те так активизиров, Аноним (149), 17:50 , 02-Июл-23, (129) У них и процессоры не космического класса, а обычные бытовые Только 3 штук и он, Аноним (44), 11:01 , 02-Июл-23, (26) +2 // А если сравниватель откажет , Шарп (ok), 11:17 , 02-Июл-23, (35) –1 // Задача тебе со звёздочкой подумать что будет У вас у веб-разработчиков это зада, Аноним (44), 11:22 , 02-Июл-23, (38) Так эта схема проверена на практике - первый полет Союза с системой автоматическ, Игорь (??), 10:20 , 03-Июл-23, (191) +1 Просто константа начальная масса корабля была внесена неправильная Подробнее, U202204161753 (?), 16:29 , 03-Июл-23, (230) На Шатле был и пятый компьютер с независимо написаным ПО ПО обеспечивало пос, U202204161753 (?), 16:31 , 03-Июл-23, (231) Сделай два сравнителя и более , Alladin (?), 18:56 , 04-Июл-23, (290) +1 Разгадка проста, Маск юзает бубунту в своих поделиях А вот у космонафтики здоров, Аноним (81), 12:59 , 02-Июл-23, (85) // Так то на рабочих местах , это нещитаеца , YetAnotherOnanym (ok), 15:25 , 02-Июл-23, (103) +1 У наса люди гибли при полёте , X (?), 17:46 , 02-Июл-23, (127) // У боинга тоже гибли И в CCCР гибли, просто про это в отличие от успехов не далд, Аноним (197), 17:29 , 04-Июл-23, (285) Нормальные Космо астро нафты на Арчике и все летает Дебиан только и подходит, ч, Гашпшпщм (?), 09:25 , 03-Июл-23, (181) +1 Особенно удачный эксперимент в 2003 году получился , Аноним (299), 04:53 , 05-Июл-23, (300) Обычно ничего не мешает компоновать контроллеры реального времени с более тупыми, Alladin (?), 18:58 , 04-Июл-23, (291) Хаотичность и отсутствие культуры это то чего никогда не будет в Фуксии, которая, Аноним (44), 10:42 , 02-Июл-23, (14) –3 // Пусть гулаг её хотя бы снова заопенсорсит, как это в начале было , Аноним (15), 10:47 , 02-Июл-23, (16) –1 // Чтобы что Чтобы создать хаотичность и снизить культуру написания кода Спасибо , Аноним (44), 10:48 , 02-Июл-23, (17) +2 // Чтобы снизить культуру внедрения зондов , Аноним (220), 15:40 , 03-Июл-23, (222) А там что-то хоть собирается Там что-то дорабатывается вообще или оно как какие, Аноним (32), 11:19 , 02-Июл-23, (37) // Все голосовые помощники нест хабы принудительно перевели на Фуксию Потестят сде, Аноним (44), 11:25 , 02-Июл-23, (40) +1 // Или быстро закроют проект к хренам, может даже вместе с насестом Как это бывает, Аноним (149), 17:25 , 02-Июл-23, (124) То ли дело венда , Аноним (18), 10:49 , 02-Июл-23, (18) +1 Сейчас бы Боингу рассуждать о безопасности , pashev.ru (?), 10:51 , 02-Июл-23, (20) +2 // Хардвар - геймпадСофтвер - стимОСОх уж эти черномемщики с батискафом Сейчас суще, Аноним (7), 11:05 , 02-Июл-23, (28) +1 Врача ищет больной, а не здоровый Именно им и надо рассуждать , Анонус (?), 11:30 , 02-Июл-23, (45) –1 Так Боинг и рассуждает, Аноним (99), 14:56 , 02-Июл-23, (99) –1 А вот представьте сколько катастроф было бы, если бы на боингах стоял линукс Там, Анонин (?), 18:17 , 02-Июл-23, (140) На сегодняшний день Боинг обладает самой безопасной сертефицированной операционн, Аноним (301), 08:58 , 05-Июл-23, (301) // Сколько А320 Нео разбилось А сколько Б737 Макс , pashev.ru (?), 23:45 , 05-Июл-23, (307) // Самолёты сложная система, бортовое ПО далеко не единстенное место отказа Там ка, Аноним (318), 12:27 , 08-Июл-23, (318) –1 Если бы губы Никанора Ивановича да приставить к носу Ивана Кузьмича, да взять с, Аноним (33), 11:15 , 02-Июл-23, (33) +5 Смысл новости непонятен Многопользовательское, многозадачное ядро общего назнач, Анониссимус (?), 11:24 , 02-Июл-23, (39) +16 // Ты сначала должность какую-нибудь высокую займи, а потом да твоё капитанство буд, Аноним (44), 11:27 , 02-Июл-23, (41) +3 Смысл новости очевиден заставить эту кучу народа бесплатно поработать и на авиа, Аноним (56), 11:52 , 02-Июл-23, (56) Сейчас они обозначили проблему, следующим шагом могут захотеть её решать введут, n00by (ok), 12:01 , 02-Июл-23, (60) –1 Не надо нам в авиации инноваций и хаотичной культуры разработки Продать лайнер , Аноним (54), 11:49 , 02-Июл-23, (54) +3 // Главное, что этот подход приносит деньги Цифры продаж Boeing 737MAX не дадут со, YetAnotherOnanym (ok), 15:08 , 02-Июл-23, (100) –1 Ребят, пользуясь случаем хочу спросить а что есть из микроядерного для десктопа, Линукс Торвальц (?), 11:50 , 02-Июл-23, (55) +1 // Пользователей Intel пользует Minix, а про остальных бытуют противоречивые конспи, n00by (ok), 12:03 , 02-Июл-23, (61) +1 // Какой изящный троллинг, Массоны Рептилоиды (?), 12:01 , 03-Июл-23, (199) +1 Тебе уже миллион раз только в этом треде сказали Fuchsia OS , Аноним (44), 12:10 , 02-Июл-23, (66) // Фикция всё это , Аноним (220), 15:41 , 03-Июл-23, (223) GNU Hurd, Аноним (171), 14:40 , 02-Июл-23, (96) +1 // Ты, конечно, с него пишешь Часть вопроса была 171 кто чем пользуется 187 , Аноним (166), 23:23 , 02-Июл-23, (166) // С него, но оно в виртуалке, запущенной на десктопе, Аноним (171), 02:57 , 03-Июл-23, (172) Mac os x , Гашпшпщм (?), 09:29 , 03-Июл-23, (182) Шли годы, десятилетия, а линуксоиды все продолжали выносить драйвера из ядра И, Liin (ok), 12:17 , 02-Июл-23, (74) +3 // Единственная возможность чтобы твои драйвера хоть как-то собирались в новых выпу, Аноним (92), 14:13 , 02-Июл-23, (92) +3 // Это следствие монолитности, т е изначально ущербной модели и узколобости главно, Гашпшпщм (?), 09:33 , 03-Июл-23, (183) –2 Интересно какие такие драйвера в Linux понадобились боингу для мышек, видеокарт , fuggy (ok), 15:43 , 02-Июл-23, (104) +1 // Или посмотреть на всякие VFIO например и проч , Аноним (149), 17:27 , 02-Июл-23, (125) разве обсуждается такая идея 8212 да, такое есть но вот работы в этом напра, edo (ok), 06:47 , 03-Июл-23, (176) // Попытки сделать фреймворк для этого были И даже сделали - UIO Вот только на нё, Аноним (220), 16:03 , 03-Июл-23, (225) оужас, уберите Вспомните ntfs драйвер в userspace И какая там производительнос, Alladin (?), 19:03 , 04-Июл-23, (292) +1 // Такая, что кое-кто в свое время, глядя на результаты бенчей, подломился искать и, Аноним (91), 23:23 , 04-Июл-23, (298) Продолжали А когда начали-то stable_api_nonsense txt все еще в дереве исходник, Прыгающий Ленивец (?), 16:37 , 07-Июл-23, (313) // Начали еще в 90-х С тех пор регулярно этот вопрос поднимается , Liin (ok), 16:55 , 07-Июл-23, (314) Linux летает на Марсе, Аноним (75), 12:20 , 02-Июл-23, (75) +1 // Там и 98 винда летает MARSIS, ищи по новостям , это не показатель , Аноним (88), 13:43 , 02-Июл-23, (88) +2 // На марсе поюзать винду 98 Норм, но кажись лет через 50 , Alladin (?), 19:04 , 04-Июл-23, (293) +1 Уже не летает, батарейки хватило на один полет, , Минона (ok), 22:36 , 04-Июл-23, (296) А сейчас что используют , Анонимо11111 (?), 12:25 , 02-Июл-23, (78) У Linux проблема в том, что нам нужен не Linux , EuPhobos (ok), 12:26 , 02-Июл-23, (79) +4 // Ядро не должно знать от железе и тем более управлять им напрямую Оно должно быт, Аноним (97), 14:50 , 02-Июл-23, (97) +1 // Ты начтался Танебаума Ядро Линукс оптимален Ты так и ничего не понял Тебе мозг, Аноним (-), 10:34 , 04-Июл-23, (276) Диспетчером может быть и железка, зачем тогда ОС - , BeLord (ok), 17:13 , 07-Июл-23, (315) в переводе это называеся - не лезте со своим линуксом куда вас не просят последн, dannyD (?), 14:07 , 02-Июл-23, (90) // В беспилотниках везде и рядом И вроде это даже хорошо , Аноним (92), 14:14 , 02-Июл-23, (93) +1 // только беспилотники не являются основной продукцией Боинга,а так - пжалста , dannyD (?), 14:23 , 02-Июл-23, (94) Отказ беспилотника - это не такая уж большая трагедия В отличие от , Аноним (88), 18:10 , 02-Июл-23, (135) Этим, вообще-то, можно и ограничиться Всё остальное о достоинствах линуха - с, YetAnotherOnanym (ok), 14:53 , 02-Июл-23, (98) +4 И чем тогда они пользуются , th3m3 (ok), 15:18 , 02-Июл-23, (102) // iOS , Kukish (?), 15:44 , 02-Июл-23, (105) +1 Fuchsia, Всем Анонимам Аноним (?), 17:11 , 02-Июл-23, (121) +1 // Давай тебе в авионику это поставим Вот ты тестовым пилотом и поработаешь потом , Аноним (149), 17:53 , 02-Июл-23, (130) –1 // Давай ты не будешь больше здесь чушь писать В авиации так никто не делает Когд, Аноним (92), 20:08 , 02-Июл-23, (151) +2 Мне почему-то кажется что скорее всего это когда определено как never Нет к, Аноним (197), 14:22 , 03-Июл-23, (213) Тестовым пассажиром он будет , Аноним (220), 16:06 , 03-Июл-23, (226) софт пишется на Аде , dannyD (?), 18:01 , 02-Июл-23, (133) –2 // Не на, а в , anonymous (??), 18:53 , 03-Июл-23, (262) А надо всего лишь разрабатывать программно-аппаратный комплекс и оттачивать же, Аноним (106), 16:08 , 02-Июл-23, (111) // Подозреваю, производители самолётов именно так всегда и делали, и сейчас пока ещ, YetAnotherOnanym (ok), 18:55 , 02-Июл-23, (144) +4 Тут возникает один вопрос, а вот Линуксу оно, авионика, оно надо Претензии лет, Kuromi (ok), 16:37 , 02-Июл-23, (114) +3 // Линуксу надо то что делают участники процесса Если кто-то решил вписаться делат, Аноним (149), 17:59 , 02-Июл-23, (132) // Я что-то пока не вижу чтобы кто-то вписывался поработать, я скорее наблюдаю пред, Kuromi (ok), 21:40 , 02-Июл-23, (158) // Ну как бы некоторые пожелания - вполне разумные и определенные идеи могут и друг, Аноним (197), 14:38 , 03-Июл-23, (217) Ну так против безбажного и стабильного кода никто и не выступает, правда когда н, Kuromi (ok), 17:50 , 03-Июл-23, (254) Да знаете, какая-нить MISRA и без всякой ржавчины дело сильно улучшает Но опять, Аноним (149), 04:53 , 04-Июл-23, (272) Лекции это хорошо и нужно Но продуктивнее все же тулинг пилить для этого, всяки, Прыгающий Ленивец (?), 21:48 , 07-Июл-23, (317) А Линукс тут уже давно не решает, что ему надо Кто больше донатмт, тот и одеяло, Гашпшпщм (?), 09:44 , 03-Июл-23, (184) +1 Boeing в серебряных спонсорах Linux Foundation Если перейдёт в платиновые, стан, n00by (ok), 10:22 , 03-Июл-23, (192) Тогда им нужна Fuchsia с Zircon , Всем Анонимам Аноним (?), 17:11 , 02-Июл-23, (120) +1 // Мне всегда было интересно - а такие советчики зассали бы или нет если их натурал, Аноним (149), 18:02 , 02-Июл-23, (134) –1 // вот видите - это отказ в штатной ситуации а если как во втором орешке пятдесят б, dannyD (?), 18:16 , 02-Июл-23, (138) Ты считаешь что в авиации тестирование проходит так что ставят новую прошивку и , Аноним (92), 20:07 , 02-Июл-23, (150) // Т е скорее всего - никогда Эта хня делалась не для этого и даже не для general, Аноним (197), 14:29 , 03-Июл-23, (215) –1 Если перевести с дипломатического, то инженеры Боинг просто рассказали почему он, Аноним (142), 18:37 , 02-Июл-23, (142) +3 // Линукс послал невидию, потому что они криворучки, пишут самые упоротые дрова, пр, Аноним (156), 20:35 , 02-Июл-23, (156) // потому что они не часть процесса и не играют совместно, на самом то деле Это, Аноним (197), 14:32 , 03-Июл-23, (216) Это не тот самый Боинк, который капитально обоср с Boeing 777-8 Такие инннова, Kuromi (ok), 21:48 , 02-Июл-23, (160) Боинг под мудрым руководством супер-эффективных менеджеров сделал насквозь просе, yet another anonymous (?), 17:07 , 03-Июл-23, (235) +1 Смотря, что под авионикой понимать Вообще там монстры типа Линукс не нужны Ест, BeLord (ok), 20:27 , 02-Июл-23, (153) –1 // Вы не понимаете Замена того что есть возможно коммерческого на халявный лял, Kuromi (ok), 21:50 , 02-Июл-23, (161) +1 // А перед получением премии, отправить их с семьями летать на новых самолетах- , BeLord (ok), 17:47 , 04-Июл-23, (289) // Ну а на чем они по вашему будут летать На этом глобусе выбора не так уж и много, Аноним (319), 17:36 , 08-Июл-23, (319) для HPC и AI линукс и нужен чтобы исключить человеческий фактор из управления, а, Аноним (194), 11:14 , 03-Июл-23, (194) // Потребностям маркетологов оно не удовлетворяет, а не индустрии Оно работает, ес, BeLord (ok), 17:46 , 04-Июл-23, (288) Вообще-то высоконадежные системы там где это важно предпочитают не уповать на ид, Аноним (149), 04:59 , 04-Июл-23, (273) // как-то так лет 50 до маска леталиhttp www buran ru htm su4bcvk htm, Аноним (194), 12:45 , 04-Июл-23, (281) x86 это перебор для многих задач, часть задач вообще на простых триггерах делает, BeLord (ok), 17:44 , 04-Июл-23, (287) // 1 Ну сделайте мне на триггерах нормальный рендер карты местности, с актуальными, Аноним (-), 18:01 , 08-Июл-23, (320) –1 Внезапно linux который не RTOS и не разрабатывался как RTOS оказался не RTOS и д, Аноним (156), 20:31 , 02-Июл-23, (155) +3 // это не совсем такhttps www osadl org SIL2LinuxMP sil2-linux-project 0 html, Аноним (194), 11:17 , 03-Июл-23, (195) // Скрыто модератором, Аноним (-), 17:27 , 03-Июл-23, (245) А таки убунту на ардуине грузили Правда, грузилась она там долго , Аноним (197), 15:30 , 03-Июл-23, (219) OOM киллер или UB поведение библиотек от lgbt тут же уронят самолет, Аноним (157), 20:49 , 02-Июл-23, (157) // Разве lgbt пишут либы для ядра Думал они больше по JS Rust Scala А bьlдлoкодят, Аноним (137), 22:06 , 02-Июл-23, (162) Еще 10 лет назад во всех новостях Linux был синонимом надёжности и безопасности , Аноним (163), 22:10 , 02-Июл-23, (163) –2 // Скрыто модератором, Аноним (-), 17:22 , 03-Июл-23, (241) Надёжность тоже разная бывает, и разной степени Дебиан вполне надёжный для серв, Аноним (269), 23:43 , 03-Июл-23, (269) Ну теперь-то понятно, кто виноват в лажах с 737 MAX, Аноним (164), 22:35 , 02-Июл-23, (164) +1 Это типа бородатый анекдот про то как установив на истребитель windows америкосы, Аноним (167), 23:29 , 02-Июл-23, (167) +4 Кажется, это главная причина привлекательности Linux для авиапроизводителей , Аноним (168), 23:38 , 02-Июл-23, (168) +2 В авионике крайне жёсткие стандарты Чтобы софт можно было сертифицировать для а, Аноним (198), 11:59 , 03-Июл-23, (198) +1   // А ещё для rtos обычно есть две версии rtos и rtos-do178, последний применяется в, anonymmm (?), 14:27 , 03-Июл-23, (214)   Скрыто модератором, Аноним (-), 12:05 , 03-Июл-23, (200) Весь софт Боинга протухшее говно мамонта И я не понял с какой этой стати сопляк, Аноним (-), 17:19 , 03-Июл-23, (239) –1 // P S Т е эта не была ирония Хм, интересно , U202204161753 (?), 17:41 , 03-Июл-23, (251) // Скрыто модератором, Аноним (-), 17:49 , 03-Июл-23, (253) Можно начать с RISC-V и аппаратов литографии На век работы хватит , Аноним (305), 16:55 , 05-Июл-23, (305) // RISCV ядрами уже забит весь гитхаб , Аноним (-), 11:51 , 09-Июл-23, (324) а подводные лодки для путешествий к Титанику не ннада , dannyD (?), 23:26 , 03-Июл-23, (268) У него серьезнее проблемы https www forbes ru biznes 390923-etot-samolet-proek, Аноним (308), 10:32 , 06-Июл-23, (308) Когда-то Линус послал NVIDIA Пора послать Линусу и Boeing Пока они не научатся, Аноним (-), 17:24 , 03-Июл-23, (243) –1 Позор Boing-у так низко пасть что бы пиарить себя на разработке системы общег, Аноним (286), 17:34 , 04-Июл-23, (286) +1 // Им бы погуглить, что такое ОС РВ Специалисты , Аноним (308), 10:33 , 06-Июл-23, (309) Что-то сертификация никак не спасла Боинги 737 MAX от падений , xsignal (ok), 19:25 , 04-Июл-23, (294) А Васька слушает, да ест Линукс как был супер-надёжной системой без всей этой , xsignal (ok), 19:37 , 04-Июл-23, (295) // Все немного сложнее Скажем если сервак тупанет на секунду - никто особо не заме, Аноним (197), 15:14 , 05-Июл-23, (303) // Э-э погоди, не гони Он просто сказал, что линуксовые сервера самые надёжные и л, Аноним (304), 16:15 , 05-Июл-23, (304) // Если софт - ОС РВ, почему нет Но Linux - не ОС РВ Потому, как выше намекали ко, Аноним (308), 10:35 , 06-Июл-23, (310) Вообще, с патчами RT_LINUX он, таки, это И их уже почти все втянули в майнлайн , Аноним (-), 18:16 , 08-Июл-23, (323) У надежности есть много аспектов И сказать что например реалтайм гарантии линух, Аноним (-), 18:14 , 08-Июл-23, (322) Ну это само собой Естественно, в авионике нужно не обычное ядро использовать, а, xsignal (ok), 17:19 , 05-Июл-23, (306) // Как недавно сообщили, сабж использует Integrity , Аноним (308), 10:37 , 06-Июл-23, (311) Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО сист, BeLord (ok), 17:16 , 07-Июл-23, (316) // NASA даже марсоходам софт обновляет И никакого цирка в этом нет Если проектиро, Аноним (-), 18:02 , 08-Июл-23, (321) 2,3,4,8,11,14,18,20,33,39,54,55,74,75,78,79,90,98,102,111,114,120,142,153,155,157,163,164,167,168,198,239,243,286,294,295

Сообщения

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

198. "Обсуждение проблем применения Linux в авионике"	+1 +/–
Сообщение от Аноним (198), 03-Июл-23, 11:59
В авионике крайне жёсткие стандарты. Чтобы софт можно было сертифицировать для авионики - процесс его разработки с нуля должен быть построен в соответствии с её стандартами и все библиотеки которые этот код использует должны быть тоже сертифицированы для авионики. Составляются требования высокого и низкого уровня на диалекте английского с ограниченным словарём. Эти требования трассируются на код и тесты. Код пишется на C/C++/Ada, причём используются не все фичи этих языков и вводятся определённые ограничения, например на единственную точку выхода из функции для Си. Покрытие тестами запредельное, MC/DC для высшего уровня критичности. Ни одна строчка кода и ни один тест не должны быть написаны без опоры на требования. Причём каждый шаг сопровождается огромным количеством бумажной работы. Если написал код, но налажал с бумажками - то лучше бы вообще ничего не писал. Так что Линукс в авионике использовать не реально.
Ответить | Правка | Наверх | Cообщить модератору

	214. "Обсуждение проблем применения Linux в авионике"	+/–
	Сообщение от anonymmm (?), 03-Июл-23, 14:27
	А ещё для rtos обычно есть две версии rtos и rtos-do178, последний применяется в самолётах и урезан по самый не балуй, со стандартным rtos там только название так что, конечно, просто так применить linux у жадных авиапроизводителей не выйдет, ну и по делом им
	Ответить | Правка | Наверх | Cообщить модератору

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

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