https://opennet.ru/openforum/vsluhforumID3/130881.html На прошедшей в Праге конференции Linux Foundation Embedded Open-Source Summit инженеры из компании Boeing и организации UL (Underwriter Laboratorie, занимается сертификацией безопасности) выступили с докладом о проблемах, связанных с применением Linux в авионике и критически важных системах, в которых предъявляются особые требования к надёжности (полное соответствие поведения заданной спецификации) и безопасности (отсутсвтие неопределенного поведения). Отмечается, что применяемые в авионике специализированные RTOS проходят специальную сертификацию, созданы с оглядкой на предоставление гарантий в безопасности и надёжности, и проходят формальную верификацию соответствия спецификациям...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=59364<br> https://opennet.ru/openforum/vsluhforumID3/130881.html#324 Sun, 09 Jul 2023 08:51:14 GMT &gt; Можно начать с RISC-V и аппаратов литографии. На век работы хватит.<br><br>RISCV ядрами уже забит весь гитхаб...<br> https://opennet.ru/openforum/vsluhforumID3/130881.html#323 Sat, 08 Jul 2023 15:16:55 GMT &gt; Если софт - ОС РВ, почему нет? Но Linux - не ОС РВ.<br><br>Вообще, с патчами RT_LINUX он, таки, это. И их уже почти все втянули в майнлайн. В ядрах новее 6.1 там RT_PREEMPT кернел означает сильно другие вещи, с довольно жесткими гарантиями шедулинга реалтаймных процессов. К сожалению это не все и еще есть некоторые проблемные места, способные сорвать гарантии.<br> https://opennet.ru/openforum/vsluhforumID3/130881.html#322 Sat, 08 Jul 2023 15:14:45 GMT &gt; Э-э погоди, не гони. Он просто сказал, что линуксовые сервера самые надёжные<br><br>У надежности есть много аспектов. И сказать что например реалтайм гарантии линуха надежны я бы пока не рискнул, допустим. Это новый слабо изученный топик, в области где оптимизм ничем хорошим не заканчивается.<br><br>Это я говорю как тот кто линух в управляющие системы любит ставить. И в этом деле очень важно понимать свои лимиты и трезво оценивать возможности, иначе можно наломать много дров. Тот факт что система не падает еще не гарантия что все идет так как должно было.<br><br>&gt; тщательной системы проверок всего софта и электронную начинку под неё?<br><br>Я думаю что авиаторы в целом в курсе проблем своей области и вон то решаемо. Но не просто и не быстро. И кой-какие воркфлоу, правила/стиль кодинга и проч в кернеле следовало бы несколько изменить имхо. Де факто линух только в начале своего пути в серьезные управляющие системы и прочие критичные штуки, типа бортовых компьютеров. Но да, он смотрелся бы интересно в ряде мест. Это многие имхо https://opennet.ru/openforum/vsluhforumID3/130881.html#321 Sat, 08 Jul 2023 15:02:34 GMT &gt; Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО <br>&gt; системы навигации, вот тут цирк начинается, на Земле и не снилось, <br>&gt; а одно не верное движение и все нет спутника.<br><br>NASA даже марсоходам софт обновляет. И никакого цирка в этом нет. Если проектировано нормальными инженерами, предусмотревшими такие операции.<br> https://opennet.ru/openforum/vsluhforumID3/130881.html#320 Sat, 08 Jul 2023 15:01:04 GMT &gt; x86 это перебор для многих задач, часть задач вообще на простых триггерах делается<br><br>1) Ну сделайте мне на триггерах нормальный рендер карты местности, с актуальными картами, чтобы как вон те в гору не впечататься, например?<br>2) Тупые, неинформативные интерфейсы и/или чрезмерно упрощенная логика - ведет либо к потере situation awareness, либо к неверным решениям, либо к проблемам самодиагностики в автоматических режимах и проч. Скажем я знаю как диагностировать на автомате ремотную исполниловку с своим процом. Даже "по сети". Полностью, "end to end". Проверив что подсистема работает и скинув статус заинтересованным. Но с триггерами это все не особо работает.<br>3) Педально-релейная логика в конечном итоге требует здоровых плат, с кучей контактов, коммутации и проч - и это все начинает испытывать проблемы с надежностью. В этом смысле блоки где только шины, питание и необходимые для ввода или исполниловки соединения могут оказаться и надежнее, и проще в обслуживании, и факапов типа например ошибок подключения б https://opennet.ru/openforum/vsluhforumID3/130881.html#319 Sat, 08 Jul 2023 14:36:58 GMT &gt; А перед получением премии, отправить их с семьями летать на новых самолетах-))) <br><br>Ну а на чем они по вашему будут летать? На этом глобусе выбора не так уж и много.<br><br> https://opennet.ru/openforum/vsluhforumID3/130881.html#318 Sat, 08 Jul 2023 09:27:45 GMT Самолёты сложная система, бортовое ПО далеко не единстенное место отказа. Там кажись с датчиками косяк был.<br> https://opennet.ru/openforum/vsluhforumID3/130881.html#317 Fri, 07 Jul 2023 18:48:18 GMT Лекции это хорошо и нужно. Но продуктивнее все же тулинг пилить для этого, всякие анализаторы кода, чтобы подобные проблемы отлавливались еще на этапе отправки патча в рассылку<br> https://opennet.ru/openforum/vsluhforumID3/130881.html#316 Fri, 07 Jul 2023 14:16:01 GMT Когда спутник висит на орбите и выясняется, что надо внепланово обновить ПО системы навигации, вот тут цирк начинается, на Земле и не снилось, а одно не верное движение и все нет спутника.<br>