От NV
К SerB
Дата 06.12.2010 14:45:21
Рубрики Космос;

И американская, и европейская...

>Приветствия!

>Помнится, и Марс-2 из-за ошибки ПО угробили, и один из "Фобосов".

>Видимо, понятие "QA" для отечественных ракетостроителей - малоосмысленный набор из двух латинских букв еще с тех времен :-(

помните знаменитую ошибку в фортрановском опереторе цикла - точку поставили вместо запятой ? И оператор цикла превратился в оператор присвоения ...

А у одного из Арианов - переполнение при преобразовании 64-битного числа с плаввающей точкой в 16-битное целое.

Так что - это случай не единичный.

Виталий

От Паршев
К NV (06.12.2010 14:45:21)
Дата 06.12.2010 23:34:58

А не двоеточие вместо точки с запятой? (-)


От tarasv
К Паршев (06.12.2010 23:34:58)
Дата 06.12.2010 23:40:15

Re: Это уже скорее Си чем Фортран (-)


От S. Engineer
К NV (06.12.2010 14:45:21)
Дата 06.12.2010 23:18:12

Добавлю ошибочек

–Взрыв ракеты "Пэтриот» в Саудовской Аравии 25 февраля 1991, который привел к гибели 28 человек, связан с ошибками округления.

–23 августа 1991 в Гандсфиорде в Норвегии затонула нефтяная платформа, что привело к убытку почти в один миллиард долларов. Это, как предполагается, было результатом inaccurate finite element analysis.

От tarasv
К S. Engineer (06.12.2010 23:18:12)
Дата 06.12.2010 23:37:40

Re: Исправим ошибочки

>–Взрыв ракеты "Пэтриот» в Саудовской Аравии 25 февраля 1991, который привел к гибели 28 человек, связан с ошибками округления.

25 февраля 1991 ЗРК Пэтриот из-за ошибки в ПО не смог обстрелять иракский Скад который попал в казарму в результате чего погибло 28 солдат.


Орфографический словарь читал - не помогает :)

От S. Engineer
К tarasv (06.12.2010 23:37:40)
Дата 06.12.2010 23:46:27

тоже неплохо! :))) (-)


От Alexeich
К NV (06.12.2010 14:45:21)
Дата 06.12.2010 18:16:00

Re: И американская,

>помните знаменитую ошибку в фортрановском опереторе цикла - точку поставили вместо запятой ? И оператор цикла превратился в оператор присвоения ...

Вроде все было не совсем так, не цикл превратился в оператор присвоения, а цикл с целочисленными значениям переменной цикла и шагом превратился в цикл с нецелочисленным значением переменной и шагом в 1, так примерно:
вместо for i=1,11,2 записали for i=1,11.2
Такую ошибку глазами отловить значительно сложнее.

От NV
К Alexeich (06.12.2010 18:16:00)
Дата 06.12.2010 19:54:43

Поскольку это были 60-е и соответственно Фортран-4 - то именно присвоение

>>помните знаменитую ошибку в фортрановском опереторе цикла - точку поставили вместо запятой ? И оператор цикла превратился в оператор присвоения ...
>
>Вроде все было не совсем так, не цикл превратился в оператор присвоения, а цикл с целочисленными значениям переменной цикла и шагом превратился в цикл с нецелочисленным значением переменной и шагом в 1, так примерно:
>вместо for i=1,11,2 записали for i=1,11.2
>Такую ошибку глазами отловить значительно сложнее.

То есть примерно так - вместо

DO 6 I=1,10

получилось

DO 6 I=1.10 - поскольку в Фортране пробелы игнорируются, то это все равно что

DO6I = 1.10

Что увы и требовалось доказать.

Виталий

От Alexeich
К NV (06.12.2010 19:54:43)
Дата 07.12.2010 01:37:01

Re: Поскольку это...

>То есть примерно так - вместо

>DO 6 I=1,10

>получилось

>DO 6 I=1.10 - поскольку в Фортране пробелы игнорируются, то это все равно что

>DO6I = 1.10

>Что увы и требовалось доказать.

Ну не знаю? Одна из участниц "разбора полетов" рассказывала в первом варианте, хотя за давностью лет, конечно, и она могла перепутать, и я мог подзабыть.

От Василий Фофанов
К NV (06.12.2010 14:45:21)
Дата 06.12.2010 15:00:01

Re: И американская,

>А у одного из Арианов - переполнение при преобразовании 64-битного числа с плаввающей точкой в 16-битное целое.

Строго говоря, проблема там была не в самом переполнении, а в том что это переполнение привело к исключению. Или еще более строго говоря, проблема была в том что это исключение было дебильным образом обработано :)

От Iva
К Василий Фофанов (06.12.2010 15:00:01)
Дата 06.12.2010 15:06:23

Re: И американская,

Привет!

>Строго говоря, проблема там была не в самом переполнении, а в том что это переполнение привело к исключению. Или еще более строго говоря, проблема была в том что это исключение было дебильным образом обработано :)

Все гораздо сложнее. Там другие алгоритмы и даже принципы. Поэтому не все так просто.

Владимир

От Кудинов Игорь
К Iva (06.12.2010 15:06:23)
Дата 06.12.2010 15:19:29

а, так вы спец! сколько там ОЗУ в БЦВМ "Бурана" было, не забыли еще


>Все гораздо сложнее. Там другие алгоритмы и даже принципы. Поэтому не все так просто.

наверное, стоит напомнить.

о -
https://www.vif2ne.org/nvz/forum/2/archive/64/64763.htm



От Василий Фофанов
К Iva (06.12.2010 15:06:23)
Дата 06.12.2010 15:13:37

Re: И американская,

>Все гораздо сложнее. Там другие алгоритмы и даже принципы.

Я, простите, программист на языке Ада :) И его преподаю. Так что я полностью в курсе "алгоритмов и даже принципов".

> Поэтому не все так просто.

Все не просто, а очень просто :) Последовательность событий приведших к утрате "пуска 501" известна досконально и собственно является учебным пособием.

От Iva
К Василий Фофанов (06.12.2010 15:13:37)
Дата 06.12.2010 15:32:00

Re: И американская,

Привет!

>>Все гораздо сложнее. Там другие алгоритмы и даже принципы.
>
>Я, простите, программист на языке Ада :) И его преподаю. Так что я полностью в курсе "алгоритмов и даже принципов".

Этот язык не имеет отношения к действительности. Я о другом, но я лучше помолчу, а то запишут в шпионы или разгласители.

Владимир

От Василий Фофанов
К Iva (06.12.2010 15:32:00)
Дата 06.12.2010 16:30:09

Re: И американская,

>Этот язык не имеет отношения к действительности.

Эээ к какой действительности он не имеет отношения, к ариан-5? Оппа. 8 лет учебы и 12 лет работы на одном и том же месте псу под хвост похоже.

От Iva
К Василий Фофанов (06.12.2010 16:30:09)
Дата 06.12.2010 16:34:50

К НПО Пилюгина. (-)


От Василий Фофанов
К Iva (06.12.2010 16:34:50)
Дата 06.12.2010 16:47:46

Аааа... ну это почти наверняка

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

От AFirsov
К Василий Фофанов (06.12.2010 15:13:37)
Дата 06.12.2010 15:16:40

С-с-с-сочувствую... У нас на Аде что-нибудь ездит, стреляет? (-)



От Василий Фофанов
К AFirsov (06.12.2010 15:16:40)
Дата 06.12.2010 16:42:22

Именно "ездит, стреляет" у нас на Аде по открытым данным ничего.Но коечто летает

Например на Бе-200, Ил-96М и Ту-204 есть софт на Аде насколько знаю.

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

Но вообще Ада у нас в основном умерла одновременно с Союзом ССР. Я в некотором роде присутствовал при предсмертных конвульсиях. Нынешние российские общения с Адой связаны в основном с использованием западных встроенных систем от Куртис-Райт, Элайд сигнал и т.п.

От AFirsov
К Василий Фофанов (06.12.2010 16:42:22)
Дата 07.12.2010 00:36:39

Re: Именно "ездит, стреляет" у нас на Аде по открытым данным ничего.Но коечто ле

>Например на Бе-200, Ил-96М и Ту-204 есть софт на Аде насколько знаю.

Интересно, чей транслятор?

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

Ёк... страшно стало... На эрбасах точно?

>Но вообще Ада у нас в основном умерла одновременно с Союзом ССР.

Кто б, сомневался, достаточно посмотреть на формальное описание языка.

>Я в некотором роде присутствовал при предсмертных конвульсиях. Нынешние российские общения с Адой связаны в основном с использованием западных встроенных систем от Куртис-Райт, Элайд сигнал и т.п.

Не, когда денег много, можно программировать,что в кодах, что в PL1.

'С утра никогда не знаешь - какой рядовой тебя сегодня уволит'

От Василий Фофанов
К AFirsov (07.12.2010 00:36:39)
Дата 07.12.2010 06:06:35

Re: Именно "ездит,...

>>Например на Бе-200, Ил-96М и Ту-204 есть софт на Аде насколько знаю.
>
>Интересно, чей транслятор?

На Бе-200 DDC-I. Что у остальных не помню.

>>Если же фразу "у нас" понимать более широко, то Ада летает на всех эксплуатируемых российскими авиалиниями эрбасах и боингах. Если начнем израильские беспилотники юзать - там тоже Ада.
>
>Ёк... страшно стало... На эрбасах точно?

Абсолютно точно. А почему вам собственно от того стало страшно? Предпочитаете летать на джаве? :)

>>Но вообще Ада у нас в основном умерла одновременно с Союзом ССР.
>
>Кто б, сомневался, достаточно посмотреть на формальное описание языка.

Ой, какую-то вы ерунду написали. Ада умерла потому что со смертью СССР в нашей стране умерли также и все области высоких технологий где этот язык в мире востребован. Для Ады просто не осталось приложения в новой стране. Как собственно говоря и лично мне как специалисту на Аде.

>Не, когда денег много, можно программировать,что в кодах, что в PL1.

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