forum.opennet.ru

"Организация Linux Foundation представила платформу для крити..."

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Подсказка: Второй уровень иерархии тем в форуме реализован через вкладку "Показ ключевых тем".

. "Например:"	+5 +/–
Сообщение от Crazy Alex (ok), 05-Апр-16, 19:03
Всё это красивая болтовня. А в реальных высоконадёжных системах полагаются на дублирование компонент, работающих на разных принципах, и на проектирование, при октором в случае отказа чего-либо остальныевы элементы выходят в более-менее безопасное состояние. А математические доказательства корректности, во-первых, проходят только для крайне простого кода, а во-вторых держатся на предположении о корректности специфиакации.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Организация Linux Foundation представила платформу для крити..., opennews, 05-Апр-16, 11:40 [смотреть все]

Только кода на сайте пока нет, одни планы , Аноним, 05-Апр-16, 11:40 (1)
На базе ядра Linux Смешные Высоконадёжные системы создаются совсем иначе , Аноним, 05-Апр-16, 12:05 (2) //
- Чё не так-то Майкрософт танцует Отдел маркетинга потеет Всё трендово , Andrey Mitrofanov, 05-Апр-16, 12:08 (3)
- Вы разбираетесь в данной теме Посоветуйте пожалуйста, что можно почитать по теме, Аноним, 05-Апр-16, 12:08 (4) //
  - Mathematically Verified Software Kernels Raising the Bar for High Assurance Im, Срп, 05-Апр-16, 13:42 (13) //
    - И какие высоконадежные системы вы знаете, которые это используют , XoRe, 05-Апр-16, 17:30 (31)
      - а зачем знать - тут разрабатывать собираются, т е можно и с нуля попробовать, н, Очередной аноним, 06-Апр-16, 08:30 (49)
        
        золотые слова, XoRe, 07-Апр-16, 19:05 (59)
    - Всё это красивая болтовня А в реальных высоконадёжных системах полагаются на ду , Crazy Alex, 05-Апр-16, 19:03 (36)
      - да да, а операционки которые держатся на доказательствах , Аноним, 05-Апр-16, 19:31 (38)
        
        Во-первых, верифицируются микроядра и изолируемые компоненты Т е моноблочная 70, Вареник, 06-Апр-16, 00:00 (43)
      - Ну и повсеместные проверки состояний, исполнений, результатов даже в ущерб произ, bOOster, 13-Апр-16, 06:14 (62)
    - Треп пустой Кто-то диссертацию защитил Кроме академической - никакой ценности , bOOster, 13-Апр-16, 06:09 (61)
- ммм, да у вас будапешт голубчик, Аноним, 05-Апр-16, 12:09 (5)
- Естественно, в них обязательно должен быть крайний, конкретный которого потом ра, Аноним, 05-Апр-16, 12:42 (8)
- Угу Слишком сложное для сабжевой задачи В самом ядре все баги отловить нереаль, Анонимизатор, 05-Апр-16, 12:43 (9)
- Не надо нас учить своим очистительным клизмам А ядро в любой момент можно будет, Аноним, 05-Апр-16, 14:27 (15) //
  - На куда, простите , Michael Shigorin, 05-Апр-16, 14:28 (17) //
    - QNX 716 kju 720 716 603 n 712 603 ks or B 712 kju 720 n 754, Andrey Mitrofanov, 05-Апр-16, 14:31 (18)
      - Так это другие буковки PS да и с заменой юзерспейса лёгким взмахом ре рук, Michael Shigorin, 05-Апр-16, 15:04 (19)
        
        Ты Майкл просто старый хрыч Смотри как нынче супер надёжные проекты делаются , _, 05-Апр-16, 16:26 (25)
        
        ЙОШКЕН КОТ 11 Ну как должно будучи на PHP написано, так и работает , RomanCh, 05-Апр-16, 16:53 (28)
        В противовес http www theregister co uk 2013 06 19 nuke_plants_to_keep_pdp11_u, Аноним, 05-Апр-16, 17:34 (32)
        Ага, точно работает Только ответ, не тот что нужно , невидимка, 06-Апр-16, 04:29 (47)
- Всё познаётся в сравнении Помните Code Red , Michael Shigorin, 05-Апр-16, 14:28 (16) //
  - я даже застал всю это красоту нимду тоже в действии, ИТ пачками выдергивало се, none_first, 05-Апр-16, 17:50 (34) //
    - Ну человек наверняка имел-то в виду совсем не винду, а намёкивал на специализиро, Michael Shigorin, 05-Апр-16, 19:40 (39)
      - При всём уважении к вашей точке зрения, подавляющая часть IT-культуры - таки про, nbw, 06-Апр-16, 09:46 (51)
        
        Это так а если копнуть чуточку глубже, то недавно пробегал очередной top10 и то, Michael Shigorin, 06-Апр-16, 17:32 (57)
- Ага, ставится отстой типа windows nt или qnx Только тперь это Г даже за откаты , Sfinx, 05-Апр-16, 15:58 (24) //
  - Я в 10 лет тоже верил, что скоро все хорошие люди соединятся в один большой, пла, _, 05-Апр-16, 16:39 (27) //
    - Хорошие таки валили из СССР со страшной силой , Аноним, 06-Апр-16, 00:32 (45)
      - В Израиль, полы подметать , nbw, 06-Апр-16, 09:49 (52)
        
        Какие спецы - такая и работа Это только в СССР-ии и России тебя будут держать, Василий Теркин, 06-Апр-16, 10:28 (54)
      - Поспрашивайте у таких, к чему они пришли, свалив Познавательно , Michael Shigorin, 06-Апр-16, 17:29 (56)
        
        google, yahoo сейчас конечно не фонтан , а один не сознаётся так как в М , не п, Sarmat, 13-Апр-16, 12:41 (64)
- Иксперды по высоконадёжным системам подтянулись, Нанобот, 05-Апр-16, 18:08 (35) //
  - Не суди по себе - лучше выскажи своё скромное мнение , Аноним, 06-Апр-16, 00:54 (46)
Например, платформа CIP может быть использована для управления генерацией и пер, Аноним, 05-Апр-16, 12:21 (6) //
- А вы не в курсе, под какой ОС современные SCADA в большинстве своем , Аноним, 05-Апр-16, 12:58 (11) //
  - Лучше выбери незнание и крепкий сон - , _, 05-Апр-16, 16:28 (26)
  - это те, кот по ч-л желанию могут отправить турбину в космос , none_first, 05-Апр-16, 17:47 (33)
То есть по планам это будет лучшее творение ближайшие 60 лет, Аноним, 05-Апр-16, 12:28 (7) //
- Наконец-то сделают хоть что-то цивильное , Анонимизатор, 05-Апр-16, 12:44 (10) //
  - Анонсировали коммунизм Верифицировать моноядро, даже с минимальным набором дров, Вареник, 06-Апр-16, 00:08 (44) //
    - А зачем это делать Есть показатели вероятности, есть теория надежности Ловить , Василий Теркин, 06-Апр-16, 10:32 (55)
      - Действительно, зачем производители авто, самолетов, медоборудования парятся с ве, Вареник, 06-Апр-16, 18:13 (58)
        
        Верифицируют компоненты для того чтобы в любом случае компоненты соответствовали, bOOster, 13-Апр-16, 06:26 (63)
Когда нормальный десктоп представят Это тоже критически важно , Аноним, 05-Апр-16, 15:42 (22)
Еще один или просто очередной громкий анонс И вновь никакого кода Может, кон, SpiritOfStallman, 05-Апр-16, 15:52 (23) //
- Трудно сказать Hitachi и Siemens опыт в таких проектах точно имеют, остальные _, _, 05-Апр-16, 17:23 (30)
- Какой-тaкoй кoд-шмoд, шановный - люди cypьeзные лопатами не махають Эта месага н, fail, 05-Апр-16, 21:39 (41)
Сименс и стандарты Не смешите мои тапочки, они для каждого стандарта умудряются, anonymous, 05-Апр-16, 21:34 (40)
Надежное моноядро для критических компонентов Кого они хотят этим купить, ког, Вареник, 05-Апр-16, 23:45 (42)
Зашёл я на сайт этой CIPы Там же одни лозунги Ни кода, ни скриншотов, ни даже, robux, 06-Апр-16, 08:14 (48)
Лет 10 я слышу одни и теже лозунги от Линуксоидов, в разных проектах, а в высоко, bOOster, 13-Апр-16, 06:06 (60)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру