Цитата(AlexandrY @ Apr 4 2014, 22:59)
Сомневаюсь сильно, чтобы разработчики систем аэронавигации использовали несертифицированные оси.
Сертификат - это панацея. Мы используем в разработке систем аэронавигации FreeRTOS, Linux, gcc, STL, др. различные библиотеки, корки для плис от альтеры, а также от 3-х лиц, и много многое другое. Ни на один продукт я не видел ни какого сертификата. А также на платах используем РЭК у которых тоже нет сертификата. Например нет ни какого сертификата на м/с драйвер RS-485 или на ОУ, или на smd компоненты.
Естественно все наши продукты сертифицированы. При проведении сертификации комиссия НЕ спрашивает сертификат на компилятор gcc или на корку NIOS и на плис. Им вообще по барабану что там внутри. Комиссия проверяет работу маяка в целом, проверяет параметры сигналов, которые должны соответствовать требованиям ICAO.
Более того, мой код, который я сам написал и встроил в маяк тоже ни кто не сертифицирует и не проверяет.
Цитата
Надо указывать сколько задач, сколько сервисов синхронизации использовалось, какая была нагрузка на процессор.
7 задач, несколько очередей, куча двоичных семафоров, несколько мютексов. Нагрузку на процессор незамерял. При тестах(длительных прогонах, в том числе и в климатической камере) делал такое внешнее воздействие, чтобы по максимуму загрузить каждую задачу. как-то так.
Ещё раз хочу сказать, что собственный while(1) - это по сути дела таже ос, которая точно не сертифицирована и в которой можно наделать ошибок больше, чем во всем миром используемой FreeRTOS (или др ОС).
Во время тестов, естественно, были выявлены и устранены ошибки в моём коде, какие-то несостыковки с ртос... В общем все задачи вылизывались начисто. Ни одного исправления в исходнике ртос не было сделано. Работает как часы. Зато вот в корке RS-232 от альтеры были выявлены ошибки. Пришлось альтеровские исходники допиливать и делать дополнительные тесты. Также были обнаружено что некоторые РЭК не соответствуют заявленным характеристикам. Пришлось заменять некоторые как пассивные, так и активные элементы.
Стоимость нашего продукта сотниБочекНефти, поэтому стоимость какойнить uC/OC ни как не повлияет на стоимость конечного продукта. Также все средства разработки у нас лицензионные, которые тоже недёшевы. И то мы используем свободную ос. Но есть компании, у которых продукт стоит несколько тысяч рублей и очень жёсткая конкуренция. Экономят на всем. всё ПО пиратское, все IDE, всякие пикады, квартусы и т.п. Разрабатывают приборы.... ну чуть ли не жизнеобеспечения. Продают на всю россию, в европу, в азию. И тоже используют FreeRTOS (и не только её). Другая компания, тоже не на госсзаказах... тоже конкуренция и считают каждую копейку в разработках. Для сокращения сроков разработки ПО и повышения надёжности применили FreeRTOS. Приборы большими партиями выпускают и по всей России продают.
Цитата
Нашел как минимум: www.intellisaw.com
А почему вы считаете что на сайтах компаний вы уведите какая ос установлена в прибор? Я много компаний знаю... со смногими разработчиками обмениваюсь опытом, советами. Знаю кто что делает, что использует. Ни на одном сайте я не видел "Наши приборы используют uC/OS". На самом деле пользователю по барабану, какая там ос и вообще - ему по барабану что такое ос.
pps На счет сомнений про аэроновигацию... см в прикреплении "современное" радионавигационное оборудование. Там на первой странице, справа внизу плата. Это не фэйк, можете пройти на их сайт и скачать от туда этот пдф. Увеличте и посмотрите как там припаяна микросхема. Да и вообще вся плата... какая там комплектация, DIP, резисторы МЛТ.... А вы говорите FreeRTOS врятли используют. ))) Да и вообще... я про аэронавигацию могу столько примеров нарасказывать.... что вам летать расхочется )). вы бы видели как дорабатывают старые системы, чтобы сэкономить.
Сбой работы маяка во внуково, неулетевший фобос грунт, .... это только вершина айсберга.
pps Комуто FreeRTOS не нравиться из-за объема кода/скорости/поддержки/документации/сертифицированности. Это дело вкуса и требований ос к системе. Если кто-то считает что она ему не подходит - то это не значит что она не надежна, или что её не используют в коммерческих проектах. По своему опыту могу сказать - Я не знаю почему есть нарекания в адрес документации FreeRTOS? Во первых: очень много мануалов на русском языке, учебников. Во 2-х хоть и говорят что официальная документация платная - я это не понимаю. на официальном сайте есть ПОЛНАЯ документация на все функции фрииротос в бесплатном доступе. А не знаю что там в платных книжках и для чего их покупают. Хотя я видел оглавление платной книжки.... вроде там было... эээээ... грубо говоря статьи КиТ + описание функций. Это всё в инете бесплатно есть. Про поддержку.... а нашел таки я ошибку во FreeRTOS. Не было переключение контекста задач.... зависала ос. Отписал багрепорт.... пообщался с разработчиками ртос... в итоге они нашли ошибку в моем коде, не правильно была сконфигурирована ос. Моя ошибка. И более того я какбы получил бесплатный курс от них "Как правильно конфигурировать ОС и как сделать проверку конфигурации". Я даже за деньги у всяких альтер такой техподдержки не имел.