Скачать: CL | DM;

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

← →
Чеширский_Кот ©   (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

---

← →
kaif ©   (2005-01-15 13:55) [19]

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

---

← →
TUser ©   (2005-01-15 13:59) [20]

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

---

← →
uny ©   (2005-01-15 14:00) [21]

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

---

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

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

---

← →
Anatoly Podgoretsky ©   (2005-01-15 15:03) [23]

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

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

---

← →
Petr V. Abramov ©   (2005-01-15 17:37) [24]

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

---

← →
Kerk ©   (2005-01-15 17:41) [25]

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

---

Страницы: 1 вся ветка

Скачать: CL | DM;



Память: 0.51 MB
Время: 0.022 c