-
Data: 2012-03-02 10:44:18
Temat: Re: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Od: Edek Pienkowski <e...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Dnia Fri, 02 Mar 2012 09:02:48 +0000, Adam Wysocki napisal:
> A.L. <l...@a...com> wrote:
>
>> W ciagu ostatnich paru lat w USA byl osporo wypadkow z udzialem
>> niektorych model isamochodow Toyota - samochod gwaltownie przyspieszal
>> i nie dawal sie zatrzymac. Sporo wypadkow bylo smiertelnych.
>
> Inny podobny problem to wysiadające hamulce w tramwajach PESA. Jeżeli
> coś spełnia funkcję narzędzia (jak gaz, czy hamulec), a do tego od
> prawidłowego działania takiego układu zależy życie ludzkie, to jestem za
> zasadą KISS.
Chyba KISS of Death.
Niektórzy proponują dla oprogramowania, w którym błąd może kosztować
ludzkie życie, metody formalne. Nawet twierdzą, że nie stosowanie
metod formalnych może być (kiedyś) uznane przez sąd jako zaniechanie;
a zdecydowanie jest nieetyczne.
KISS? Nie wygłupiajmy się. Może właśnie ten kawałek kodu był
pisany zgodnie z regułą KISS i w swojej prostocie
nie uwzględnił jakiegoś przypadku, bo KISS. Wbrew nazwie
KISS jest właśnie dla ludzi głupich.
Edek
Następne wpisy z tego wątku
- 02.03.12 11:03 Bronek Kozicki
- 02.03.12 11:36 Roman W
- 02.03.12 11:58 Adam Wysocki
- 02.03.12 12:14 Edek Pienkowski
- 02.03.12 12:41 slawek
- 03.03.12 15:48 Andrzej Jarzabek
- 04.03.12 21:42 Tomek Banach
- 05.03.12 09:43 M.M.
- 05.03.12 10:14 M.M.
- 12.03.12 09:45 j...@...com
- 12.03.12 11:06 Paweł Kierski
- 12.03.12 11:16 Bronek Kozicki
- 13.03.12 00:30 Piotr Lipski
- 13.03.12 02:47 A.L.
- 13.03.12 03:17 A.L.
Najnowsze wątki z tej grupy
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- 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!!!
Najnowsze wątki
- 2026-01-03 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2026-01-03 "Obywatelskie zatrzymanie"
- 2026-01-03 ograniczanie sztucznej inteligencji
- 2026-01-02 Szalejąca dyskryminacja obywateli USA w Maili i Burkina Faso. Czy to legalne?
- 2026-01-02 Miało być zniesienie abonamentu RTV, a jest podwyżka!!!
- 2026-01-02 Miało być zniesienie abonamentu RTV, a jest podwyżka!!!
- 2026-01-02 Kogo KE opierdoli za nieskuteczną cenzurę? [Rząd tuski doniósł]
- 2026-01-02 Gdańsk => Konsultant Microsoft Dynamics AX/365 SCM Consultant - Servi
- 2026-01-02 Gdańsk => Solution Architect (Workday) - Legal Systems <=
- 2026-01-02 Gdańsk => Microsoft Dynamics 365 Finance Consultant <=
- 2026-01-02 Microsoft, C/C++ na Rust - news
- 2026-01-01 szyby macie całe?
- 2026-01-01 Najbogatsi ludzie na świecie są jeszcze bogatsi. Bezprecedensowa skala zysków
- 2026-01-01 Najbogatsi ludzie na świecie są jeszcze bogatsi. Bezprecedensowa skala zysków
- 2026-01-01 Wszystkiego najlepszego




5 Najlepszych Programów do Księgowości w Chmurze - Ranking i Porównanie [2025]