The OpenNET Project / Index page

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

Организация Linux Foundation представила платформу для критически важных технических систем

05.04.2016 11:14

Организация Linux Foundation анонсировала новый совместный проект Civil Infrastructure Platform (CIP) нацеленный на разработку открытой платформы для мониторинга, управления и поддержания работы компонентов, обеспечивающих функционирование критических элементов гражданской инфраструктуры. К категории объектов гражданской инфраструктуры относятся технические системы, работа которых необходима для нормального функционирования государства и жизнеобеспечения живущих в нём людей.

Например, платформа CIP может быть использована для управления генерацией и передачей электроэнергии, нефте- и газопроводами, системами водозабора и водоотведения, коммуникационными магистралями, системами здравоохранения и транспорта. Платформа будет развиваться как совместный проект, к работе над которым уже присоединились такие компании, как Codethink, Hitachi, Plat'Home, Siemens и Toshiba. Наработки проекта будут распространяться под лицензией Apache 2.0, кроме компонентов, связанных с ядром Linux, которые будут доступны под лицензией GPLv2.

В рамках платформы CIP будет предоставлен открытый базовый слой и набор программных блоков, которые можно использовать в качестве основы для построения индустриальных программных систем, отвечающих требованиям надёжности, безопасности и другим критериям, необходимым для применения в критически важных областях жизнеобеспечения. В качестве одной из основных задач проекта называется устранение разрыва между возможностями существующих открытых программ и требованиями, предъявляемыми к критически важному промышленному ПО, такими как работа в режиме реального времени, отказоустойчивость, предсказуемость функциональности (functional safety) и безопасность.

В качестве достоинств новой платформы отмечается:

  • Сокращение времени на разработку - проектом предоставляются готовые блоки, которые можно использовать для быстрого построения своих систем;
  • Низкая стоимость разработки - CIP развивается как совместный открытый проект, в котором учитываются интересы различных представителей индустрии и затраты на разработку распределяются между всеми участниками;
  • Переносимость - платформа поддерживает существующие стандарты и развивается в соответствии с концепцией "включил и работай" (plug and play);
  • Надёжность - платформа основана на ядре Linux, уже применяемом во многих промышленных системах;
  • Безопасность и устойчивость к сбоям;
  • Длительное время сопровождения - некоторые компоненты платформы планируется поддерживать на всём протяжении цикла функционирования инфраструктуры (10-60 лет).


  1. Главная ссылка к новости (http://www.linuxfoundation.org...)
Лицензия: CC-BY
Тип: К сведению
Короткая ссылка: https://opennet.ru/44177-linuxfoundation
Ключевые слова: linuxfoundation, cip
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (56) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (-), 11:40, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Только кода на сайте пока нет, одни планы.
     
  • 1.2, Аноним (-), 12:05, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • –29 +/
    На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
     
     
  • 2.3, Andrey Mitrofanov (?), 12:08, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +13 +/
    > На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.

    Чё не так-то?? Майкрософт танцует. Отдел маркетинга потеет. Всё трендово.

     
  • 2.4, Аноним (-), 12:08, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +6 +/
    Вы разбираетесь в данной теме?Посоветуйте пожалуйста, что можно почитать по теме новичку.
     
     
  • 3.13, Срп (?), 13:42, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    "Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations"
    https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf
     
     
  • 4.31, XoRe (ok), 17:30, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +3 +/
    > "Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations"
    > https://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf

    И какие высоконадежные системы вы знаете, которые это используют?

     
     
  • 5.49, Очередной аноним (?), 08:30, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • –2 +/
    а зачем знать - тут разрабатывать собираются, т.е. можно и с нуля попробовать, нахватавшись лучших идей из имеющегося. Еще про микроядра и всякие QNX'ы можно холивар развести. Особенно в свете того что раньше в мире (не знаю как сейчас) QNX крепко использовался в управлении систем нефте/химической промышленности и др. сложных и опасных производствах (у нас на металлургическом заводе когда-то использовалось, еще QNX4)
     
     
  • 6.59, XoRe (ok), 19:05, 07/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > а зачем знать

    золотые слова

     
  • 4.36, Crazy Alex (ok), 19:03, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование компонент, работающих на разных принципах, и на проектирование, при октором в случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние.

    А математические доказательства корректности, во-первых, проходят только для крайне простого кода, а во-вторых держатся на предположении о корректности специфиакации.

     
     
  • 5.38, Аноним (-), 19:31, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    да да, а операционки которые держатся на доказательствах ?
     
     
  • 6.43, Вареник (?), 00:00, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Во-первых, верифицируются микроядра и изолируемые компоненты.

    Т.е. моноблочная 70-мегабайтная простыня имени Линуса пролетает автоматом. В ней даже обычный статистический анализатор кучу всего находит.

    Во-вторых, ОС - это вещь в себе, не реализующая критически важной прикладухи. ОС может быть математически верифицирована, а в прикладной части вы имеете деградирующие компоненты, горячие частицы (даже fault tolerant архитектуры имеют пределы, может "удачно" завалиться), глюки и погрешности сенсоров, абстрактность и упрощение мобели регулируемой системы.

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

     
  • 5.62, bOOster (ok), 06:14, 13/04/2016 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование
    > компонент, работающих на разных принципах, и на проектирование, при октором в
    > случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние.

    Ну и повсеместные проверки состояний, исполнений, результатов даже в ущерб производительности. Линуксовый же подход и их "гордость" в 99% случаев выпиливание данных проверок в угоду производительности со словами - да нах они нужны? Все равно в 99%!!! случаев не работают.

    facepalm

     
  • 4.61, bOOster (ok), 06:09, 13/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Треп пустой. Кто-то диссертацию защитил. Кроме академической - никакой ценности не имеет.
     
  • 2.5, Аноним (-), 12:09, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    ммм, да у вас будапешт голубчик
     
  • 2.8, Аноним (-), 12:42, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Естественно, в них обязательно должен быть крайний, конкретный которого потом разопнут или обанкротят, иначе нельзя.
    p.s. Я бы очень хотел что-бы было всё по человечески, только человеков для начала надо переделать, а в коммерческом мире всё определяет стоимость страховки от "если вдруг что не так пошло"
     
  • 2.9, Анонимизатор (?), 12:43, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Угу. Слишком сложное для сабжевой задачи. В самом ядре все баги отловить нереально, т е оно становится слабым местом изначально.
     
  • 2.15, Аноним (-), 14:27, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Не надо нас учить своим очистительным клизмам. А ядро в любой момент можно будет поменять на qunix
     
     
  • 3.17, Michael Shigorin (ok), 14:28, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > можно будет поменять на qunix

    На куда, простите?

     
     
  • 4.18, Andrey Mitrofanov (?), 14:31, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    >> можно будет поменять на qunix
    > На куда, простите?

    QNX (/ˌkjuː ˌɛn ˈɛks/ or [B]/ˈkjuːnᵻks/[/B]) is a commercial Unix-like real-time operating system, aimed primarily at.

     
     
  • 5.19, Michael Shigorin (ok), 15:04, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    >>> можно будет поменять на qunix
    >> На куда, простите?
    > QNX

    Так это другие буковки. :)

    PS: да и с заменой юзерспейса лёгким взмахом ре... руки человек явно погорячился.

     
     
  • 6.25, _ (??), 16:26, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Ты Майкл просто старый хрыч! Смотри как нынче супер надёжные проекты делаются ... и дрожи:
    "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/

    Думайте сами - решайте сами ...

     
     
  • 7.28, RomanCh (ok), 16:53, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Qunix is a Unix-like system built in PHP

    ЙОШКЕН КОТ!!11...

    > Образец как оно работает: (:-)))

    Ну как должно будучи на PHP написано, так и работает.

     
  • 7.32, Аноним (-), 17:34, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > "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_pdp11_until_2050
    > 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 обходятся?

     
  • 7.47, невидимка (?), 04:29, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    >Unable to connect to database server

    Ага, точно работает. Только ответ, не тот что нужно =)

     
  • 2.16, Michael Shigorin (ok), 14:28, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.

    Всё познаётся в сравнении.  Помните Code Red?

     
     
  • 3.34, none_first (ok), 17:50, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >> На базе ядра Linux? Смешные :) Высоконадёжные системы создаются совсем иначе.
    > Всё познаётся в сравнении.  Помните Code Red?

    я даже застал всю это красоту (нимду тоже) в действии, ИТ пачками выдергивало серваки из сетки :)
    супернадежная в2к показала всем - "как надо"

     
     
  • 4.39, Michael Shigorin (ok), 19:40, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    >>> Высоконадёжные системы создаются совсем иначе.
    >> Всё познаётся в сравнении.
    > супернадежная в2к показала всем - "как надо"

    Ну человек наверняка имел-то в виду совсем не винду, а намёкивал на специализированные даже не системы, а методы (непонятно, один писал, двое или более).  Да только в "цивилизациях" они сильно невыгодней надувания биржевых пузырей и подобной наркомании, такая вот штука.

     
     
  • 5.51, nbw (ok), 09:46, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > в "цивилизациях" они сильно невыгодней надувания биржевых
    > пузырей и подобной наркомании, такая вот штука.

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

     
     
  • 6.57, Michael Shigorin (ok), 17:32, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > подавляющая часть IT-культуры - таки продукт презренных "цивилизаций"

    Это так; а если копнуть чуточку глубже, то недавно пробегал очередной top10 и то ли все вообще, то ли восемь из десяти позиций "топовых" ИТ-фирм конкретно в штатах были созданы иммигрантами в первом или втором поколениях.  Бишь после второй (а то и первой) мировой.

    PS: предлагаю сворачивать или в почту, а то уже офтопик совсем будет, но для меня было неожиданностью...

     
  • 2.24, Sfinx (ok), 15:58, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ага, ставится отстой типа windows nt или qnx. Только тперь это Г даже за откаты никто ставить не будет
     
     
  • 3.27, _ (??), 16:39, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Я в 10 лет тоже верил, что скоро все хорошие люди соединятся в один большой, планетарный СССР :)
    А ныне ... тут помнится совсем недавно, совсем не далеко - на управление целой страной (sic!) такое _Г_ поставили ... что виндуз был бы просто счастьем каким то. За откат в кило печенек, да 8-/
     
     
  • 4.45, Аноним (-), 00:32, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Хорошие таки валили из СССР со страшной силой.
     
     
  • 5.52, nbw (ok), 09:49, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Хорошие таки валили из СССР со страшной силой.

    В Израиль, полы подметать?

     
     
  • 6.54, Василий Теркин (?), 10:28, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какие "спецы" - такая и работа. Это только в СССР-ии и России тебя будут держать на окладе, потому что ты "хороший парень", а в мире загнивающего капитализьма понапридумывали всякие KPI...
     
  • 5.56, Michael Shigorin (ok), 17:29, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > Хорошие таки валили из СССР со страшной силой.

    Поспрашивайте у таких, к чему они пришли, свалив.  Познавательно.

     
     
  • 6.64, Sarmat (?), 12:41, 13/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    google, yahoo (сейчас конечно не фонтан), а один не сознаётся так как в М$, не помню название софт для Абрамса делает и так далее...
     
  • 2.35, Нанобот (ok), 18:08, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Иксперды по высоконадёжным системам подтянулись
     
     
  • 3.46, Аноним (-), 00:54, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Не суди по себе - лучше выскажи своё скромное мнение.
     

  • 1.6, Аноним (6), 12:21, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    "Например, платформа CIP может быть использована для управления генерацией и передачей электроэнергии, нефте- и газопроводами, системами водозабора и водоотведения, коммуникационными магистралями, системами здравоохранения и транспорта."
    Удачного плавания в бесконечность 8)
     
     
  • 2.11, Аноним (-), 12:58, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +2 +/
    А вы не в курсе, под какой ОС современные SCADA в большинстве своем?!
     
     
  • 3.26, _ (??), 16:28, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Лучше выбери незнание и крепкий сон ... :-/
     
  • 3.33, none_first (ok), 17:47, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    это те, кот. по ч-л желанию могут отправить турбину в космос? ;)
     

  • 1.7, Аноним (-), 12:28, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    То есть по планам это будет лучшее творение ближайшие 60 лет
     
     
  • 2.10, Анонимизатор (?), 12:44, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Наконец-то сделают хоть что-то цивильное.


     
     
  • 3.44, Вареник (?), 00:08, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > Наконец-то сделают хоть что-то цивильное.

    Анонсировали коммунизм. Верифицировать моноядро, даже с минимальным набором дров - утопия.

     
     
  • 4.55, Василий Теркин (?), 10:32, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    >> Наконец-то сделают хоть что-то цивильное.
    > Анонсировали коммунизм. Верифицировать моноядро, даже с минимальным набором дров - утопия.

    А зачем это делать? Есть показатели вероятности, есть теория надежности. Ловить блох в отдельных блоках совсем не обязательно, если вопрос касается системы в целом.

     
     
  • 5.58, Вареник (?), 18:13, 06/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Действительно, зачем производители авто, самолетов, медоборудования парятся с верификацией компонентов.

    Ведь с достаточно большой вероятностью пронесет и ничего не случится. Групые люди, теории вероятности не знают.

     
     
  • 6.63, bOOster (ok), 06:26, 13/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    > Действительно, зачем производители авто, самолетов, медоборудования парятся с верификацией
    > компонентов.
    > Ведь с достаточно большой вероятностью пронесет и ничего не случится. Групые люди,
    > теории вероятности не знают.

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

     

  • 1.22, Аноним (-), 15:42, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Когда нормальный десктоп представят? Это тоже критически важно.
     
  • 1.23, SpiritOfStallman (ok), 15:52, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Еще один (или просто очередной?) громкий анонс. И вновь никакого кода.

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

     
     
  • 2.30, _ (??), 17:23, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +/
    Трудно сказать. Hitachi и Siemens опыт в таких проектах точно имеют, остальные _относительно_ никто и звать их - ....
     
  • 2.41, fail (?), 21:39, 05/04/2016 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Еще один (или просто очередной?) громкий анонс. И вновь никакого кода.

    Какой-тaкoй кoд-шмoд, шановный - люди cypьeзные лопатами не махають.
    Эта месага нe для тex. ЦA

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

    Возможно, для кого-то это очeнь серьёзно..
    Kеу wоrds:
    - 2001
    - .com
    - bubble
    - etc.


     

  • 1.40, anonymous (??), 21:34, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Сименс и стандарты? Не смешите мои тапочки, они для каждого стандарта умудряются построить несовместимую систему.
     
  • 1.42, Вареник (?), 23:45, 05/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    >> Надёжность - платформа основана на ядре Linux, уже применяемом во многих промышленных системах;

    Надежное моноядро для критических компонентов... Кого они хотят этим купить, когда даже в телефонах критичные компоненты делают под L4se/OKL4, а Linux-Android часть под гипервизором?

     
  • 1.48, robux (ok), 08:14, 06/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Зашёл я на сайт этой CIPы... Там же одни лозунги!
    Ни кода, ни скриншотов, ни даже архитектуры системы.

    Какой-то сферический конь в вакууме, и то, данный в лозунгах.
    Неужели в Linux Foundation так всё плохо на сегодня?..

     
  • 1.60, bOOster (ok), 06:06, 13/04/2016 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Лет 10 я слышу одни и теже лозунги от Линуксоидов, в разных проектах, а в высоконадежное оборудование строят либо на RTOSах либо на QNX либо на FreeBSD

    ПыСы. А роутеры на Лине как падали - так и падают.

     

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



    Спонсоры:
    Inferno Solutions
    Ideco
    A-Real
    Hosting by Hoster.ru
    Хостинг:

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