Илья - Программистское
April 17th, 2014
09:08 pm

[Link]

Previous Entry Add to Memories Share Next Entry
Программистское
Я упоминание этой статьи видел в какой-то вышедшей в издательстве "Мир" в конце 1980х годов переводной книжке, которая была у моего папы, но саму статью читаю впервые. Почему надежный софтвер для СОИ невозможен. Интересно, что изменилось с тех пор? Думаю, что ничего; никакой написанный заранее софтвер не сможет предусмотреть все обстоятельства такой войны. Парнас пишет, что софтвер по природе своей ненадежен; хорошо, пускай он будет надежно работать большую часть времени. Проблема в том, что без ядерной войны реалистичное тестирования софтвера СОИ невозможно, и неизвестно, какую часть времени он будет надежно работать.

Мне при встрече anhinga_anhinga рассказывал про формальную верификацию корабельной системы управления огнем Aegis; из памяти всплывает цифра $50 миллионов. Что не помешало оснащенному этой системой американскому ракетному крейсеру по ошибке сбить иранский авиалайнер.

Tags:

(8 comments | Leave a comment)

Comments
 
[User Picture]
From:solomon2
Date:April 18th, 2014 05:02 am (UTC)
(Link)
Думаю, что сложность проблемы Парнасом сильно преувеличена по политическим мотивам.
[User Picture]
From:blue_slonopotam
Date:April 18th, 2014 06:04 am (UTC)
(Link)
сдаётся мне, aegis за свой-чужой и особенно за гражданский-военный не отвечает. скорее внесли в список целей -будет работать. уверен, что просто распи.... на мостике.

да и 50 млн сильно жирно. это же кто-то вроде грамматеха делал бы. был у них, они очень не жирно живут.

Edited at 2014-04-18 06:07 am (UTC)
[User Picture]
From:mopexod
Date:April 18th, 2014 06:08 am (UTC)
(Link)
Про управление СОИ нам рассказывал Борис Раушенбах. Утверждал, что это задача об исходно неустойчивой ситуации, где большинство действий уводят от точки неустойчивого равновесия. Поэтому решать её нет смысла (в тех терминах, как она была задана в конце 80-х).
[User Picture]
From:plakhov
Date:April 18th, 2014 07:25 am (UTC)
(Link)
Спасибо, очень интересные ссылки, обе.
[User Picture]
From:e2pii1
Date:April 19th, 2014 11:13 am (UTC)
(Link)
старая ссылка опять попалась - Аркадий Найшуль: ракетно-космические ошибки и как он с ними боролся
http://politru.goslyudi.ru/article/2012/04/30/mistakes/
[User Picture]
From:ygam
Date:April 27th, 2014 03:04 am (UTC)
(Link)
Спасибо.
[User Picture]
From:e2pii1
Date:April 27th, 2014 08:58 am (UTC)
(Link)
Там еще ссылка была на его статью про полет Гагарина, как у Гагарина был значительный риск не вернуться живым.
[User Picture]
From:ilya_dogolazky
Date:April 18th, 2014 08:42 am (UTC)
(Link)
В каком смысле "по ошибке"? Люди там решили самолёт сбить, а компутер его вполне успешно сбил.
Powered by LiveJournal.com