Дублирование функций на разных платформах + варианты с ручным управлением.

> А чему бы вы доверили свою жизнь?

Господу Богу нашему, аминь

ЯП: C + Assembler(Если что не так- винить не кого, ибо ССЗБ- плохой код написал- плохо и работает). ОС и прочее ПО: любые свободные, стабильные, желательно заточенные под реалтайм. Железо: кластер или грид- система из IA64, AMD64, PPC64 и SPARC64.

>> Дублирование функций на разных платформах + варианты с ручным управлением.

Аналогично. Глупо доверять всё чему-то одному.

многократное резервирование/дублирование - и можно на любой. хотя, это не спасет от воспроизводимых багов, когда все узлы выдадут одно и то же неверное значение.

А разве наши доблестные авиастроители уже не разработали такие системы?

Вопрос уже по другому ставить надо: Чему мы доверяем свою повседневную жизнь садясь в кресло боинга/аэробуса????!

Какое-нибудь RTOS микроядро. Язык — лисп какой-нибудь достаточно компактный.

Из железа — risc-процессор, например тот же MIPS.

И да, естественно всё с открытым кодом, чтобы проверить можно было.

Исключительно механика и простейшие электрические схемы. Никакой электроники в управлении основными системами. Ее применять только для всяких систем контроля, сбора статистики и управления вспомогательными функциями, не имеющими непосредственного отношения с жизнеобеспечению.

Людям

+100500 этому комментарию.

> Исключительно механика и простейшие электрические схемы.
то-то у меня лифт постоянно глючит

если всё-таки вопрос о ЯЗЫКАХ а не о железе, то erlang, пожалуй.

Исключительно механика и простейшие электрические схемы. Никакой электроники в управлении основными системами. Ее применять только для всяких систем контроля, сбора статистики и управления вспомогательными функциями, не имеющими непосредственного отношения с жизнеобеспечению.

аналогично

то-то у меня лифт постоянно глючит

Угу. Если бы в нем стояла электронная система управления со всякими наворотами, то он бы не глючил.... потому, что сломался-бы через пол-года эксплуатации ;)

Пенек какой, гента, С

ЯП: Си
ОС: Debian/RedHat Enterprise Linux
Жезезо: дублированный IBM Power

А если система большая и ручное управление не вариант?

Ну большая, или требует быстрой реакции, недоступной человеку

Механике, гидравлике, электронике не сложнее радиоприёмника, людям.

Дык там много ручного управления, причем может еще сесть на пузо или в воду. У тут один полет в космос, надеятся не накого, ручное управление невозможно, ответственный - вы.

Механика то будет, и тоже может сломаться. Вопрос о электронике и софте. Или химический состав воздуха контролировать тоже механически будете?

mips/itron/whatever/whatever/схема или мелкий лисп+C.

Пенек какой, гента, С

То что совсем? Гента - одна из самый нестабильных ОС, созданная для экспериментаторов. Нестабильность идет не из самого софта, а из 1001 способа собрать его криво даже при высоком уровне интеллекта.

OpenBSD + C

> Людям

Это самое опасное. Они тебя сами прикончат.

У Хайнлайна, вон, вообще всё на реле и перфокартах было, и ничего - астрогация процветала.

Попрошу не упоминать механике более в треде. Кто несогласен - вперде сортировать массив на миллиард элементов

Лучше закодить в железе на verilog/*HDL. Правда в случае ошибки будет ещё хуже, а вероятность ошибки ещё больше)

> Например ЯП. Слишком высокоуровневый - больше софта, больше багов и вы не ответственны за них. Мало ли чего они написали на 100500 уровне. Ассемблер? А вы уверены что сами все не испортите и не проскочит баг, которого не было бы в управляемом языке? Уверены что точно нет утечки памяти?

По хорошему, весь код должен пройти формальную верификацию. http://ru.wikipedia.org/wiki/Формальная_верификация

А какому программному стеку вы бы доверили свою жизнь? Вам нужно написать программу управления своей системы жизнеобеспечения, своего космического корабля например. А если космического города?

Вот вопрос: какая она, ваша платформа? (железо, ОС, middle-ware если есть, библиотеки, ЯП)

Я бы сделал несколько независимых программных реализаций управлящей логики, и гонял бы каждую из них на нескольких разных аппаратных платформах. Пока все хорошо, результаты всех рассчетов совпадают. Когда один или несколько программно-аппаратных комплексов отклоняются в своих показаниях от большинства, есть хороший шанс выловить неисправность. Ну и предусмотреть возможность их перезапуска.

Американские военные вроде на аде пишут.

Но так и не известно почему. Что оличает аду от других яп?

http://www.ericsson.com/about/publications/review/2002_03/165.shtml вот этой штуке.

4.2 Она намного стабильнее, чем всякие там бубунты и прочее. Хотя дебиан стабле еще ничего так.

а промышленные контроллеры с ladder diagram почему никто не вспомнил? надежная имхо штука

IBM zSeries : zOS + IMS + MQ + CICS + COBOL

Шкльнеги, вам-таки надо обяснить, что это такое?

Или сами погуглите?

Ты уже доверяешь, когда садишься в самолёт. И выбора нет.

у кошек - 9 жизней.

когда Кисс захочет на прогулку, удар - двумя мощными лапами.

сила - неудержима.

через две минуту - идёт навстрёчу, славна она.

C#, .NET, Microsoft Windows 7

ada @ integrity-178b

Точно не на Java!

Не хочу задохнуться или утонуть в говне, пока система жизнеобеспечения уйдет в себя на цикл полной сборки мусора.

> а промышленные контроллеры с ladder diagram почему никто не вспомнил? надежная имхо штука

Лорчую. Но приятнее видеть fbd вместо ladder. Вероятность ошибиться меньше.

> Вот вопрос: какая она, ваша платформа? (железо, ОС, middle-ware если есть, библиотеки, ЯП)

Единственное мерило - проверка временем, нагрузкой и экстремальными ситуациями. Если система нормально эти вещи выдерживала - можно доверять.

Еще существует такое понятие, как доказательство работы алгоритма. Как-то там алгорим рассматривается как машина каких-то конечных состояний, и если они переключаются «правильно», считается что алгоритм работает правильно. Если система так же подвергалась такому анализу, то можно доверять вдвойне.

Еще в авиации системы управления полетом делаются на нескольких микропроцессорах разных фирм, на нескольких операционках и реализуются разными неконтактирующими группами программистов. Работают такие системы в параллель, 4-8 блоков. Если значения, выдаваемые одним блоком отличаются от значений других блоков, он отключается. Впринципе, такие системы достаточно надёжны.

Не забывай ещё про Forth

Покойся с миром.

vertexua, казалось бы скромный ник - вертих*й, вертихай. зачем спорить с ним ?

Хммм, переделать вертекс-ю-эй в чтото еще - очень по-взрослому. Вы когда парня и девушку видите, то орете «Тили-тили тесто, жених и невеста!»?

QNX,BSD

С, BASIC

Вам нужно написать программу управления своей системы жизнеобеспечения, своего космического корабля например. А если космического города?

Тогда однозначно QNX, писать - на чистом С.

А вот систему жизнедеятельности бункера с нехорошими людьми - однозначно под седьмым мастдаем на си-диез. Чтобы и пяти минут не проработало :)

А что если она проявит свою нестабильность и прекрасно заработает? Непорядок, для них нужен стабильнеший проверенный газенваген с кластером из ста машин для дублирования. Шутка. Мир во всем мире

Не Ж)

Так правильнее:

TR-DOS, ZX Spectrum, Basic.