Ariane 5 launcher:
crash on June 4, 1996
cost = 500.000.000 USD (uninsured)
reason: Ariane 4 software was used for Ariane 5, which resulted in a runtime error (conversion of 64 bit floating-point number to a 16 bit signed integer)
([Meyer 1997], page 410)


Добрият език за програмиране не би позволил подобно преобразуване на типовете да се случва неконтролирано, дори по време на изпълнение.

Редактирано от виk на 02.09.05 22:18.

защото ако се ползваха, ни една да не беше излетяла досега.




NE SUTOR ULTRA CREPIDAM

а в добрия свят всяка жена иска да ти прави свирка и да гълта...
абе пич много си тъп... чак дразниш :)

Помня го тоя случай. Бил съм втори курс. Иво Пеев като бъркахме ни викаше, че заради такива програмисти като нас ракетата била отлетяла към слънцето (или нещо в тоя стил). Пишехме на Паскал тогава.

Колкото и дебилни ограничения да измисляш, никой не може да те защити от грешки. Но опитите да преодолееш дебилни ограничения определено спомагат за допускане на грешки.

А тъпия жабаркси марсоход преди 1-2 години за малко да не мръдне, ма добре че тия от НАСА не са чак толкова тъпи и явно бяха оставили някой C-модул с който му изтриха паметта и го подкараха.

Програмистки грешки винаги ще има. Такава е материята. Вярата ти, че рестрикциите на езика ги намалява граничи с религия или суеверие.

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

System Doctor Error:
Your girlfriend is pregnant.
(A)bort, (M)arry, (I)gnore?_

Is it the programming language's fault?

Although one may criticize the Ada exception mechanism, it could have been used here to catch the exception. In fact, quoting the report:

Not all the conversions were protected because a maximum workload target of 80% had been set for the SRI computer. To determine the vulnerability of unprotected code, an analysis was performed on every operation which could give rise to an ... operand error. This led to protection being added to four of [seven] variables... in the Ada code. However, three of the variables were left unprotected.

In other words the potential problem of failed arithmetic conversions was recognized. Unfortunately, the fatal exception was among the three that were not monitored, not the four that were.

Въпросът, каква е поуката от този инцидент? И още един, струва ли си инцидентът да бъде повторен, защото никой не си е взел поуки от него?

грешка на проектиране, никога не бива да се разчита и на неща от по-долна версия. 5та версия на този продукт е опит за по-добряване на 4та без да се осмислят нещата. Тук пойнта не е в език на програмиране, а в калпаво проектиране - грешката прокарана през версии и това, че проектант не я предвидил и отстранил.

Съдържаниет е скрито
Влезте за да го видите

reason: Ariane 4 software was used for Ariane 5, which resulted in a runtime error

Стига бе! Ариана 4 си летяла с грешния софтуер ...
Абе пич, много си тъп в изваждането на цитати. Нямаш ли нещо свое?
И като сме почнали с цитатите: Който не може, той учи другите.

че не трябва да се усъвършенстват неща които бачкат




NE SUTOR ULTRA CREPIDAM

Интересно съвпадение. В момента чета Software Project Survival Guide на Стив Макконъл. Там човекът споменава точно този инцидент с ракетата Ариана 5. Описва нещата в контекста на идеята, че продуктът не трябва да съдържа функционалност, която е ненужна или просто някой си е мислил, че ще е много "cool". Там дава няколко примера, как допълнителната функционалност струва повече за поддръжка и води до повече дефекти.

Неговата версия за инцидента е, че грешката, която е била фатална е била в модул, който не е бил необходим за Ариана 5. Той е бил остатък от софтуера за предишната ракета (Ариана 4). Програмистите просто били забравили да го махнат...

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

Съдържаниет е скрито
Влезте за да го видите

Редактирано от Дeшeв на 03.09.05 10:18.