-
Data: 2011-04-14 19:13:24
Temat: Re: Carnegie-Mellon przestaje uczyc programowania obiektowego
Od: Michal Kleczek <k...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-02-14 Zdalne załączanie grzałki bojlera elektrycznego
- 2025-02-14 Warszawa => Kierownik ds. kluczowych Klientów <=
- 2025-02-14 Częstochowa => Product Manager - Systemy infrastruktury teleinformaty
- 2025-02-14 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-02-14 Warszawa => Data Engineer (Tech Leader) <=
- 2025-02-14 Czy ma sens grupa news:pl.soc.polityka-prawna ? :-)
- 2025-02-14 e-paper
- 2025-02-14 Gliwice => Business Development Manager - Network and Network Security
- 2025-02-14 Warszawa => System Architect (Java background) <=
- 2025-02-14 Katowice => Senior Field Sales (system ERP) <=
- 2025-02-14 Wrocław => Specjalista ds. Sprzedaży (transport drogowy) <=
- 2025-02-14 Re: Dlaczego nie było (pełzającego) zamachu stanu? Bo minister Bodnar już "zawiesił" prokuratora Ostrowskiego
- 2025-02-14 e-paper
- 2025-02-14 Warszawa => Architekt rozwiązań (doświadczenie w obszarze Java, AWS
- 2025-02-14 Warszawa => International Freight Forwarder <=