-
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-27 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2025-02-27 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2025-02-27 Warszawa => Mid IT Recruiter <=
- 2025-02-27 Warszawa => Expert Recruiter 360 <=
- 2025-02-27 Warszawa => Junior Rekruter <=
- 2025-02-27 China-Kraków => Key Account Manager IT <=
- 2025-02-27 Warszawa => Sales Assistant <=
- 2025-02-27 Kraków => Frontend Vue Developer <=
- 2025-02-27 Re: Zwolniony z IKEA za "wąty" przeciw firmowej promocji LGBT-IQ+ przywrócony do pracy - SN odrzucił kasacje (sygn. akt I PSK 62/24)
- 2025-02-27 Częstochowa => Manager ds. produktu <=
- 2025-02-27 Warszawa => Business Systems Analyst <=
- 2025-02-27 Nagranie poglądowe
- 2025-02-26 Zasilacz USB na ścianę.
- 2025-02-26 Błonie => Specjalista ds. public relations <=
- 2025-02-26 Zielonka => Team Lead / Tribe Lead FrontEnd <=