-
Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.PO
STED!not-for-mail
From: Michal Kleczek <k...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Date: Thu, 14 Apr 2011 21:13:24 +0200
Organization: http://onet.pl
Lines: 59
Message-ID: <io7h0m$cno$1@news.onet.pl>
References: <inpsjn$nua$1@inews.gazeta.pl> <inqqea$9f4$1@inews.gazeta.pl>
<int0c8$bkd$1@inews.gazeta.pl> <invfrd$edj$1@inews.gazeta.pl>
<m...@4...com>
<f...@l...googlegroups.com>
<a...@4...com> <io6d5n$ngu$1@news.onet.pl>
<2...@4...com> <io6s9p$h5h$1@news.onet.pl>
<1...@4...com> <io72tm$eni$1@news.onet.pl>
<j...@4...com>
NNTP-Posting-Host: 213-238-68-76.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8Bit
X-Trace: news.onet.pl 1302808406 13048 213.238.68.76 (14 Apr 2011 19:13:26 GMT)
X-Complaints-To: n...@o...pl
NNTP-Posting-Date: Thu, 14 Apr 2011 19:13:26 +0000 (UTC)
User-Agent: KNode/4.4.9
Xref: news-archive.icm.edu.pl pl.comp.programming:189848
[ ukryj nagłówki ]A. L. wrote:
> On Thu, 14 Apr 2011 17:12:53 +0200, Michal Kleczek <k...@g...com>
> wrote:
>
>>Anegdota:
>>od razu zapuscilem gugla na "z language" i dostalem linki do wikipedii.
>>Poniewaz jest to zwiazane z "formal methods" seria odnosnikow zaprowadzila
>>mnie do http://en.wikipedia.org/wiki/B-Method - wymyslonej przez tegoz
>>samego autora co Z. Tam przeczytalem ze:
>>"B method has been used in some major safety-critical system applications
>>in Europe (such as in Paris Métro Line 14 and Ariane 5 rocket)." - no, w
>>koncu to metody formalne - do hardkorowych zastosowan.
>>I natychmiast mi sie przypomnialo o wypadku
>>http://en.wikipedia.org/wiki/Ariane_5_Flight_501
>>spowodowanym przez blad w oprogramowaniu.
>>
>>Ehh... zycie jest okrutne.
>
> Proponuje postudiowac DOKLADNIE przyczyny wypadku Ariane 5.
Postudiowalem, a powyzsze bylo tylko anegdota (celem tak naprawde bylo
posmianie sie ze stereotypow w rodzaju "OO - dobrze", "formal methods -
niezawodnie). Ale:
> Problem
> polegal na tym ze do Ariane 5 zastosowano system nawigacyjny od Ariane
> 4 ktory byl zaprojektowany na mniejsze przyspieszenia niz Ariane 5
> mogla osiagac podczas startu.
>
> Trudno w tym przypadku obwiniac sofrwate - software zachowal sie
> prawidlowo. Gdy liczby otrzymywane z systemu nawigacyjnego
> przekroczyly dopuszczalny zakres, komputer wylaczyl system
> nawigacyjny. Zgodnie ze specyfikacja.
To jakies waskie pojmowanie "prawidlowego zachowania oprogramowania".
Niewatpliwie wypadek byl spowodowany wadliwym dzialaniem systemu
komputerowego. Co wiecej - nie byla to awaria sprzetu (tzn. nic sie nie
spalilo, ani tez nie nastapila np. przypadkowa zmiana zawartosci pamieci),
lecz wadliwe dzialanie oprogramowania, ktore nie bylo przygotowane na
obsluge rzeczywistych danych wejsciowych. Nie nazwalbym tego "software
zachowal sie prawidlowo". To, ze zachowal sie zgodnie z jakas tam
specyfikacja nie oznacza, ze zachowal sie prawidlowo.
Operacja sie udala, pacjent zmarl. MSPANC
>
> Nie znam formalnych metod ktore sprawdzalyby poprawnosc i logike
> zalozen projektowych.
>
Czyli stosowanie metod formalnych nie zapobieglo wypadkowi.
Nie znam sie na metodach formalnych, ale wydawalo mi sie, ze stosowanie ich
ma zapobiegac pojawianiu sie bledow zarowno w implementacji jak i
_specyfikacji wymagan_ .
--
Michal
Następne wpisy z tego wątku
- 14.04.11 19:25 A.L.
- 14.04.11 19:27 Wojciech Jaczewski
- 14.04.11 19:41 Michal Kleczek
- 14.04.11 19:53 Wojciech Jaczewski
- 14.04.11 20:02 Wojciech Jaczewski
- 14.04.11 20:11 Maciej Sobczak
- 14.04.11 20:17 p...@p...onet.pl
- 14.04.11 20:17 Michal Kleczek
- 14.04.11 20:26 Michal Kleczek
- 14.04.11 20:27 A.L.
- 14.04.11 20:34 Wojciech Jaczewski
- 14.04.11 20:40 fir
- 14.04.11 20:39 A.L.
- 14.04.11 21:41 Wojciech Jaczewski
- 14.04.11 21:50 A.L.
Najnowsze wątki z tej grupy
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
Najnowsze wątki
- 2025-07-22 Genialna toaleta Urobot, automatycznie badająca mocz i kał z Taiwanu
- 2025-07-22 Thunderbird i dysk...
- 2025-07-22 Warszawa => Programista Full Stack .Net <=
- 2025-07-22 Warszawa => Software .Net Developer <=
- 2025-07-22 Warszawa => Asystent ds. Sprzedaży i Rozwoju Klienta <=
- 2025-07-22 Warszawa => Sales Assistant and Customer Development Specialist <=
- 2025-07-22 antyfaszystka
- 2025-07-22 W ogóle nie widać...
- 2025-07-22 I znowu inżynierowie i inżynierzy...
- 2025-07-21 Dokumenty zgromadzone przez Instytut Pamięci
- 2025-07-21 cashback
- 2025-07-21 Pomarańczowy rakietnyj on de telefon ;)
- 2025-07-21 Gdańsk => Kotlin Developer <=
- 2025-07-21 Warszawa => Sales Executive / KAM <=
- 2025-07-21 Gdańsk => Programista Kotlin <=