Организация Linux Foundation анонсировала (http://www.linuxfoundation.org/news-media/announcements/2016...новый совместный проект Civil Infrastructure Platform (https://www.cip-project.org/) (CIP) нацеленный на разработку открытой платформы для мониторинга, управления и поддержания работы компонентов, обеспечивающих функционирование критических элементов гражданской инфраструктуры. К категории объектов гражданской инфраструктуры относятся технические системы, работа которых необходима для нормального функционирования государства и жизнеобеспечения живущих в нём людей.Например, платформа CIP может быть использована для управления генерацией и передачей электроэнергии, нефте- и газопроводами, системами водозабора и водоотведения, коммуникационными магистралями, системами здравоохранения и транспорта. Платформа будет развиваться как совместный проект, к работе над которым уже присоединились такие компании, как Codethink, Hitachi, Plat'Home, Siemens и Toshiba. Наработки проекта будут распространяться под лицензией Apache 2.0, кроме компонентов, связанных с ядром Linux, которые будут доступны под лицензией GPLv2.
В рамках платформы CIP будет предоставлен открытый базовый слой и набор программных блоков, которые можно использовать в качестве основы для построения индустриальных программных систем, отвечающих требованиям надёжности, безопасности и другим критериям, необходимым для применения в критически важных областях жизнеобеспечения. В качестве одной из основных задач проекта называется устранение разрыва между возможностями существующих открытых программ и требованиями, предъявляемыми к критически важному промышленному ПО, такими как работа в режиме реального времени, отказоустойчивость, предсказуемость функциональности (functional safety (https://en.wikipedia.org/wiki/Functional_safety)) и безопасность.
В качестве достоинств новой платформы отмечается:
- Сокращение времени на разработку - проектом предоставляются готовые блоки, которые можно использовать для быстрого построения своих систем;
- Низкая стоимость разработки - CIP развивается как совместный открытый проект, в котором учитываются интересы различных представителей индустрии и затраты на разработку распределяются между всеми участниками;- Переносимость - платформа поддерживает существующие стандарты и развивается в соответствии с концепцией "включил и работай" (plug and play);
- Надёжность - платформа основана на ядре Linux, уже применяемом во многих промышленных системах;
- Безопасность и устойчивость к сбоям;
- Длительное время сопровождения - некоторые компоненты платформы планируется поддерживать на всём протяжении цикла функционирования инфраструктуры (10-60 лет).URL: http://www.linuxfoundation.org/news-media/announcements/2016...
Новость: http://www.opennet.ru/opennews/art.shtml?num=44177
Только кода на сайте пока нет, одни планы.
На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.Чё не так-то?? Майкрософт танцует. Отдел маркетинга потеет. Всё трендово.
Вы разбираетесь в данной теме?Посоветуйте пожалуйста, что можно почитать по теме новичку.
"Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations"
https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf
> "Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations"
> https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdfИ какие высоконадежные системы вы знаете, которые это используют?
а зачем знать - тут разрабатывать собираются, т.е. можно и с нуля попробовать, нахватавшись лучших идей из имеющегося. Еще про микроядра и всякие QNX'ы можно холивар развести. Особенно в свете того что раньше в мире (не знаю как сейчас) QNX крепко использовался в управлении систем нефте/химической промышленности и др. сложных и опасных производствах (у нас на металлургическом заводе когда-то использовалось, еще QNX4)
> а зачем знатьзолотые слова
Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование компонент, работающих на разных принципах, и на проектирование, при октором в случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние.А математические доказательства корректности, во-первых, проходят только для крайне простого кода, а во-вторых держатся на предположении о корректности специфиакации.
да да, а операционки которые держатся на доказательствах ?
Во-первых, верифицируются микроядра и изолируемые компоненты.Т.е. моноблочная 70-мегабайтная простыня имени Линуса пролетает автоматом. В ней даже обычный статистический анализатор кучу всего находит.
Во-вторых, ОС - это вещь в себе, не реализующая критически важной прикладухи. ОС может быть математически верифицирована, а в прикладной части вы имеете деградирующие компоненты, горячие частицы (даже fault tolerant архитектуры имеют пределы, может "удачно" завалиться), глюки и погрешности сенсоров, абстрактность и упрощение мобели регулируемой системы.
Если у вас в руках надежный безотказный (математически верифицированный) нож - это не значит что он вас гарантированно спасет в джунглях (открытая система - реальный мир).
> Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование
> компонент, работающих на разных принципах, и на проектирование, при октором в
> случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние.Ну и повсеместные проверки состояний, исполнений, результатов даже в ущерб производительности. Линуксовый же подход и их "гордость" в 99% случаев выпиливание данных проверок в угоду производительности со словами - да нах они нужны? Все равно в 99%!!! случаев не работают.
facepalm
Треп пустой. Кто-то диссертацию защитил. Кроме академической - никакой ценности не имеет.
ммм, да у вас будапешт голубчик
Естественно, в них обязательно должен быть крайний, конкретный которого потом разопнут или обанкротят, иначе нельзя.
p.s. Я бы очень хотел что-бы было всё по человечески, только человеков для начала надо переделать, а в коммерческом мире всё определяет стоимость страховки от "если вдруг что не так пошло"
Угу. Слишком сложное для сабжевой задачи. В самом ядре все баги отловить нереально, т е оно становится слабым местом изначально.
Не надо нас учить своим очистительным клизмам. А ядро в любой момент можно будет поменять на qunix
> можно будет поменять на qunixНа куда, простите?
>> можно будет поменять на qunix
> На куда, простите?QNX (/ˌkjuː ˌɛn ˈɛks/ or /ˈkjuːnᵻks/) is a commercial Unix-like real-time operating system, aimed primarily at.
>>> можно будет поменять на qunix
>> На куда, простите?
> QNXТак это другие буковки. :)
PS: да и с заменой юзерспейса лёгким взмахом ре... руки человек явно погорячился.
Ты Майкл просто старый хрыч! Смотри как нынче супер надёжные проекты делаются ... и дрожи:
"Qunix is a Unix-like system built in PHP. It uses the latest in Javascript DHTML technologies to create a seamless interface." (https://sourceforge.net/projects/qunix/)Образец как оно работает: (:-)))
http://qunix.sourceforge.net/Думайте сами - решайте сами ...
> Qunix is a Unix-like system built in PHPЙОШКЕН КОТ!!11...
> Образец как оно работает: (:-)))
Ну как должно будучи на PHP написано, так и работает.
> "Qunix is a Unix-like system built in PHP. It uses the latest
> in Javascript DHTML technologies to create a seamless interface." (https://sourceforge.net/projects/qunix/)В противовес:
http://www.theregister.co.uk/2013/06/19/nuke_plants_to_keep_...
> The venerable PDP-11 minicomputer is still spry to this day, powering GE
> nuclear power-plant robots - and will do so for another 37 years.Как они там интересно без DHTML обходятся?
>Unable to connect to database serverАга, точно работает. Только ответ, не тот что нужно =)
> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.Всё познаётся в сравнении. Помните Code Red?
>> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
> Всё познаётся в сравнении. Помните Code Red?я даже застал всю это красоту (нимду тоже) в действии, ИТ пачками выдергивало серваки из сетки :)
супернадежная в2к показала всем - "как надо"
>>> Высоконадёжные системы создаются совсем иначе.
>> Всё познаётся в сравнении.
> супернадежная в2к показала всем - "как надо"Ну человек наверняка имел-то в виду совсем не винду, а намёкивал на специализированные даже не системы, а методы (непонятно, один писал, двое или более). Да только в "цивилизациях" они сильно невыгодней надувания биржевых пузырей и подобной наркомании, такая вот штука.
> в "цивилизациях" они сильно невыгодней надувания биржевых
> пузырей и подобной наркомании, такая вот штука.При всём уважении к вашей точке зрения, подавляющая часть IT-культуры - таки продукт презренных "цивилизаций" (тех, которые с биржевыми пузырями и прочей наркоманией). Пусть местами и _говно_продукт, но, тем не менее, двигающий прогресс вперёд.
> подавляющая часть IT-культуры - таки продукт презренных "цивилизаций"Это так; а если копнуть чуточку глубже, то недавно пробегал очередной top10 и то ли все вообще, то ли восемь из десяти позиций "топовых" ИТ-фирм конкретно в штатах были созданы иммигрантами в первом или втором поколениях. Бишь после второй (а то и первой) мировой.
PS: предлагаю сворачивать или в почту, а то уже офтопик совсем будет, но для меня было неожиданностью...
Ага, ставится отстой типа windows nt или qnx. Только тперь это Г даже за откаты никто ставить не будет
Я в 10 лет тоже верил, что скоро все хорошие люди соединятся в один большой, планетарный СССР :)
А ныне ... тут помнится совсем недавно, совсем не далеко - на управление целой страной (sic!) такое _Г_ поставили ... что виндуз был бы просто счастьем каким то. За откат в кило печенек, да 8-/
Хорошие таки валили из СССР со страшной силой.
> Хорошие таки валили из СССР со страшной силой.В Израиль, полы подметать?
Какие "спецы" - такая и работа. Это только в СССР-ии и России тебя будут держать на окладе, потому что ты "хороший парень", а в мире загнивающего капитализьма понапридумывали всякие KPI...
> Хорошие таки валили из СССР со страшной силой.Поспрашивайте у таких, к чему они пришли, свалив. Познавательно.
google, yahoo (сейчас конечно не фонтан), а один не сознаётся так как в М$, не помню название софт для Абрамса делает и так далее...
Иксперды по высоконадёжным системам подтянулись
Не суди по себе - лучше выскажи своё скромное мнение.
"Например, платформа CIP может быть использована для управления генерацией и передачей электроэнергии, нефте- и газопроводами, системами водозабора и водоотведения, коммуникационными магистралями, системами здравоохранения и транспорта."
Удачного плавания в бесконечность 8)
А вы не в курсе, под какой ОС современные SCADA в большинстве своем?!
Лучше выбери незнание и крепкий сон ... :-/
это те, кот. по ч-л желанию могут отправить турбину в космос? ;)
То есть по планам это будет лучшее творение ближайшие 60 лет
Наконец-то сделают хоть что-то цивильное.
> Наконец-то сделают хоть что-то цивильное.Анонсировали коммунизм. Верифицировать моноядро, даже с минимальным набором дров - утопия.
>> Наконец-то сделают хоть что-то цивильное.
> Анонсировали коммунизм. Верифицировать моноядро, даже с минимальным набором дров - утопия.А зачем это делать? Есть показатели вероятности, есть теория надежности. Ловить блох в отдельных блоках совсем не обязательно, если вопрос касается системы в целом.
Действительно, зачем производители авто, самолетов, медоборудования парятся с верификацией компонентов.Ведь с достаточно большой вероятностью пронесет и ничего не случится. Групые люди, теории вероятности не знают.
> Действительно, зачем производители авто, самолетов, медоборудования парятся с верификацией
> компонентов.
> Ведь с достаточно большой вероятностью пронесет и ничего не случится. Групые люди,
> теории вероятности не знают.Верифицируют компоненты для того чтобы в любом случае компоненты соответствовали стандартам, которые однозначно присутствуют в применяемой отрасли. К критической важности, в которой грубо - 75% занимает отказоустойчивость, это имеет весьма слабое отношение.
Когда нормальный десктоп представят? Это тоже критически важно.
Еще один (или просто очередной?) громкий анонс. И вновь никакого кода.Может, конечно, это и информирование для завлекания потенциальных разработчиков, но в таком свете это уже просто не воспринимается серьёзно.
Трудно сказать. Hitachi и Siemens опыт в таких проектах точно имеют, остальные _относительно_ никто и звать их - ....
> Еще один (или просто очередной?) громкий анонс. И вновь никакого кода.Какой-тaкoй кoд-шмoд, шановный - люди cypьeзные лопатами не махають.
Эта месага нe для тex. ЦA> Может, конечно, это и информирование для завлекания потенциальных разработчиков, но в таком
> свете это уже просто не воспринимается серьёзно.Возможно, для кого-то это очeнь серьёзно..
Kеу wоrds:
- 2001
- .com
- bubble
- etc.
Сименс и стандарты? Не смешите мои тапочки, они для каждого стандарта умудряются построить несовместимую систему.
>> Надёжность - платформа основана на ядре Linux, уже применяемом во многих промышленных системах;Надежное моноядро для критических компонентов... Кого они хотят этим купить, когда даже в телефонах критичные компоненты делают под L4se/OKL4, а Linux-Android часть под гипервизором?
Зашёл я на сайт этой CIPы... Там же одни лозунги!
Ни кода, ни скриншотов, ни даже архитектуры системы.Какой-то сферический конь в вакууме, и то, данный в лозунгах.
Неужели в Linux Foundation так всё плохо на сегодня?..
Лет 10 я слышу одни и теже лозунги от Линуксоидов, в разных проектах, а в высоконадежное оборудование строят либо на RTOSах либо на QNX либо на FreeBSDПыСы. А роутеры на Лине как падали - так и падают.