The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Обсуждение проблем применения Linux в авионике

02.07.2023 09:59

На прошедшей в Праге конференции Linux Foundation Embedded Open-Source Summit инженеры из компании Boeing и организации UL (Underwriter Laboratorie, занимается сертификацией безопасности) выступили с докладом о проблемах, связанных с применением Linux в авионике и критически важных системах, в которых предъявляются особые требования к надёжности (полное соответствие поведения заданной спецификации) и безопасности (отсутствие неопределенного поведения). Отмечается, что применяемые в авионике специализированные RTOS проходят специальную сертификацию, созданы с оглядкой на предоставление гарантий в безопасности и надёжности, и проходят формальную верификацию соответствия спецификациям.

Из проблем, мешающих использованию Linux в авионике, отмечается отсутствие необходимой сертификации надёжности, монолитная архитектура (драйверы выполняются на уровне ядра с повышенными привилегиями), хаотичность (нет чёткого плана развития, заранее определённой архитектуры и требований к системе), отсутствие должной культуры разработки, обеспечения качества и безопасности.

Среди путей устранения проблем упоминается использование обратного инжиниринга для оценки соответствия предъявляемым требованиям уже имеющегося кода, создание стандартов качества написания кода, проведение анализа безопасности, применение профилей для включения только проверенных компонентов и сборочных опций, вынос драйверов в пространство пользователя, изоляция в виртуальных окружениях, автоматизированное сканирование уязвимостей, создание отдельной команды разработчиков для отслеживания проблем с безопасностью, отложенное внедрение (дать время проявиться проблемам).

Из достоинств применения Linux называется открытость для повсеместного рецензирования, более быстрое развитие, активное продвижение новшеств, хорошо известный API, доступность специалистов (проще найти компетентных разработчиков и людей, понимающих код).

  1. Главная ссылка к новости (https://www.phoronix.com/news/...)
  2. OpenNews: Для Linux предложен механизм верификации корректности работы ядра
  3. OpenNews: Toyota Camry станет первым автомобилем, оснащённым платформой Automotive Grade Linux
  4. OpenNews: Организация Linux Foundation опубликовала автомобильный дистрибутив AGL UCB 9.0
  5. OpenNews: SpaceX использует Linux и обычные x86-процессоры в Falcon 9
  6. OpenNews: Canonical и Elektrobit представили EB corbos Linux, редакцию Ubuntu для автомобильных систем
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/59364-linux
Ключевые слова: linux
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (285) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.2, Аноним (2), 10:19, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –9 +/
    Проблемы сертификации, хаотичности и культуры разработки решаются созданием отдельного специального дистрибутива, к чему нет никаких препятствий.
     
     
  • 2.7, Аноним (7), 10:29, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А железо - не проблема?
    Если все действия доверять софту, то вообще можно тогда и не пытаться в надежность.
     
     
  • 3.27, Аноним (-), 11:05, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > А железо - не проблема?

    Многие проблемы на самом деле решаемы. В том числе и учетом что железо может быть и не идеально надежное.

    > Если все действия доверять софту, то вообще можно тогда и не пытаться в надежность.

    Железо может отказать так же как и софт. Там где это важно на этот случай должен быть какой-то план. Скажем резервирование систем. И какая разница, железо откажет или софт? При transient можно попытаться восстановить работу системы. При permanent - ну, упс, продолжаем уже без этой системы с пониженной надежностью.

     
     
  • 4.145, Аноним (145), 19:09, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    >Железо может отказать так же как и софт.

    Относительно недавний случай: Самолёт спроектирован так, что без ассистента им управлять невозможно, благодаря этому удалось снизить расход топлива. Софт глюкнул из за проблем с датчиком и тянул триммер вниз, пока пилот тянул штурвал вверх. Итог понятен, самолёт влетел носом в землю. Я уверен, что там этих ассистентов было 2(резервирование выполнено) и оба уверенно желали пробурить планету насквозь.

     
     
  • 5.149, Аноним (149), 19:57, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    И чего? Хренова куча самолетов убились по причинам от отпавших тросиков и проводочков этого паучьего месива до пилотов которые в том месиве приборов не смогли вообще понять в чем проблема, кто из кучи разных показаний врет - и тоже пробурили планету. Про небезопасные маневры и превышения параметров даже упоминать неудобно, этого вооооон там длинный список в той же википедии. И вообще, более 50% инцидентов это human factor. Человек самый проблемный и ненадежный элемент технических систем.
     
  • 3.42, Аноним (42), 11:28, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Если ты думаешь, что железячники делают всё тип-топ и надёжно, то я тебя разочарую, но они такие же говноделы, которые ещё и любят скинуть проблемы с результатом их работы на программистов со словами "да они просто в коде в коде это поправят и всё".
     
  • 3.131, Аноним (131), 17:54, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >SpaceX использует Linux и обычные x86-процессоры в Falcon 9

    https://opennet.ru/53083-falcon9

     
  • 2.9, tty0 (?), 10:31, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Они про ядро и его модули говорят. Не хотят они ничего создавать с нуля, хотят брать готовое или портировать уже имеющееся и тут возникают проблемы.
     
     
  • 3.106, Аноним (106), 15:55, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Мне тоже первое что в гоолову пришло - не нравится Линукс, напишите своё, удовлетворяющее всем потребностям.
     
     
  • 4.169, Аноним (169), 00:57, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Зачем писать свое можно купить QNX там есть все что они хотят.
     
     
  • 5.236, Аноним (149), 17:11, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Зачем писать свое можно купить QNX там есть все что они хотят.

    Если посмотреть фичи линуха и qnx то можно заметить что в qnx их "несколько" меньше. Ну скажем в qnx есть реализация эзернета с 0-м временем рекавери путем закольцовки систем с 2-я интерфейсов? При том зачем эйрбасу такая конструкция нужна бывает - несложно догадаться. И в линухе нанять ядерных кодеров да допрогать - вариант. А в qnx - ну попробуйте это.

     
     
  • 6.270, Аноним (169), 02:01, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну это можно дописать, а вот что с верифицируемостью,надежностью, модульностью и всем прочим в линуксе? За сколько можно дописать?
     
     
  • 7.271, Аноним (149), 04:19, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да Ну покажите это Может еще за разумные сроки и деньги А то еще и с адекватн... большой текст свёрнут, показать
     
  • 3.141, Аноним (141), 18:20, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Если чего то хочешь , то вложись деньгами или наими кодеров. А то хотят плюшки и притом что бы кто то это сделал за них. Халявщики. Многие компаний это поняли и пилят нужные им фичи сами. Google, Facebook , Amazon и другие.
     
  • 2.10, n00by (ok), 10:32, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    В данном случае Linux - это ядро, а не дистрибутив.
     
     
  • 3.21, Аноним (21), 10:52, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Оформляешь ядро тарболом и вот уже ядро -- дистрибутив. Магия какая-то, не иначе.
     
     
  • 4.29, n00by (ok), 11:06, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Перефразирую: в докладе говорилось о проблемах разработки ядра, а не собранного из исходников пакетика.
     
     
  • 5.48, Аноним (21), 11:39, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Автор утверждает, что это всё вопрос создания отдельного специального "пакетика", не более.
     
     
  • 6.50, n00by (ok), 11:41, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Порадуете цитатой?
     
     
  • 7.53, Аноним (21), 11:47, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >Проблемы сертификации, хаотичности и культуры разработки решаются созданием отдельного специального дистрибутива, к чему нет никаких препятствий.
     
     
  • 8.58, n00by (ok), 11:52, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Так это автор комментария утверждает нет чёткого плана развития, заранее опред... текст свёрнут, показать
     
     
  • 9.63, Аноним (21), 12:04, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Это надуманные проблемы У QNX всё это было, ну и где она сегодня ... текст свёрнут, показать
     
     
  • 10.65, n00by (ok), 12:09, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Оформляешь свой вопрос тарболом и вот уже он -- дистрибутив Магия какая-то, не ... текст свёрнут, показать
     
  • 10.69, Абра (?), 12:13, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Система развивается Пару лет назад был свежий релиз Или Вы что то другое имели... текст свёрнут, показать
     
  • 5.81, Аноним (81), 12:45, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Проблемы высосаны из одного места RTOS проходят специальную сертификацию, созд... большой текст свёрнут, показать
     
     
  • 6.82, Аноним (81), 12:46, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >[оверквотинг удален]
    > не имели?
    > Я не в защиту linux и его применения, мне пофиг, но предъявы
    > какие-то попсовые, дутые, рассчитанные на гумунтиратиев.
    > А вот это ещё что такое: "...хаотичность (нет чёткого плана развития, заранее
    > определённой архитектуры и требований к системе), отсутствие должной культуры разработки..."?
    > Им не нравится открытая система разработки выходит, и что это за отсутствие
    > должной культуры, корпоративной-соборной, когда всё в руках одного "вождя"? Или тансгендерных
    > негров недостаточно?
    > Звучит так, будто ребята совершенно ошиблись адресом и теперь хотят из змеи
    > сделать жирафа, да ещё и с предъявой.

    *рассчитанные на гумунитариев

     
  • 6.107, Аноним (106), 15:58, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >А вот это ещё что такое: "...хаотичность (нет чёткого плана развития, заранее определённой архитектуры и требований к системе), отсутствие должной культуры разработки..."?

    Им не нравится открытая система разработки выходит, и что это за отсутствие должной культуры, корпоративной-соборной, когда всё в руках одного "вождя"? Или тансгендерных негров недостаточно?

    Они хотят чтобы весь Линукс писали исключительно только для них одна единственная контора.

     
     
  • 7.154, Аноним (149), 20:30, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Вообще называя вещи своими именами у них и правда нет некоторых элементов той культуры. Скажем они antibug coding практикуют далеко не в самом жестком стиле и нет хорошо формализованых критериев описывающих чайникам DOS и DONTS. Поэтому зашивающийся корейский кодер на которого спихнули F2FS и ksmbd в одну рылу - гребет 2 галерами как умеет, при том даже не имеючи какого-то гайдлайна на тему откровенно провальных действий. Ну и получается как вон тут гражданин ссылочку на CVE прислал, что как бы не айс.
     
  • 6.189, n00by (ok), 10:06, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Они обозначили проблему Следующим шагом предложат способы её решения При этом ... большой текст свёрнут, показать
     
  • 3.25, Аноним (7), 11:00, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Сборки?
    Может еще использовать SteamDeck для этого
    Отсылка в сторону батискафа если что
     
     
  • 4.49, n00by (ok), 11:40, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Батискаф, это Титан? Виноват оказался Линукс, что ли? Если так, примите поздравления. Конспирологи утверждают, что его утопили намеренно.
     
     
  • 5.64, Аноним (21), 12:06, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    В линуксах геймпады нормально не поддерживаются, это всё враки.
     
  • 5.108, Аноним (106), 16:00, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Я бы продолжил делать "батискафы" из консервных банок, сажать туба представителей мировой элиты.
    На самом деле просто людям-рыбам не нравятся туристы.
     
  • 5.115, Аноним (115), 16:38, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А что бы и нет? Может на нем к северным потокам ныряли,а теперь следы замели.
     
     
  • 6.187, n00by (ok), 09:56, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Так давайте развивать конспирологию.
    Допустим, ныряли, заметают.
    То есть утопили ненужное и заодно Линукс.
     
  • 6.220, Аноним (220), 15:36, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    В аренду сдавали этим русским?
     
  • 4.112, Аноним (112), 16:19, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Может еще использовать SteamDeck для этого

    Для управления атомными субмаринами контроллеры от иксбокса используют, так что почему бы и не стимдек? Да и самолёты современные давно не на тросиках летают, всё электронное, и джойстик в Аэрбасе куда ближе к логитеховскому, чем ты думаешь.

     
     
  • 5.188, n00by (ok), 09:58, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    На джойстике в Аирбасе стоят переменные резисторы, с которых гарантированно стачивается токопроводящий слой?
     
     
  • 6.197, Аноним (197), 11:59, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Они могут и в сервисный регламент прописать - менять каждые X часов Без этого... большой текст свёрнут, показать
     
     
  • 7.205, n00by (ok), 12:31, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это домыслы, или Аирбас действительно такое фуфло?
     
     
  • 8.210, Аноним (197), 13:44, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Полустеб ессно, скорее всего джой там покапитальнее Но тривиальные компоненты з... текст свёрнут, показать
     
  • 4.118, Аноним (149), 17:03, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Отсылка в сторону батискафа если что

    По-моему у батискафа были проблемы по линии сопромата или катастрофического отказа. Простите, но допустим корпус не способный выдержать давление никакой линукс не скомпенсирует при всем желании. Более того - с пафосным QNX он развалится ничем не хуже. А как показал пример боинга и FAA, можно иной раз и откровенно глюкавый софт сертифицировать - и потом приложить 2 самолета о землю. Тогда, конечно, сертификат отзовут взад а баг придется чинить...

     
  • 2.248, dannyD (?), 17:33, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >>Проблемы сертификации, ....... решаются созданием отдельного специального дистрибутива...

    НЕ решаются в принципе, от слова "никак".

    в презенташке (третья ссылка) упомнается DO-178, почитайте на досуге.

     

     ....большая нить свёрнута, показать (42)

  • 1.3, Avririon (ok), 10:23, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    Надо юзать BSD

    /конец конференции.

     
     
  • 2.5, Аноним (7), 10:25, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Дело не только в софтверной части
     
  • 2.15, Аноним (15), 10:44, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Попробуй, расскажешь как оно. Если чо, я тоже поюзываю. И потому, никому бы рекомендовать бзд не стал.
     
     
  • 3.109, Аноним (106), 16:00, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –4 +/
    Поюзывай молча.
     
  • 3.302, Аноньимъ (ok), 13:42, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Несколько лет назад словил баг с сетевой картой челсио, при создании виртуальной карты вылетает ошибка, после чего операционная система вовсе не паникует, а начинает случайные данные записывать в случайные файлы.
     
  • 2.31, Аноним (31), 11:11, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Надо юзать BSD

    И это будет лучше - ну вот конкретно чем и по каким пунктам?

    Можно сказать чем это будет хуже. Непопулярные системы, с мизером разработчиков, меньше фич, жесткому реалтайму даже не пытаются соответствовать (под линух есть патчи RT_LINUX и их большая часть уже замайнлайнили, но еще несколько - таки осталось). Тестовой инфраструктуры вообще толком нету, а о качестве кода говорит например попытка комитнуть кривой вайргад в фрибсд, или шоу с безопасностью виртуалок в OpenBSD где VM могла патчить кернелмод хоста нахаляву. А если этот софт по авиационным стандартам на лажу прозвонить... ух ну и трындец же там будет имхо.

     
     
  • 3.44, Аноним (44), 11:29, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Зато можно будет хвастаться я пропатчил самолет на FreeBSD.
     
     
  • 4.116, Аноним (149), 16:47, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Зато можно будет хвастаться я пропатчил самолет на FreeBSD.

    Только чур вы и будете тестовым манекеном для своих патчей...

     
  • 3.91, Аноним (91), 14:07, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Классическое Уже почти да, но еще нет, но вот уже совсем скоро Т е то ч... большой текст свёрнут, показать
     
     
  • 4.117, Аноним (149), 16:59, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Скоро сказки сказываются, да не скоро дело делается У бсдей хотя-бы шедулеры с ... большой текст свёрнут, показать
     
     
  • 5.139, Аноним (91), 18:17, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Какая очередная многословная вариация почти да, но еще нет и рен его знает, ... большой текст свёрнут, показать
     
     
  • 6.152, Аноним (149), 20:26, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Судя по тому что я вижу - с приличной вероятностью будет А вы имели предложить ... большой текст свёрнут, показать
     
     
  • 7.159, Аноним (91), 21:46, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    В общем, опять много пафоса и попытка заболтать реальность в которой тот код та... большой текст свёрнут, показать
     
     
  • 8.201, Аноним (197), 12:16, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    В которой ваши бсды никому на фих не нужны, но вы аж кюшать не можете и все вр... большой текст свёрнут, показать
     
  • 5.171, Аноним (171), 02:52, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Мало ли какой мафиози прожмет код авторитетом а принципиальный чел типа автора вайргада в этот раз не попадется?!

    https://www.opennet.dev/opennews/art.shtml?num=55000 - я просто оставлю это здесь

     
  • 3.95, sergeyb (ok), 14:28, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Тестовой инфраструктуры вообще толком нету

    Для OpenBSD - http://bluhm.genua.de/.
    К слову открытое полноценное тестирование для Linux ядра начали делать не так уж и давно и это при их бюджетах.

     
     
  • 4.207, Аноним (207), 12:39, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >К слову открытое полноценное тестирование для Linux ядра начали делать не так уж и давно и это при их бюджетах.

    Э, тестирование линукс ядра. У одного только оракела несколько тысяч часов тестов линукса исполняется ежесуточно. А там еще куча корпораций разрабов линукса.

     
     
  • 5.209, sergeyb (ok), 12:58, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >>К слову открытое полноценное тестирование для Linux ядра начали делать не так уж и давно и это при их бюджетах.
    > Э, тестирование линукс ядра. У одного только оракела несколько тысяч часов тестов
    > линукса исполняется ежесуточно. А там еще куча корпораций разрабов линукса.

    Они тестируют то, что нужно их клиентам. И Оракл, и Каноникал, и Редхат поверх ванильного ядра накладывают свои патчи и тестируют уже другое ядро. К тому же, это закрытое тестирование и ничего о нем детально неизвестно (какое железо, какое тестовое покрытие, какие виды тестов и т.д.).
    Поэтому я все таки говорил про открытое тестирование (kernel-ci.org), которое появилось недавно. Результаты на kernel-ci предоставляют все необходимую информацию о тестировании.

     
     
  • 6.249, Аноним (207), 17:36, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >Они тестируют то, что нужно их клиентам.

    Оракел сейчас и есть сам клиент линукса. На линуксе крутят свое облако, для него линукс и пилят, собственно.

     
  • 3.206, Аноним (207), 12:33, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >И это будет лучше - ну вот конкретно чем и по каким пунктам?

    Драверы в пространестве пользователя, например (netbsd)

    >Можно сказать чем это будет хуже. Непопулярные системы

    Непопулярные где? В IT-базаре? В этом случае, это скорее плюс, меньше бедлама, который творится вокруг разработки линукса.

    > с мизером разработчиков, меньше фич, жесткому реалтайму

    Это не проблема в лавочках, где *bsd юзают в качестве основы, разрабов там сколько хочешь.

     
     
  • 4.229, Аноним (229), 16:21, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Драверы в пространестве пользователя, например (netbsd)

    А они вообще есть? Например, для WiFi ax. Ладно, хотя бы для ac.

     
  • 4.255, Аноним (149), 17:51, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    1 А что это дает Возможность перезапустить драйвер Ух, блин, а сбой драйвера ... большой текст свёрнут, показать
     
  • 2.59, Аноним (59), 11:57, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Вообще-то есть формально верифицированные ОС. Несколько лет назад китайцы такую сделали.
     
     
  • 3.202, Аноним (197), 12:18, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Вообще-то есть формально верифицированные ОС. Несколько лет назад китайцы такую сделали.

    С ними есть 1 мелкая проблема. Это как правило примитивные тасксвичеры которые нихрена не умеют. Нечто более сложное формальной верификации не поддается. А то что ответственность просто перепихнули на других, кодящих вон то, недостающее - это круто, конечно, но делу не помогает.

     

     ....большая нить свёрнута, показать (23)

  • 1.4, Аноним (7), 10:24, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +22 +/
    Там где нужна в крайней степени надежность, не должно быть никаких систем с Linux, Windows, MacOS и т.д. Это вообще на самом деле про другое. Проще говоря универсально решения в этом случае нет
     
     
  • 2.6, Аноним (6), 10:29, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    >не должно быть никаких систем с Linux, Windows, MacOS

    А собственно почему не должно? Попробуйте аргументировать.
    >Проще говоря универсально решения в этом случае нет

    Наверное вы пробовали его найти, раз так утверждаете?

     
     
  • 3.13, Аноним (7), 10:40, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Это больше про большие объемы вычислений: выдриссированы под пользовательские системы с относительной низкой отзывчивостью. А значит в специфике среднее значение специалистов будет под сервера и клиент-серверные установки.
     
     
  • 4.19, Аноним (6), 10:51, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Про системы с высокой "отзывчивостью" вы видимо не в курсе? Про специальные линуксы, используемые в промышленности тоже не в курсе? Тады ой. Судя по общим словам - вы не специалист. Зачем тогда в диалог лезете?
     
     
  • 5.23, Аноним (7), 10:56, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +7 +/
    Специальные линуксы не подходят под требования в авионике. Новость читали?
     
     
  • 6.30, Аноним (6), 11:10, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Ну так и обсуждайте новость в чем проблема! Я же не лезу на форум лингвистов или рыбаков со своим ценным мнением. Почему тут то всегда какие-то мамины попросëнки вылезают и рассказывают общими словами что в индустрии должно быть, а чего нет?
     
     
  • 7.110, Аноним (106), 16:03, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Потому что могут! Нет он как бы того этого опен!
     
  • 6.89, Аноним (89), 13:59, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    В новости сказано, что теорию о ненадехности линукса высказали специалисты фирмы Боинг. На минуточку, это те самые люди, которые до сих пор борются с проблемами ПО в космическом корабле Старлайнер, а еще есть такой самолет Боинг737МАХ у которого вообще нет проблем с ПО, но пара самолетов упала
     
     
  • 7.113, Аноним (112), 16:23, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    А твои самолёты как летают не похвастаешься? Боинг немного отличается в мелочах от твоей фанерки склееной в клубе авиамоделистов.
     
     
  • 8.128, Аноним (149), 17:48, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А что, тот анон смог написать полетный софт хотя-бы фанерке ... текст свёрнут, показать
     
  • 7.175, Аноним (175), 06:46, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Когда упали? Что-то не слышал в последнее время о катастрофах
     
     
  • 8.178, Аноним (178), 07:53, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ребят, мне прям льстит, что вы меня с боингом сравниваете, буду стараться По по... текст свёрнут, показать
     
  • 8.212, Аноним (197), 14:12, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да вот есть у боинга чудная подсистемка, MCAS - https en wikipedia org wiki Ma... большой текст свёрнут, показать
     
  • 3.32, Аноним (32), 11:15, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Совершенно внезапно хардверные вопросы должны решаться в первую очередь с хардверной стороны, инженерные с инженерной. А дистрибутивчики - это больше про медиасистемы и картинки показывать. А то народ уже хочет прокладку между креслом и монитором использовать чуть ли не для решения проблем с загоревшимся двигателем
     
     
  • 4.126, Аноним (149), 17:34, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Картинки разные бывают Glass cockpit - тоже как бы картинки показывает А вот е... большой текст свёрнут, показать
     
  • 3.146, Аноним (145), 19:19, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    >>не должно быть никаких систем с Linux, Windows, MacOS
    >А собственно почему не должно? Попробуйте аргументировать.

    Вы можете математически доказать, что они будут делать только то, что от них ожидают? То есть доказать, что код не содержит ошибок и уязвимостей? Конечно нет, поэтому в таких системах должно быть как можно меньше кода. Любая ошибка может стоить жизни сотням людей и принести ущерб в сотни миллионов $. Никакая экономия на программистах не сможет окупить и одну ошибку в коде. Ну и пишут надёжный код не на Си и даже не на Rust, пишут на языке Ada.

     
     
  • 4.170, Бывалый смузихлёб (?), 02:44, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Как и зачем можно математически доказать что-то для исходников, учитывая, что они потом компиляюццо и в самом железе могут происходить всякие внезапности ?

    Всякие ОСРВ в т.ч для медицинского и иного с повышенными требованиями применения аккурат на сишке обычно и написаны

    А аду ту мало того что на чем-то запускать надо, так нет никаких гарантий что обработчик прерываний отработает за определенное небольшое количество тактов

    А по поводу окупаемости ошибок в коде, так тот самый боинг наглядно показал что вертел он последствия тех ошибок

     
     
  • 5.233, U202204161753 (?), 16:55, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    (
       " Читал SMS -ку, много думал "
    А потом решил уточнить
    )

      Интересно, что именно неожиданного в мажоритарном вычислителе 3 плюс один, памяти с ECC и коррекцией ошибок и всём во  этом на сапфире с золотыми контактами и керамической платой может произойти?

    Всё что только можно придумать - уже ожидаемо.

      Далее - возможно, несвязанное:

    Ada SPARK , шведы, сертифицированное для управления сердцем - читали?


    P.S.

    У пишущих на Си, скорее всего, не хватает базового образования.

    Или чувства самосохранения.

    Или всякие коррупционные схемы, т.е ложная уверенность, что их-то не посадят

     
     
  • 6.238, Аноним (149), 17:17, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > P.S. У пишущих на Си, скорее всего, не хватает базового образования.

    Учитывая что на сях написано большая часть фирмвар в том числе на транспорте, например, automotive и последние линии защит в упрвлении опасными процессами то? Конечно "тойота" иногда случается, особенно как раз у любителей ртосов понавороченнее которые использование стека оценить не могут и выносят блок переменных за ним. Ну так и ариан5 случается. А общего у них то что и те и другие забили на best practices.

     
     
  • 7.250, U202204161753 (?), 17:38, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    С Ариан-5 всё было не так Я когда искал исходные коды к этому инцидент... большой текст свёрнут, показать
     
     
  • 8.260, Аноним (149), 18:13, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Я расследователям верю несколько больше чем случайным фэйсам с опеннета В любом... большой текст свёрнут, показать
     
     
  • 9.279, U202204161753 (?), 10:58, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Про Ариан-5 постараюсь организовать репост конкретики Т е , в отличие ... текст свёрнут, показать
     
     
  • 10.284, Аноним (197), 17:05, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    На мой вкус - в целом примерно то же самое что и у арианщиков, т к трэш в орган... большой текст свёрнут, показать
     
  • 4.190, Игорь (??), 10:09, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >> Ну и пишут надёжный код не на Си и даже не на Rust, пишут на языке Ada.

    Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали? "Ракета разрушилась на 40-й секунде полёта из-за неверной работы бортового программного обеспечения". "Этот неудачный запуск стал одной из самых дорогостоящих компьютерных ошибок в истории." "центральный полетный модуль - 60 тысяч строк кода на языке Ада"

     
     
  • 5.193, Аноним (145), 10:25, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали?
    > "Ракета разрушилась на 40-й секунде полёта из-за неверной работы бортового программного
    > обеспечения". "Этот неудачный запуск стал одной из самых дорогостоящих компьютерных ошибок
    > в истории." "центральный полетный модуль - 60 тысяч строк кода на
    > языке Ада"

    А теперь представь, что их не 60 тысяч, а 30 миллионов и без какого либо статического анализа. Будет лучше?

     
     
  • 6.204, Аноним (197), 12:26, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > А теперь представь, что их не 60 тысяч, а 30 миллионов и
    > без какого либо статического анализа. Будет лучше?

    Ну вообще, корабли Маска вроде на МКС вроде летают, вот как раз с линухом. И почему без анализа? Линух много кто на автомате сканит, тестит, и много чего еще. Знаете что такое syzkaller? А есть такая вещь как syzbot, это пачка syzcaller'ов fuzz'ит кернел, а словив какой-то факап авто-бисектит до проблемного комита и даже ругается в рассылку и показывает на редиску пальцем.

     
     
  • 7.234, U202204161753 (?), 17:03, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > пачка syzcaller'ов fuzz'ит кернел

    А я вот то ли у Э. Дейкстра, то ли у Хоара читал, что тестирование не показатель отсутствия ошибок.

    Т.е. ошиблись классики ?

    ( что-то "нутром чую - литр будет" и не ошиблись. И не зря с полсотни докторов наук Гриса переводили.

    Причём вышло лучше, чем в оригинале на Globish)

     
     
  • 8.252, Аноним (149), 17:44, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Для себя я предпочитаю верить своим глазам и думать своим мозгом И я вижу что в... большой текст свёрнут, показать
     
     
  • 9.275, U202204161753 (?), 10:34, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А каким рентгеном или ультразвуком не удастся просвечивать тросы Сами пи... текст свёрнут, показать
     
     
  • 10.280, Аноним (197), 12:04, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    По всей длине В том нагромождении С каким-то более-менее гарантированным вывод... большой текст свёрнут, показать
     
  • 5.227, U202204161753 (?), 16:16, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Про надежный код на Аде - смешно. Про взрыв ракеты Ариан-5 слышали?

    Вот только Ada там ни при чём.
    Т.е. код, конечно же, на ней, а вот причина организационная.

    Материалы - общедоступны

     
  • 2.43, Аноним (43), 11:29, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Эти системы некорректно ставить в 1 ряд Первое вполне годится для автоматически... большой текст свёрнут, показать
     
     
  • 3.47, U202204161753 (?), 11:38, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Windows NT 4.0 Embedded летает на спутниках.
     
     
  • 4.51, Аноним (51), 11:44, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Так вот почему с ними вечно какие-то проблемы. То двигатель не заведется, то панели не раскроются, то еще что-то. Теперь то всё встало на свои места
     
     
  • 5.71, Аноним (44), 12:14, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Теперь то стало понятно как они так умудряются работать с превышением срока службы и приносить пользу человечеству.
     
  • 5.87, U202204161753 (?), 13:12, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Они же "неместные" Ж-)
     
  • 4.119, Аноним (149), 17:09, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Windows NT 4.0 Embedded летает на спутниках.

    Given enough thrust pigs fly just fine...

     
     
  • 5.136, U202204161753 (?), 18:11, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > 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."

     
     
  • 6.165, _ (??), 22:47, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Мгимо финишд? Хав мач вач?

     
     
  • 7.232, U202204161753 (?), 16:37, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Разве что 149-ый аноним, тот закончил если не МГИМО, то школу с английским уклоном.

    Но нынче эпоха ИИ / GPT.

    Так что знание про правильный перевод на Globish фраз типа
    "При достаточном тяготении свиньи летают вполне нормально", несколько обесценилось Ж-)

     
  • 3.83, Аноним (83), 12:50, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ну ты сравнил фундаментальную отрасль с тысячами жизней на кону и пет проект Илончика.
     
     
  • 4.122, Аноним (149), 17:14, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Пет проекты Илончика пускают чертову кучу недешевых спутников на орбиту и даже в... большой текст свёрнут, показать
     
     
  • 5.143, beck (??), 18:43, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > когда у вас вместо 1 шины дикое месиво тросиков, контактов и проч

    Гораздо более дикое месиво (на порядки) тросиков, контактов и проч закопано в процессорах и софте.

     
     
  • 6.208, Аноним (197), 12:40, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Оно не отваливается и не перетирается от тряски и вибрации, в отличие от того ба... большой текст свёрнут, показать
     
     
  • 7.240, U202204161753 (?), 17:20, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > если пилот не выспался или ситуация нервная/нестандартная. А компьютеру похрен, он циферки сравнит и выводы о датчиках сделает.

      "Не очеловечивайте компьютеры - они этого страсть как не любят".

    Т.е. как там у Э.Дейкстра ?

    Про признак чего-там при использовании антропоморфной лексики в отношении ЭВМ?

    (
       Заодно и советский полу-учебник "Простое и сложное в программировании" будет повод перечитать Ж-)
    )

     
     
  • 8.261, Аноним (149), 18:37, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Будущее принадлежит разумным машинам имхо А может и гибридным частично органиче... текст свёрнут, показать
     
     
  • 9.277, U202204161753 (?), 10:39, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    на всякий Т е ту книгу читали неожиданно Но там ИИ, скорее жёстко к... текст свёрнут, показать
     
     
  • 10.282, Аноним (197), 13:27, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Не факт, но ряд идей достаточно распостранен в sci-fi и у продвинутых спецов Ко... большой текст свёрнут, показать
     
  • 7.257, U202204161753 (?), 17:59, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    P.S.

      Пока не забыл:

    > если вон там прицеплено 3-4 одинаковых датчика, можно проблемный заигнорить на автомате.

    Только их почему-то 2 ( два) датчика.

    И есть тумблер, которым надо вручную выбрать исправный.


    P.S. У французов - больше двух.

    Но, если постараться, то можно:
    -- в мороз
    -- сразу после полива на датчики антиоблединителя, т.е. со льдом в трубках
    -- взлетев метром на 300 .. 700, сказать дружбанам, а "зацените как автопилот нас спасёт" спикировать к земле.

    И много датчиков не поможет.

    P.P.S.

    Пилотам же с "базовым образованием"- помогает

     
     
  • 8.265, Аноним (149), 19:12, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это плохое инженерное решение чтобы понять какой датчик врет очень желательно ч... большой текст свёрнут, показать
     
     
  • 9.278, U202204161753 (?), 10:42, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да, полностью согласен и, примерно на это же, прозрачно намекал ... текст свёрнут, показать
     
  • 5.196, Аноним (196), 11:59, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > и даже возят астронавтов на мкс

    Поревозят десятки тысяч людей ежегодно, как тот же боинг?

    > И пока вроде достаточно успешно.

    Пока у пет проекта Илончика летных часов за всю жизнь спейсов меньше, чем у самолетов боинга в день. Что как бы намекает, у кого точней статистика отказоустойчивости, не?

     

     ....большая нить свёрнута, показать (51)

  • 1.8, n00by (ok), 10:30, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    > хаотичность
    > отсутствие должной культуры разработки

    Надо понимать, что это смягчённые и соответствующие CoC-ам формулировки.
    И ведь говорится про ядро, где собраны лучшие специалисты, архитекторы, кодеры, а не просто майнтайнеры и сборщики пакетиков.

    Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.

    "1 января 2012 года Underwriters Laboratories преобразовалась из некоммерческой организации в коммерческую компанию в США. Новая дочерняя компания, названная просто UL LLC, корпорация с ограниченной ответственностью, взяла на себя бизнес по тестированию и сертификации продуктов Underwriters Laboratories."

    "Underwriters Laboratories (UL) — это глобальная некоммерческая научная компания по безопасности, в которой работает более 14 000 человек, которые живут в 40 странах."

     
     
  • 2.36, Шарп (ok), 11:19, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >где собраны лучшие специалисты

    Вход в разработку ядра свободный. Буквально. Так что ваше заявление ни на чём не основано. Там проходной двор и слепая надежда, что майнтейнер подсистемы увидит проблему до принятия патча.

     
     
  • 3.46, n00by (ok), 11:37, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Моё заявление основано на собственном опыте:

    Коммит в ядро как минимум проходит формальное ревью, и проверяющий подписывается. Без этого код так и останется в рассылке.

    Коммит в дистрибутивы - это башпрограммист, не способный сам добавить (в смысле - написать) требуемый функционал, находит что-то похожее где попало и пихает в пакетик.

    То есть "лучшие" означает не "вообще лучшие", а из "мира Линукс". И в других подсистемах всё куда хуже.

     
  • 3.57, Анониминона (?), 11:52, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Спросите разрабов Байкала, насколько он свободный
     
     
  • 4.70, Аноним (44), 12:14, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Байкал полностью несвободный.
     
     
  • 5.77, n00by (ok), 12:22, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Никто толком не знает, что такое свобода. Требуется целый Ричард Столлман, что бы объяснить, что это не про бесплатное пыво. Зато если Underwriter Laboratorie обяжет коммитеров проходить сертификацию, можно и свободу не трогать, и заодно китайцев отшить.
     
  • 2.73, Sw00p aka Jerom (?), 12:17, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +5 +/
    >где собраны лучшие специалисты, архитекторы, кодеры

    :))))))))))))) спасибо поржал

     
     
  • 3.76, n00by (ok), 12:20, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Хотел сначала написать "из мира СПО", не не стал. Все знают™, что СПО - это самое лучшее. ;)
     
  • 2.123, Аноним (149), 17:20, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.

    Можно угадать с 1 попытки: будут тестировать это и сертифицировать. Чем еще UL заниматься может?! А чтобы вон то делать надо как минимум нефиговое понимание предметной области. Логично вроде.

     
     
  • 3.185, n00by (ok), 09:46, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >> Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.
    > Можно угадать с 1 попытки: будут тестировать это и сертифицировать. Чем еще
    > UL заниматься может?!

    Это, как говорится, понятно и ежу.
    Вопрос в том, какая цель у столь недешевой деятельности, и к чему приведёт: полетит ли Линукс в космос или мусорную корзину.

     
     
  • 4.266, Аноним (149), 19:33, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    ИМХО, 1 Послать негибкие проприетарные решения и жесткий вендорлок в пень, как... большой текст свёрнут, показать
     
  • 4.312, Прыгающий Ленивец (?), 16:27, 07/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А кажись у spacex ui какой-то на электроне написан. Так что уже полетел
     
  • 2.137, Аноним (137), 18:14, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > И ведь говорится про ядро, где собраны лучшие специалисты, архитекторы, кодеры, а не просто майнтайнеры и сборщики пакетиков.

    Лучшие?? Это поэтому в ядре так много тупейших ошибок, быдлокодинга и мягко говоря сомнительных архитектурных решений?

     
     
  • 3.186, n00by (ok), 09:51, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >> И ведь говорится про ядро, где собраны лучшие специалисты, архитекторы, кодеры, а не просто майнтайнеры и сборщики пакетиков.
    > Лучшие?? Это поэтому в ядре так много тупейших ошибок, быдлокодинга и мягко
    > говоря сомнительных архитектурных решений?

    Ну да. Если бы ядро писали башпрограммисты дистрибутивов и майнтайнеры CoC-ов, ошибки были бы исключительно умные - грамматические и пунктуационные.

     
  • 2.246, Аноним (112), 17:29, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > И ведь говорится про ядро, где собраны средние специалисты, архитекторы, кодеры […]

    Поправил, не благодари. Большая часть кода любого проекта написана самыми обычными, средними по скиллам и когнитивным способностям людьми. В айти существует миф о том, что надо быть восьми и более пядей во лбу, чтобы создать что-то стоящее. Но в реальности гении способные создать вообще хоть что-нибудь встречаются крайне редко.

    > Интересно, зачем компании с двухбуквенным доменом в зоне com всё это надо.

    Там написано в конце зачем: «доступность специалистов (проще найти компетентных разработчиков и людей, понимающих код)».

     
     
  • 3.274, n00by (ok), 08:18, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Это заявление для публики Не всегда цели декларируемые и реальные совпадают Са... большой текст свёрнут, показать
     
  • 3.283, Аноним (197), 13:55, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Большая часть кода любого проекта написана самыми обычными, средними
    > по скиллам и когнитивным способностям людьми.

    В случае кернела с этим немного тухловато. Что самое плохое случится если вы в апликухе или сайтике налажаете? Ну, упадет может. Исправите код да перезапустите. А в ядре - кернелпаник весьма неприятный эвент на чем-то ценном. И таки заставит кодить значительно аккуратнее, обдуманнее и - в целом лучше чем вон те. А если вы так не могли, то скорее всего задолбаетесь, разочаруетесь и пойдете заниматься чем-то другим.

     

  • 1.11, X (?), 10:36, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Вроде спейсx летает на линуксах, у них правда что-то взрывается постоянно, и не так много полётов, как у Боинга, но интересно там везде Линукс или в критически важных системах своё
     
     
  • 2.22, Аноним (22), 10:54, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > что-то взрывается постоянно

    Да вроде пока ничего не уронили.

     
     
  • 3.84, Аноним (83), 12:53, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да, один раз тупо взорвали спутники на старте, а в другой потеряли на не той орбите. Правда, это давно было.
     
  • 3.203, Аноним (196), 12:22, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Да вроде пока ничего не уронили.

    Все три первых фалкона взорвались вместе со спутниками.
    SpaceX CRS-7 вместе с Dragon красиво фейерверком разлетелись в небе над Флоридой.
    Orbcomm-G2 передает привет из состава подводной группировки спутников.

    Странное у вас какое-то "пока ничего".

     
     
  • 4.299, Аноним (299), 04:51, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    И сколько человек в том драгоне погибло? А, нисколько. Это, наверное, потому, что запуск тестовый был.
     
  • 2.24, Аноним (21), 11:00, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    У них ещё нет никакой защиты от радиации, так что софт -- это меньшая из проблем. Ну а так линукс-то -- нереалтайм система с непредсказуемыми задержками, вряд ли везде.
     
     
  • 3.101, fuggy (ok), 15:16, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Существует Linux RT, но проблемы спецификации и драйверов это не решает.
     
     
  • 4.129, Аноним (149), 17:50, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Существует Linux RT, но проблемы спецификации и драйверов это не решает.

    Патчи RT_LINUX уже почти втянули в майнлайн. Думаете чего вон те так активизировались?

     
  • 2.26, Аноним (44), 11:01, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    У них и процессоры не космического класса, а обычные бытовые. Только 3 штук и они считают всё параллельно и сравнивают.
     
     
  • 3.35, Шарп (ok), 11:17, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >и сравнивают

    А если сравниватель откажет?

     
     
  • 4.38, Аноним (44), 11:22, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Задача тебе со звёздочкой подумать что будет. У вас у веб-разработчиков это задачи со звёздочкой считается.
     
  • 4.191, Игорь (??), 10:20, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > А если сравниватель откажет?

    Так эта схема проверена на практике - первый полет Союза с системой автоматического причаливания к космической станции. Стыковку пришлось проводить вручную, т.к. система безопасности отключила по очереди все 3 модуля управления, как выдающие ложные команды. Причина - в систему безопасности заложили неправильные условия проверки команд от модулей управления.

     
     
  • 5.230, U202204161753 (?), 16:29, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Стыковку пришлось проводить вручную, т.к. система безопасности отключила по очереди все 3 модуля управления, как выдающие ложные команды.

    Просто константа "начальная масса корабля" была внесена неправильная.

    Подробнее - см. Черток "Ракеты и люди"

     
  • 4.231, U202204161753 (?), 16:31, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > А если сравниватель откажет?

    На "Шатле" был и пятый компьютер с независимо написаным ПО.

    ПО обеспечивало посадку, но не выполнение всех целей полёта

     
  • 4.290, Alladin (?), 18:56, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Сделай два сравнителя и более)
     
  • 2.85, Аноним (81), 12:59, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Вроде спейсx летает на линуксах, у них правда что-то взрывается постоянно, и
    > не так много полётов, как у Боинга, но интересно там везде
    > Линукс или в критически важных системах своё

    Разгадка проста, Маск юзает бубунту в своих поделиях.

    А вот у космонафтики здорового человека был Debian и ничего плохого не случилось:
    "NASA использует систему Debian на рабочих местах космонавтов МКС[94]. Также NASA применяло систему Debian в экспериментах на шаттле Колумбия[95]."

     
     
  • 3.103, YetAnotherOnanym (ok), 15:25, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Так то "на рабочих местах", это нещитаеца.
     
  • 3.127, X (?), 17:46, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    У наса люди гибли при полёте.
     
     
  • 4.285, Аноним (197), 17:29, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > У наса люди гибли при полёте.

    У боинга тоже гибли. И в CCCР гибли, просто про это в отличие от успехов не далдонили в каждой программе Время. Поэтому про мертвых космонавтов или какого-нибудь Неделина знает/помнит не так уж и много народа. Не означает что всего этого не было.

     
  • 3.181, Гашпшпщм (?), 09:25, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Нормальные Космо(астро)нафты на Арчике и все летает. Дебиан только и подходит, что для ретроградов из насы
     
  • 3.300, Аноним (299), 04:53, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Особенно удачный эксперимент в 2003 году получился.
     
  • 2.291, Alladin (?), 18:58, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Обычно ничего не мешает компоновать контроллеры реального времени с более тупыми бытовыми контроллерами.

    Можно хоть два контроллера одной версии, но с разным назначением (реалтайм rtos и нет на linux..).

    Но и я думаю, что на одном контроллере двухядерном +- можно добиться результатов выше.

     

  • 1.14, Аноним (44), 10:42, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –3 +/
    Хаотичность и отсутствие культуры это то чего никогда не будет в Фуксии, которая скоро заменит все никсовые поделки.
     
     
  • 2.16, Аноним (15), 10:47, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Пусть гулаг её хотя бы снова заопенсорсит, как это в начале было.
     
     
  • 3.17, Аноним (44), 10:48, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Чтобы что? Чтобы создать хаотичность и снизить культуру написания кода? Спасибо не надо.
     
     
  • 4.222, Аноним (220), 15:40, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Чтобы снизить культуру внедрения зондов.
     
  • 2.37, Аноним (32), 11:19, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А там что-то хоть собирается? Там что-то дорабатывается вообще или оно как какие-нибудь типичные окологосовские склады "стабильно" работающие на FoxPro for DOS десятки лет тупо потому что за миску риса и мутную идейку переделывать всю эту помойку никто не будет?
     
     
  • 3.40, Аноним (44), 11:25, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Все голосовые помощники нест хабы принудительно перевели на Фуксию. Потестят сделают хорошо, перейдут на другие устройства. И медленно покроют всё стадо. Даже в сабж новости почитай к ядру слишком много вопросов. Васяны не в состояние в стратегию.
     
     
  • 4.124, Аноним (149), 17:25, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Все голосовые помощники нест хабы принудительно перевели на Фуксию.
    > Потестят сделают хорошо, перейдут на другие устройства. И медленно покроют всё стадо.

    Или быстро закроют проект к хренам, может даже вместе с насестом. Как это бывает с более чем 90% проектов гугли. Особенно когда экономика проседает, так что 20% фуксиков уже как раз и ушло искать новую работу...

     

  • 1.18, Аноним (18), 10:49, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    То ли дело венда...
     
  • 1.20, pashev.ru (?), 10:51, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Сейчас бы Боингу рассуждать о безопасности.
     
     
  • 2.28, Аноним (7), 11:05, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Хардвар - геймпад
    Софтвер - стимОС
    Ох уж эти черномемщики с батискафом
    Сейчас существует реальная проблема - проф. деформации разрабов-коекакеров под такой способ производства, когда фактически работа над фичами важнее любой надежности
     
  • 2.45, Анонус (?), 11:30, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Врача ищет больной, а не здоровый. Именно им и надо рассуждать.
     
  • 2.99, Аноним (99), 14:56, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Так Боинг и рассуждает
     
  • 2.140, Анонин (?), 18:17, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А вот представьте сколько катастроф было бы, если бы на боингах стоял линукс!
    Там в драйвере переменная переполнилась  и завалила ядро, тут оом убил ваш автопилот.
    Ну, это при условии что оно вообще взлетело бы.
     
  • 2.301, Аноним (301), 08:58, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    На сегодняшний день Боинг обладает самой безопасной сертефицированной операционной системой в мире: Boeing's SNS Server. Так что их мнение стоит уважать.
     
     
  • 3.307, pashev.ru (?), 23:45, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > На сегодняшний день Боинг обладает самой безопасной сертефицированной операционной системой
    > в мире: Boeing's SNS Server. Так что их мнение стоит уважать.

    Сколько А320 Нео разбилось? А сколько Б737 Макс?

     
     
  • 4.318, Аноним (318), 12:27, 08/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Самолёты сложная система, бортовое ПО далеко не единстенное место отказа. Там кажись с датчиками косяк был.
     

  • 1.33, Аноним (33), 11:15, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +5 +/
    "Если бы губы Никанора Ивановича да приставить к носу Ивана Кузьмича, да взять сколько-нибудь развязности, какая у Балтазара Балтазарыча, да, пожалуй, прибавить к этому еще дородности Ивана Павловича..."
    (с) Н.В. Гоголь
     
  • 1.39, Анониссимус (?), 11:24, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +16 +/
    Смысл новости непонятен. Многопользовательское, многозадачное ядро общего назначение ВНЕЗАПНО! не подходит для критически важных систем! Я вам каждый день могу такую экспертизу проводить, где мои гонорары?
     
     
  • 2.41, Аноним (44), 11:27, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Ты сначала должность какую-нибудь высокую займи, а потом да твоё капитанство будет каждый слушать открыв рот и бабосы будут.
     
  • 2.56, Аноним (56), 11:52, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Смысл новости очевиден: заставить эту кучу народа бесплатно поработать и на авиацию, как они работают на жругих технологических гигантов за звездочки на гитхаб (зато не как у фрибзд, где лицензия неправильная)
     
  • 2.60, n00by (ok), 12:01, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Сейчас они обозначили проблему, следующим шагом могут захотеть её решать: введут Rust, очень нужную сертификацию или ещё что-то.
     

  • 1.54, Аноним (54), 11:49, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Не надо нам в авиации инноваций и хаотичной культуры разработки. Продать лайнер за сотню миллионов долларов, но съэкономить на хорошей RTOS  - это в духе современных дизайнеров.
     
     
  • 2.100, YetAnotherOnanym (ok), 15:08, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Главное, что этот подход приносит деньги. Цифры продаж Boeing 737MAX не дадут соврать.
     

  • 1.55, Линукс Торвальц (?), 11:50, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Ребят, пользуясь случаем хочу спросить: а что есть из микроядерного для десктопа? Кто чем пользуется?
     
     
  • 2.61, n00by (ok), 12:03, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Пользователей Intel пользует Minix, а про остальных бытуют противоречивые конспирологии.
     
     
  • 3.199, Массоны Рептилоиды (?), 12:01, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какой изящный троллинг
     
  • 2.66, Аноним (44), 12:10, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Тебе уже миллион раз только в этом треде сказали Fuchsia OS.
     
     
  • 3.223, Аноним (220), 15:41, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Фикция всё это.
     
  • 2.96, Аноним (171), 14:40, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    GNU Hurd
     
     
  • 3.166, Аноним (166), 23:23, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты, конечно, с него пишешь?
    Часть вопроса была «кто чем пользуется».
     
     
  • 4.172, Аноним (171), 02:57, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    С него, но оно в виртуалке, запущенной на десктопе
     
  • 2.182, Гашпшпщм (?), 09:29, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Mac os x...
     

  • 1.74, Liin (ok), 12:17, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    > вынос драйверов в пространство пользователя

    Шли годы, десятилетия, а линуксоиды все продолжали выносить драйвера из ядра ).
    Их кто-то туда обратно что-ли вносит? )

     
     
  • 2.92, Аноним (92), 14:13, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Единственная возможность чтобы твои драйвера хоть как-то собирались в новых выпусках ядра, это быть в ядре. Как только ты вынесешь в модуль, то специально для тебя ядро будет каждый выпуск ломать совместимость abi и api для модулей так, чтобы твои модули никогда не работали с новыми ядрами. А ты или забивал на свой модуль, или делал его совместимым лишь с некоторыми версиями ядра.
     
     
  • 3.183, Гашпшпщм (?), 09:33, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Это следствие монолитности, т.е. изначально ущербной модели и узколобости главного пингвина планеты. Ну и толпы баранов, которые вложили в курсовую работу лярды и закрепили идею.
     
  • 2.104, fuggy (ok), 15:43, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Интересно какие такие драйвера в Linux понадобились боингу для мышек, видеокарт или геймпадов. Понятно что вынос драйверов из ядра мы никогда не дождёмся. Чтобы вынести драйвера из ядра проще написать своё ядро. А значит нет смысла рассматривать линукс дальше про соответствие спецификации, культуру разработки и обеспечение качества. Ясно что ядро предназначено для дестопов и серверов, не подходит для систем с повышенной надёжностью. Вот какие из последних изменений в линуксе так нужны в авионике? Патчи в сетевом стеке, исправления для btrfs, новые драйвера для wifi, поддержка LoongArch и Apple M2, улучшение в гипервизоре KVM.
     
     
  • 3.125, Аноним (149), 17:27, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > из ядра проще написать своё ядро.

    Или посмотреть на всякие VFIO например и проч.

     
  • 2.176, edo (ok), 06:47, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Шли годы, десятилетия, а линуксоиды все продолжали выносить драйвера из ядра ).

    разве? обсуждается такая идея — да, такое есть. но вот работы в этом направлении я что-то не помню (во всяком случае чтобы в ванильное ядро попало).

     
     
  • 3.225, Аноним (220), 16:03, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Попытки сделать фреймворк для этого были. И даже сделали - UIO. Вот только на нём основаны раз, два,... и всё, драйверов. В основном, на шине CAN.
     
  • 2.292, Alladin (?), 19:03, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    оужас, уберите..

    Вспомните ntfs драйвер в userspace. И какая там производительность? Аа наверное поэтому его обратно в kernelspace запихнули.

     
     
  • 3.298, Аноним (91), 23:23, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > оужас, уберите..
    > Вспомните ntfs драйвер в userspace. И какая там производительность?

    Такая, что кое-кто в свое время, глядя на результаты бенчей, подломился искать и исправлять торомза в ядерном драйвере Ext?

     
  • 2.313, Прыгающий Ленивец (?), 16:37, 07/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Продолжали? А когда начали-то? stable_api_nonsense.txt все еще в дереве исходников и пока это так никакого выноса драйверов из ядра не будет
     
     
  • 3.314, Liin (ok), 16:55, 07/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Продолжали? А когда начали-то? stable_api_nonsense.txt все еще в дереве исходников и пока
    > это так никакого выноса драйверов из ядра не будет

    Начали еще в 90-х. С тех пор регулярно этот вопрос поднимается.

     

  • 1.75, Аноним (75), 12:20, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Linux летает на Марсе
     
     
  • 2.88, Аноним (88), 13:43, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Там и 98 винда летает (MARSIS, ищи по новостям), это не показатель.
     
     
  • 3.293, Alladin (?), 19:04, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    На марсе поюзать винду 98?) Норм, но кажись лет через 50?
     
  • 2.296, Минона (ok), 22:36, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Уже не летает, батарейки хватило на один полет,
     

  • 1.78, Анонимо11111 (?), 12:25, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    А сейчас что используют?
     
  • 1.79, EuPhobos (ok), 12:26, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    "У Linux проблема в том, что нам нужен не Linux"
     
     
  • 2.97, Аноним (97), 14:50, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ядро не должно знать от железе и тем более управлять им напрямую. Оно должно быть диспетчером. А сейчас как. Вышла видеокарта от X. Добавляем код в само ядро Linux на тысячи строк (привет AMD). Далее добавляем код в Mesa. И так далее.

    Да что уж там. Посмотри раздел keyboard ядра.

    Вот в этом проблема монолитного ядра. И вишенка на торте - ядро и модули в одном пространстве работают.

     
     
  • 3.276, Аноним (-), 10:34, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты начтался Танебаума. Ядро Линукс оптимален.

    >ядро и модули в одном пространстве работают.

    Ты так и ничего не понял. Тебе мозг засрал Эндрю. Проектирование ОС как микросерверной только усложнит внутренюю структуру ядра.

     
  • 3.315, BeLord (ok), 17:13, 07/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Диспетчером может быть и железка, зачем тогда ОС?-))
     

  • 1.90, dannyD (?), 14:07, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    в переводе это называеся - не лезте со своим линуксом куда вас не просят.

    последние несколько лет ( >5 ) появилась тенденция пытаться строить авионику на всяких чипах для телефонов с соответвующим софтом.

    всё это очень интересно, но НЕ сертифицируемо впринципе.

     
     
  • 2.93, Аноним (92), 14:14, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    В беспилотниках везде и рядом. И вроде это даже хорошо.
     
     
  • 3.94, dannyD (?), 14:23, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    только беспилотники не являются основной продукцией Боинга,

    а так - пжалста ;)

     
  • 3.135, Аноним (88), 18:10, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Отказ беспилотника - это не такая уж большая трагедия. В отличие от.
     

  • 1.98, YetAnotherOnanym (ok), 14:53, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    > доступность специалистов

    Этим, вообще-то, можно и ограничиться. Всё остальное о "достоинствах" линуха - словоблудие. Потому то "открытость для повсеместного рецензирования" есть много у кого, например, у RTEMS, которая создавалась специаьно для авионики, "более быстрое развитие, активное продвижение новшеств" - это вообще нихрена не достоинство там, где речь идёт о человеческих жизнях, а "хорошо известный API" - это та же "доступность специалистов", только с другого ракурса.

     
  • 1.102, th3m3 (ok), 15:18, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    И чем тогда они пользуются?
     
     
  • 2.105, Kukish (?), 15:44, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    iOS)
     
  • 2.121, Всем Анонимам Аноним (?), 17:11, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Fuchsia
     
     
  • 3.130, Аноним (149), 17:53, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Fuchsia

    Давай тебе в авионику это поставим? Вот ты тестовым пилотом и поработаешь потом как раз. Пустить тебя полетать на этом. Гденить над океаном, подальше от населенных мест.

     
     
  • 4.151, Аноним (92), 20:08, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Давай ты не будешь больше здесь чушь писать? В авиации так никто не делает. Когда все нормально протестят в Fuchsia тогда и полетят. И всё будет ОК.
     
     
  • 5.213, Аноним (197), 14:22, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Когда все нормально протестят в Fuchsia тогда и полетят. И всё будет ОК.

    Мне почему-то кажется что скорее всего это "когда" определено как "never". Нет к тому предпосылок. Ушибленный фанатизм марки - предпосылкой не является.

     
  • 4.226, Аноним (220), 16:06, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Тестовым пассажиром он будет.
     
  • 2.133, dannyD (?), 18:01, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –2 +/
    >>И чем тогда они пользуются?

    софт пишется на Аде.

     
     
  • 3.262, anonymous (??), 18:53, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Не на, а в.
     

  • 1.111, Аноним (106), 16:08, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    А надо всего лишь разрабатывать программно-аппаратный комплекс и оттачивать   железо в связке с софтом.
    Почему то у Apple хватило мозгов на такую простую идею а у производителей самолётов, не хватило.
     
     
  • 2.144, YetAnotherOnanym (ok), 18:55, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +4 +/
    Подозреваю, производители самолётов именно так всегда и делали, и сейчас пока ещё делают, только - увы, эффективные манагеры и здесь хотят "доступных специалистов", умеющих в "хорошо известный API", причём, желательно - обитающих в какой-нибудь дыре мира, которых можно набрать пучок за пятачок.
     

  • 1.114, Kuromi (ok), 16:37, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Тут возникает один вопрос, а вот Линуксу оно, авионика, оно надо? Претензии "летунов" к Линуксу понятны, нужно "многое поменять" для их удобств, но ради чего? Потом выяснится что "Компания Х заменяет проприетарную RTOS на Линукс в своём дорогущем оборудовании, бла-бла, опенсорц, бла-бла, ценник не изменится, но акции уже пошли вверх на фоне прогноза роста прибыли из-за снижения издержек"?
     
     
  • 2.132, Аноним (149), 17:59, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Линуксу надо то что делают участники процесса Если кто-то решил вписаться делат... большой текст свёрнут, показать
     
     
  • 3.158, Kuromi (ok), 21:40, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Линуксу надо то что делают участники процесса. Если кто-то решил вписаться делать эти работы, никто им запрещать это не будет. Но и помогать - в меру возможностей.

    Я что-то пока не вижу чтобы кто-то вписывался поработать, я скорее наблюдаю предложения и пожелания чтобы кто-то пришел и "сделал красиво" неким закулисным бенефициарам.

    Мы прекрасно видели как оно проявляет себя когда кому-то реально "ННАДА" - и финансирование разработки начинается и патчи внезапные и подвижки навстречу. Пока ничего похожего.

     
     
  • 4.217, Аноним (197), 14:38, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ну как бы некоторые пожелания - вполне разумные и определенные идеи могут и другим понравиться. Код без багов и с предсказуемым поведением в ядре нужен не только в самолетах, мягко говоря.

    А сертификации и проч - вон те как раз и будут как-нить сами. Ну и вон та конфа как я понимаю была о оценке и осознании проблематики направления и понимания в какую сторону двигаться вообще. Как это имплементить - второй вопрос, возникающий после понимания первой его части.

     
     
  • 5.254, Kuromi (ok), 17:50, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну как бы некоторые пожелания - вполне разумные и определенные идеи могут
    > и другим понравиться. Код без багов и с предсказуемым поведением в
    > ядре нужен не только в самолетах, мягко говоря.

    Ну так против безбажного и стабильного кода никто и не выступает, правда когда начинаются реальные подвижки хотя бы в виде того же продвижени Rust  мы слышим жуткий вой о том что "не тащите сюда эту ржавчину".

     
     
  • 6.272, Аноним (149), 04:53, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Да знаете, какая-нить MISRA и без всякой ржавчины дело сильно улучшает. Но опять же это надо переубедить толпу "ятакпривык" что их разухабистый стиль кодинга - это на самом деле фи. Хрусту в этом смысле всего лишь несколько проще т.к. он новый яп и потому то что там нельзя или канительно так и сяк воспринимается спокойнее. И то, вот, ты сам сказал.
     
  • 3.317, Прыгающий Ленивец (?), 21:48, 07/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Лекции это хорошо и нужно. Но продуктивнее все же тулинг пилить для этого, всякие анализаторы кода, чтобы подобные проблемы отлавливались еще на этапе отправки патча в рассылку
     
  • 2.184, Гашпшпщм (?), 09:44, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А Линукс тут уже давно не решает, что ему надо. Кто больше донатмт, тот и одеяло перетягивает. Вот сделаю контору, стану платиновым спонсором, найму 100000 м0как и 3143дец твоему линуксу. Адаптируем там, и переделаем. И ты же назовешь меня корпорацией добра за нихреновый такой вклад в спо. Но есть один нюанс
     
  • 2.192, n00by (ok), 10:22, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Boeing в серебряных спонсорах Linux Foundation. Если перейдёт в платиновые, станет надо.
     

  • 1.120, Всем Анонимам Аноним (?), 17:11, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Тогда им нужна Fuchsia с Zircon.
     
     
  • 2.134, Аноним (149), 18:02, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Тогда им нужна Fuchsia с Zircon.

    Мне всегда было интересно - а такие советчики зассали бы или нет если их натурально запихнуть, натурально в самолет, натурально с тем что они продвигали, тестовым пилотом - и посмотреть, угробит их тушку продвигаемый ими софт или нет? Ну правда, гугол, скинься на самолет, и посади в него самых рьяных фанов фуксии полетать, интересно же! А перед посадкой конечно же как в вон том батискафе - вы отказываетесь от претензий, блаблабла, даже если вас размажет в хлам, блаблабла :))

     
     
  • 3.138, dannyD (?), 18:16, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    вот видите - это отказ в штатной ситуации.

    а если как во втором орешке?

    пятдесят бортов кружат над ВПП и их надо разводить по эшелонам с точностью 20 метров.

     
  • 3.150, Аноним (92), 20:07, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Ты считаешь что в авиации тестирование проходит так что ставят новую прошивку и сразу идут летать? Твои воззрения на ПО в авиации сильно ограничены. Когда допилят все допуски и сертификации в Fushsia тогда и полетят.
     
     
  • 4.215, Аноним (197), 14:29, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Т е скорее всего - никогда Эта хня делалась не для этого и даже не для general... большой текст свёрнут, показать
     

  • 1.142, Аноним (142), 18:37, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Если перевести с дипломатического, то инженеры Боинг просто рассказали почему они не будут использовать линукс в авионике. Видимо их таки достали этим вопросом. Если же посмотреть на указанные причины, то простыми словами линукс - монолитный копролит, разработанный мартышками без понимания, что они делают. Самым умным мартышках - кернел хакирам, кто смог понять троллинг было наверно обидно. Интересно Линус пошлёт боинг туда же куди нвидию?
     
     
  • 2.156, Аноним (156), 20:35, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Линукс послал невидию, потому что они криворучки, пишут самые упоротые дрова, просто чтобы были, с максимальными косяками и не стремятся это исправлять. По сути им главное галочка что дрова есть, чтобы можно было продавать свои серверные решения компаниям на линуксе (то есть 99% клиентов).
    Боинг конечно КО, но повода посылать не появился.
     
     
  • 3.216, Аноним (197), 14:32, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Линукс послал невидию, потому что

    ...потому что они не часть процесса и не играют совместно, на самом то деле. Это обеспечило лэйбу "worst company ever". За дело.

     
  • 2.160, Kuromi (ok), 21:48, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Если перевести с дипломатического, то инженеры Боинг просто рассказали почему они не
    > будут использовать линукс в авионике. Видимо их таки достали этим вопросом.
    > Если же посмотреть на указанные причины, то простыми словами линукс -
    > монолитный копролит, разработанный мартышками без понимания, что они делают. Самым умным
    > мартышках - кернел хакирам, кто смог понять троллинг было наверно обидно.
    > Интересно Линус пошлёт боинг туда же куди нвидию?

    Это не тот самый Боинк, который капитально обоср.. с Boeing 777-8? Такие иннноваторы, такие инноваторы - сделали люминдиевый (а не алюминиево-литиевый) с негабаритными крыльями (арабы попросили).

     
  • 2.235, yet another anonymous (?), 17:07, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Боинг под мудрым руководством супер-эффективных менеджеров сделал насквозь просертифицированный экономически сверхэффективный (как по эксплуатации так и по разработке) B737MAX. Который на чисто инженерных программно-аппаратных эпических косяках положил около 300 человек в двух катастрофах.
     

  • 1.153, BeLord (ok), 20:27, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Смотря, что под авионикой понимать. Вообще там монстры типа Линукс не нужны. Есть у меня подозрение, что ветер дует со стороны эффективных манагеров, которые думают, что экономия на специалистах доведет до добра. Если железо будет кривое, то софт не поможет, а если железо нормальное, то софт там весьма специфичный и система управления справится без всех современных свистоперделок.
     
     
  • 2.161, Kuromi (ok), 21:50, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Смотря, что под авионикой понимать. Вообще там монстры типа Линукс не нужны.
    > Есть у меня подозрение, что ветер дует со стороны эффективных манагеров,
    > которые думают, что экономия на специалистах доведет до добра. Если железо
    > будет кривое, то софт не поможет, а если железо нормальное, то
    > софт там весьма специфичный и система управления справится без всех современных
    > свистоперделок.

    Вы не понимаете! Замена того что есть (возможно коммерческого) на "халявный" ляликс позволит повысить прибыль и получить премии кому надо! За одно это корпорат будет носом землю рыть.

     
     
  • 3.289, BeLord (ok), 17:47, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >> Смотря, что под авионикой понимать. Вообще там монстры типа Линукс не нужны.
    >> Есть у меня подозрение, что ветер дует со стороны эффективных манагеров,
    >> которые думают, что экономия на специалистах доведет до добра. Если железо
    >> будет кривое, то софт не поможет, а если железо нормальное, то
    >> софт там весьма специфичный и система управления справится без всех современных
    >> свистоперделок.
    > Вы не понимаете! Замена того что есть (возможно коммерческого) на "халявный" ляликс
    > позволит повысить прибыль и получить премии кому надо! За одно это
    > корпорат будет носом землю рыть.

    А перед получением премии, отправить их с семьями летать на новых самолетах-)))

     
     
  • 4.319, Аноним (319), 17:36, 08/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > А перед получением премии, отправить их с семьями летать на новых самолетах-)))

    Ну а на чем они по вашему будут летать? На этом глобусе выбора не так уж и много.

     
  • 2.194, Аноним (194), 11:14, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > а если железо нормальное, то софт там весьма специфичный и система управления справится без всех современных свистоперделок.

    для HPC и AI линукс и нужен чтобы исключить человеческий фактор из управления, а железо там обычное и софт тоже, разница в том что оно сертифицировано на соответствие стандартам поэтому всё достаточно простое и древнее и уже очевидно не удовлетворяет современным потребностям индустрии.

     
     
  • 3.288, BeLord (ok), 17:46, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >> а если железо нормальное, то софт там весьма специфичный и система управления справится без всех современных свистоперделок.
    > для HPC и AI линукс и нужен чтобы исключить человеческий фактор из
    > управления, а железо там обычное и софт тоже, разница в том
    > что оно сертифицировано на соответствие стандартам поэтому всё достаточно простое и
    > древнее и уже очевидно не удовлетворяет современным потребностям индустрии.

    Потребностям маркетологов оно не удовлетворяет, а не индустрии. Оно работает, есть наработка на отказ, как следствие прогнозируемое поведение системы, зачем ставить модное и не проверенное, чтобы что?

     
  • 2.273, Аноним (149), 04:59, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Если железо будет кривое, то софт не поможет, а если железо нормальное,

    Вообще-то высоконадежные системы там где это важно предпочитают не уповать на идеальное железо а вместо этого иметь какой-то адекватный план реакции на такое. Например, нескольких параллельно работающих компьютеров, и если их скажем 3 штуки, сбоящего можно автоматически вырубить/перезапустить - и не так уж важно сбойнуло там железо или софт, вон то может засечь тупой как дрова хардварнай компаратор на управляющих линиях, обнаружив что компьютеры хотят разного -> сбой вон того компьютера. Как-то так Маск летает в космос и на обычном линухе с x86 даже. И почему бы это не работало - кто б его знает.

     
     
  • 3.281, Аноним (194), 12:45, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Как-то так Маск летает в космос и на обычном линухе с x86 даже.

    как-то так лет 50 до маска летали

    http://www.buran.ru/htm/su4bcvk.htm

     
  • 3.287, BeLord (ok), 17:44, 04/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    x86 это перебор для многих задач, часть задач вообще на простых триггерах делает... большой текст свёрнут, показать
     
     
  • 4.320, Аноним (-), 18:01, 08/07/2023 [^] [^^] [^^^] [ответить]  
  • –1 +/
    1 Ну сделайте мне на триггерах нормальный рендер карты местности, с актуальными... большой текст свёрнут, показать
     

  • 1.155, Аноним (156), 20:31, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Внезапно linux который не RTOS и не разрабатывался как RTOS оказался не RTOS и даже разрабатывается не как RTOS. Ужас. Вот это новости.
    Ждём следующую: инженеры ардуины обсудили проблемы использования линукс на ардуино, отмечается повышенное по сравнению с прошивкой без системы потребление памяти, тактов процессора, и соответственно потребления...
     
     
  • 2.195, Аноним (194), 11:17, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Внезапно linux который не RTOS и не разрабатывался как RTOS оказался не RTOS и даже разрабатывается не как RTOS.

    это не совсем так

    https://www.osadl.org/SIL2LinuxMP.sil2-linux-project.0.html

     
     
  • 3.245, Аноним (-), 17:27, 03/07/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.219, Аноним (197), 15:30, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А таки убунту на ардуине грузили. Правда, грузилась она там долго.
     

  • 1.157, Аноним (157), 20:49, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    OOM киллер или UB поведение библиотек от lgbt+ тут же уронят самолет
     
     
  • 2.162, Аноним (137), 22:06, 02/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Разве lgbt+ пишут либы для ядра? Думал они больше по JS/Rust/Scala.
    А bьlдлoкодят в ядро бородатые диды, которые еще в машкодах проги писали, но до сих пор не научились вычислять размер буфера перед записью.
     

  • 1.163, Аноним (163), 22:10, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Еще 10 лет назад во всех новостях Linux был синонимом надёжности и безопасности. Похоже, скоро станет антонимом.
     
     
  • 2.241, Аноним (-), 17:22, 03/07/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.269, Аноним (269), 23:43, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Надёжность тоже разная бывает, и разной степени. Дебиан вполне надёжный для серверных задач, например.
     

  • 1.164, Аноним (164), 22:35, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Ну теперь-то понятно, кто виноват в лажах с 737 MAX
     
  • 1.167, Аноним (167), 23:29, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +4 +/
    Это типа бородатый анекдот про то как установив на истребитель windows америкосы научили самолет зависать в воздухе?
     
  • 1.168, Аноним (168), 23:38, 02/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    > доступность специалистов (проще найти компетентных разработчиков и людей, понимающих код).

    Кажется, это главная причина привлекательности Linux для авиапроизводителей.

     
  • 1.198, Аноним (198), 11:59, 03/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    В авионике крайне жёсткие стандарты Чтобы софт можно было сертифицировать для а... большой текст свёрнут, показать
     
     
  • 2.214, anonymmm (?), 14:27, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    А ещё для rtos обычно есть две версии rtos и rtos-do178, последний применяется в самолётах и урезан по самый не балуй, со стандартным rtos там только название

    так что, конечно, просто так применить linux у жадных авиапроизводителей не выйдет, ну и по делом им

     

  • 1.200, Аноним (-), 12:05, 03/07/2023 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
  • 1.239, Аноним (-), 17:19, 03/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Весь софт Боинга протухшее говно мамонта. И я не понял с какой этой стати сопляки из Боинга смеют критиковать Свободное Сообщество. Смеют что-то там указывать. Пошли они лесом.

    Боинг должен обанкротится. Нам нужны другие, Свободные самолёты, где под копилефт лицензирована вся авионика.

     
     
  • 2.251, U202204161753 (?), 17:41, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    P.S.

    Т.е. эта не была ирония?
    Хм, интересно...

     
     
  • 3.253, Аноним (-), 17:49, 03/07/2023 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.305, Аноним (305), 16:55, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Можно начать с RISC-V и аппаратов литографии. На век работы хватит.
     
     
  • 4.324, Аноним (-), 11:51, 09/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Можно начать с RISC-V и аппаратов литографии. На век работы хватит.

    RISCV ядрами уже забит весь гитхаб...

     
  • 2.268, dannyD (?), 23:26, 03/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    >>Нам нужны другие, Свободные самолёты, где под копилефт лицензирована вся авионика.

    а подводные лодки для путешествий к Титанику не ннада?

     
  • 2.308, Аноним (308), 10:32, 06/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Весь софт Боинга ... Боинг должен обанкротится ...

    У него серьезнее проблемы https://www.forbes.ru/biznes/390923-etot-samolet-proektirovali-klouny-pod-ruko

     

  • 1.243, Аноним (-), 17:24, 03/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Когда-то Линус послал NVIDIA. Пора послать Линусу и Boeing. Пока они не научатся уважительно общатся со Свободным сообществом.
     
  • 1.286, Аноним (286), 17:34, 04/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/

    Позор Boing-у... так низко пасть что бы пиарить себя на разработке системы общего назначения Linux.

    Можно было сказать что просто разрабатывают сверх надежную систему и все.

    Убогие конечено.

     
     
  • 2.309, Аноним (308), 10:33, 06/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Им бы погуглить, что такое ОС РВ. Специалисты ...
     

  • 1.294, xsignal (ok), 19:25, 04/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > применяемые в авионике специализированные RTOS проходят специальную сертификацию

    Что-то сертификация никак не спасла Боинги 737 MAX от падений...

     
  • 1.295, xsignal (ok), 19:37, 04/07/2023 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > отмечается отсутствие необходимой сертификации надёжности, монолитная архитектура [...], хаотичность, отсутствие должной культуры разработки, обеспечения качества и безопасности

    "А Васька слушает, да ест" Линукс как был супер-надёжной системой без всей этой бюрократической требухи, так и будет. Как работали на нём сервера годами без перезагрузки, так и будут работать, в то время как вдоль и поперёк сертифицированный костыль MCAS роняет самолёты...

     
     
  • 2.303, Аноним (197), 15:14, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Все немного сложнее. Скажем если сервак тупанет на секунду - никто особо не заметит. Но самолет за это время пролетает довольно приличное расстояние. А космический корабль - еще более приличное. Он не остановится подождать пока там компьютер с тормоза снимется, как и весь реальный физический мир с которым надо взаимодействовать.
     
     
  • 3.304, Аноним (304), 16:15, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Э-э погоди, не гони. Он просто сказал, что линуксовые сервера самые надёжные и лучшие в мире. И говоря это он даёт понять, что качественный софт могут делать только ребята из ГНУ. Давай представим компанию, которая имеет Свободную авионику и копилефтный софт под неё. Неужели ты думаешь ребята из ГНУ такие тупые, что не позаботятся о создании тщательной системы проверок всего софта и электронную начинку под неё?
     
     
  • 4.310, Аноним (308), 10:35, 06/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Если софт - ОС РВ, почему нет? Но Linux - не ОС РВ. Потому, как выше намекали коллеги, непонятно, о чем вообще речь?
     
     
  • 5.323, Аноним (-), 18:16, 08/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Если софт - ОС РВ, почему нет? Но Linux - не ОС РВ.

    Вообще, с патчами RT_LINUX он, таки, это. И их уже почти все втянули в майнлайн. В ядрах новее 6.1 там RT_PREEMPT кернел означает сильно другие вещи, с довольно жесткими гарантиями шедулинга реалтаймных процессов. К сожалению это не все и еще есть некоторые проблемные места, способные сорвать гарантии.

     
  • 4.322, Аноним (-), 18:14, 08/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    У надежности есть много аспектов И сказать что например реалтайм гарантии линух... большой текст свёрнут, показать
     
  • 3.306, xsignal (ok), 17:19, 05/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Все немного сложнее. Скажем если сервак тупанет на секунду - никто особо
    > не заметит. Но самолет за это время пролетает довольно приличное расстояние.

    Ну это само собой. Естественно, в авионике нужно не обычное ядро использовать, а реального времени.

     
     
  • 4.311, Аноним (308), 10:37, 06/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Как недавно сообщили, сабж использует Integrity.
     
  • 3.316, BeLord (ok), 17:16, 07/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО системы навигации, вот тут цирк начинается, на Земле и не снилось, а одно не верное движение и все нет спутника.
     
     
  • 4.321, Аноним (-), 18:02, 08/07/2023 [^] [^^] [^^^] [ответить]  
  • +/
    > Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО
    > системы навигации, вот тут цирк начинается, на Земле и не снилось,
    > а одно не верное движение и все нет спутника.

    NASA даже марсоходам софт обновляет. И никакого цирка в этом нет. Если проектировано нормальными инженерами, предусмотревшими такие операции.

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру