Жизненно важный софт

← →
Чеширский_Кот © (2005-01-15 09:54) [0]

собственно сабж.

существует ли жизненно важный софт?

← →
вразлет © (2005-01-15 09:56) [1]

это как?)

← →
Чеширский_Кот © (2005-01-15 09:58) [2]

от которого зависит ни много ни мало ЖИЗНЬ человека (или людей)

← →
Kerk © (2005-01-15 10:00) [3]

Чеширский_Кот © (15.01.05 9:58) [2]
в больницах. на АЭС

← →
VMcL © (2005-01-15 10:01) [4]

>>Чеширский_Кот © (15.01.05 09:54)

В общем случае нет, поскольку компьютер не является необходимостью. Но, учитывая текущее состояние плпнеты Земля, можно назвать пример: система управления атомной электростанцией.

← →
Чеширский_Кот © (2005-01-15 10:04) [5]

> VMcL © (15.01.05 10:01) [4]

интересно, а там какая ось стоит?

← →
Kerk © (2005-01-15 10:04) [6]

Чеширский_Кот © (15.01.05 10:04) [5]
ось реального времени какая-нибудь

← →
Чеширский_Кот © (2005-01-15 10:08) [7]

что значит ось реального времени?
окошки - не есть ось реального времени? (не знаю, поэтому спрашиваю

← →
Kerk © (2005-01-15 10:08) [8]

Чеширский_Кот © (15.01.05 10:08) [7]
нет.. окошки - не ось реального времени.
ось реального времени, например, - QNX

← →
Чеширский_Кот © (2005-01-15 10:11) [9]

я вот думаю... если в том софте что-то глюканет (а как же иначе?)... программеру сразу сносят голову или как?

← →
вразлет © (2005-01-15 10:11) [10]

Ну, к примеру системы оповещения ГО.
Когда я работал в МЧС видел одну такую. В г. Южный (20 км от Одессы) существует уникальный многофункциональный припортовый завод. Там много чего производят, в.т.ч. и аммиак. В нескольких огромных цистернах аммиака столько, что в случае аварии в считанные часы (если не в минуты) на Поскоте(Одесский жилмассив "поселок Котовского", 250 тыс. чел) не останется ничего живого. В цистернах установлены датчики, информация от которых поступает на пункт управления, и там обрабатывается. При аварии система оповещения набирает номера телефонов сотрудников соответствующих служб и оповещает их.

← →
Antonn © (2005-01-15 10:25) [11]

> существует ли жизненно важный софт?

delphi :) Если б им не занимался, давно шлялся по подворотням и со шпаной.
AutoCAD - работа. Нет работы - нет жизни.

← →
Sergey_Masloff (2005-01-15 11:04) [12]

вразлет © (15.01.05 10:11) [10]
>При аварии система оповещения набирает номера телефонов >сотрудников соответствующих служб и оповещает их.
Чтобы успели смотать ;-)

← →
TUser © (2005-01-15 11:40) [13]

Автоматический распознаватель и удалятель флуда. Правда такой еще не написали, увы.

← →
iZEN © (2005-01-15 12:17) [14]

К Чеширский_Кот © (15.01.05 09:54).
У Гагарина надо было спрашивать.

← →
KilkennyCat © (2005-01-15 12:19) [15]

> если в том софте что-то глюканет (а как же иначе?)...

таких не берут в программисты.

← →
Чеширский_Кот © (2005-01-15 12:22) [16]

но человеку свойственно ошибаться

← →
uny © (2005-01-15 12:45) [17]

в Омон Ра существовал жизненно важный hard, значит и soft тоже. кто то типа Била наверно:)

← →
Sergey_Masloff (2005-01-15 13:30) [18]

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

Любопытно, что никто не приводит "алгоритм в мозге" как пример сабжа. Зато о нем тут же вспоминают, как только начинаешь говорить о религии. Видимо "алгоритм в мозге" становится жизненно-важным софтом лишь в контексте разговоров о религии ad hoc. А иных контекстах такое определение даже в голову не придет.

> Sergey_Masloff (15.01.05 13:30) [18]
Верно ли понимать, что можно сформулировать ряд требований, выполнение которых позволяет написать программу, которую можно проанализировать и доказать, что она никогда не совершит ошибку? Пусть эти требования будут неприятны для разработчика, и придется отказаться от многих привычных вещей (типа того же динамического распределения памяти), но знать их очень хотелось бы. Если не затруднит - приведите весь список, plz.

>"алгоритм в мозге"
а было бы здорово покопаться, посмотреть, переписать может какие части)

← →
Sergey_Masloff (2005-01-15 14:16) [22]

TUser © (15.01.05 13:59) [20]
>Верно ли понимать, что можно сформулировать ряд требований, >выполнение которых позволяет написать программу, которую можно >проанализировать и доказать, что она никогда не совершит ошибку?
Ну да, есть такое. Именно математически доказывается что программа никогда не совершит ошибку (с поправкой на надежность аппаратной платформы которая не может быть 100%). Конечно конкретным математическим аппаратом я не владею - не моя специальность. Но что он существует - 100%. Естественно, речь идет НЕ о универсальных программах для универсальных же сред исполнения. Если вы думаете что этот аппарат можно применить к программе общего назначения написаной на универсальном же языке (C, Pascal etc) работающей в универсальной исполнительной среде (Windows, *Nix, dos etc) - это не так. Так что для нас (обычных программистов)практическая ценность этого аппарата минимальна.

Kerk © (15.01.05 10:08) [8]
Чеширский_Кот © (15.01.05 10:08) [7]
нет.. окошки - не ось реального времени.
ось реального времени, например, - QNX

Обе они реального времени, только степень реакции разная.

> программеру сразу сносят голову или как?
Нет, ему просто не разрешают жить дальше какого-то расстояния от станции :)

kaif © (15.01.05 13:55) [19]
в сабже есть слово "софт".. растолкуй мне значение этого слова применительно к мозгу.. тогда твой "алгоритм в мозге" перестанет быть оффтопиком.

Жизненно важный софт Найти похожие ветки