Комментарии 30
Очень занимательно, спасибо. А не могли бы рассказать о том, как тестируется подобного рода ПО? Как обкатывается, так сказать, до продакшена? Ведь на одних эмуляторах (пусть даже супер-функциональных) далеко не уедешь.
+5
Думаю, круг посвященных в такие тонкости очень невелик, нам, к сожалению, к нему пока не подступиться :(
0
Да ладно Вам народ пугать! Вполне открытые ГОСТы, жёсткие ограничения на стиль кодирования и алгоритмы, многократная верификация — весь секрет успеха. Каждое ПО сертифицируется за немаленькие деньги огромным штатом сотрудников.
Была такая вот хорошая статья про разработку авионики.
Никаких секретов, стоит немного погуглить))
Была такая вот хорошая статья про разработку авионики.
Никаких секретов, стоит немного погуглить))
+4
Я планирую в течении месяца написать статью по верификации ПО для ответственных систем (авиация). В части автоматизации статического и динамического тестирования ПО ( с примером конкретного инструментария). Думаю эта статья — то что вы имеете ввиду…
+3
Да, с удовольствием почитал бы, реальные примеры (в том числе ПО) — это всегда интересно.
0
Ок, был бы рад услышать, что в первую очередь интересует:
а) общий обзор ( почему статический и динамический анализ, почему не абы какой софт итп)?
б) конкретно скрины с примерами по структурному покрытию, юнит тестированию, интеграционному тестированию итп?
в) имеет ли смысл готовить спец. сюда статью для рассказа о связи с системами управления требованиями...?
а) общий обзор ( почему статический и динамический анализ, почему не абы какой софт итп)?
б) конкретно скрины с примерами по структурному покрытию, юнит тестированию, интеграционному тестированию итп?
в) имеет ли смысл готовить спец. сюда статью для рассказа о связи с системами управления требованиями...?
0
Это уже было на хабре
(http://habrahabr.ru/post/161031/)Марсианский код: лекция о том, как программировали Curiosity
(http://habrahabr.ru/post/161031/)Марсианский код: лекция о том, как программировали Curiosity
+2
Небольшая опечатка, пишется «Boeing»
+1
Заинтересовался историей с HMS Sheffield, однако в весьма подробной статье из англоязычной Википедии ничего подобного не упоминается. Не могли бы вы подсказать источник ваших сведений?
0
Это история из моего блокнотика, откуда я ее скопировал, к сожалению, за давностию лет определить невозможно, но точно не из головы. Посмотрел сейчас, Sea Wolf — ЗРК, который, по всем параметрам, действительно мог быть установлен на Sheffield, такие подробности как-то повышают доверие.
+1
Если верить Википедии, Sea Wolf устанавливался не на Sheffield, а на фрегатах типа 22.
Судя по этой статье, 12 мая 1982 Glasgow (класс Shiffield) был серьезно поврежден сброшенной бомбой. Его должен был защитить Sea Wolf, установленный на Briliant. Но система отказала (ушла на перезагрузку?) потому, что аргентинские самолеты приближались не по прямой, а виляя в стороны.
Судя по этой статье, 12 мая 1982 Glasgow (класс Shiffield) был серьезно поврежден сброшенной бомбой. Его должен был защитить Sea Wolf, установленный на Briliant. Но система отказала (ушла на перезагрузку?) потому, что аргентинские самолеты приближались не по прямой, а виляя в стороны.
0
Вообще тема очень интересная, конечно.
Система широко используется и в промышленной автоматизации, например компания National Instruments использует VxWorks в контроллерах cRIO:
По сути это просто встроенный компьютер, гарантирующий время отклика на внешние события.
Ну или вот в смарт-камерах от той же компании:
Такие камеры используются автономно, при этом гарантируют детерминированную обработку изображений.
VxWorks также поддерживается LabVIEW Real-Time, что даёт возможность программировать детерминированные системы на графическом языке.
Вообще было бы любопытно почитать про сравнительный обзор решений, присутствующих на рынке в настоящее время — к примеру, VxWorks в сравнении с Phar Lap ETS / IntervalZero ETX (понятно, что это всё равно что unix c windows сравнивать, но тем не менее), а также про общую архитектуру, инструменты разработки, и т.д.
Кстати, если уж быть дотошным, то на заглавной картинке жёлтенький робот сильно смахивает на Fanuc, в котором (насколько мне известно) VxWorks не используется, а используется она в роботах KUKA, которые выглядят чуть иначе. Там реализовано довольно любопытное решение с VxWin.
Система широко используется и в промышленной автоматизации, например компания National Instruments использует VxWorks в контроллерах cRIO:
По сути это просто встроенный компьютер, гарантирующий время отклика на внешние события.
Ну или вот в смарт-камерах от той же компании:
Такие камеры используются автономно, при этом гарантируют детерминированную обработку изображений.
VxWorks также поддерживается LabVIEW Real-Time, что даёт возможность программировать детерминированные системы на графическом языке.
Вообще было бы любопытно почитать про сравнительный обзор решений, присутствующих на рынке в настоящее время — к примеру, VxWorks в сравнении с Phar Lap ETS / IntervalZero ETX (понятно, что это всё равно что unix c windows сравнивать, но тем не менее), а также про общую архитектуру, инструменты разработки, и т.д.
Кстати, если уж быть дотошным, то на заглавной картинке жёлтенький робот сильно смахивает на Fanuc, в котором (насколько мне известно) VxWorks не используется, а используется она в роботах KUKA, которые выглядят чуть иначе. Там реализовано довольно любопытное решение с VxWin.
0
а провести сравнение с QNX не планируется?
0
Любопытно, работали с Wind River Linux, а я и не знал, что оно как-то с Intel связано: )
+1
Последний Wind River Linux с Intel связан еще и через Yocto
+1
Это когда они успели?! Дайте ретроспективу, пожалуйста, если есть данные.
+1
В начале прошлого года они анонсировали, что новые релизы WRL будут базироваться на Yocto. (Я первый раз об этом услышал прошлой весной на elektronic design в Нюрнберге). После этого примерно десять разработчиков стали активно коммитить в Yocto project upstream.
В прошлом августе вышла WRL5, на базе Yocto.
В прошлом августе вышла WRL5, на базе Yocto.
0
VxWorks часто встречается в роутерах, например, под её управлением работает AirPort Extreme.
+1
Интересно было бы посмотреть описание архитектуры и архитектуру обработки очередей/задач/процессов. Сам как-то интересовался, но так и не нашел описаний :-(
0
По прерыванию таймера каждые n ms (обычно 10 или 1) происходит принудительная смена потока. И само собой прерывания имеют приоритет по сравению с обычними задачами. Можно и самому написать управление очередью, если очень надо. ОС часто покупается со всеми исходниками и может быть изменена под собственные нужды.
+1
VxWorks во многих Siemens продкутах: Scalance X, W. ASi Link, gateways, различное оборудование для поездов.
0
На видео о посадке ровера основной упор делался на автоматическую посадку модуля, без участия человека.
И возникает дежа-вю и недоумение об акцетировании внимания на этом.
Буран в 1986 году в автоматическом режиме сделал несколько витков и сел на космодром, управляемый отечесвенными компьютерами того времени. Причем для посадки в текущих условиях он выбрал траекторию, вероятность выбора которой при моделировании была меньше процента.
Трудно представить, что чувствовали инженеры, глядя как Буран пролетает аэродром для выполнения маневра. :)
И возникает дежа-вю и недоумение об акцетировании внимания на этом.
Буран в 1986 году в автоматическом режиме сделал несколько витков и сел на космодром, управляемый отечесвенными компьютерами того времени. Причем для посадки в текущих условиях он выбрал траекторию, вероятность выбора которой при моделировании была меньше процента.
Трудно представить, что чувствовали инженеры, глядя как Буран пролетает аэродром для выполнения маневра. :)
+2
Да уж были времена…
А сейчас есть такая поговорка у работников одного местного секретного оборонного нии:
Если китайцы украдут наши секреты, то это отбросит их на 20 лет назад. :-)
А сейчас есть такая поговорка у работников одного местного секретного оборонного нии:
Если китайцы украдут наши секреты, то это отбросит их на 20 лет назад. :-)
0
Другое общество — другие интересы.
На автоматизации ещё долго будут заострять внимание, т.к. задачи на сегодня самые трудоёмкие и оперирующие недоработанной мат.теорией.
На автоматизации ещё долго будут заострять внимание, т.к. задачи на сегодня самые трудоёмкие и оперирующие недоработанной мат.теорией.
0
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Wind River – софт быстрого реагирования