-
Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: Edek Pienkowski <e...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Blad w oprogramowaniu Toyoty przyczyna wypadkow
Date: Fri, 2 Mar 2012 10:44:18 +0000 (UTC)
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 26
Message-ID: <jiq8a2$dvn$3@inews.gazeta.pl>
References: <f...@4...com>
<p...@n...chmurka.net>
NNTP-Posting-Host: 87.204.176.18
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1330685058 14327 87.204.176.18 (2 Mar 2012 10:44:18 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Fri, 2 Mar 2012 10:44:18 +0000 (UTC)
X-User: pieniekusenet
User-Agent: Pan/0.135 (Tomorrow I'll Wake Up and Scald Myself with Tea; GIT 30dc37b
master)
Xref: news-archive.icm.edu.pl pl.comp.programming:195882
[ ukryj 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
- 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
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 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)
Najnowsze wątki
- 2025-05-09 Warszawa => Starszy Konsultant SAP FICO <=
- 2025-05-09 Zapaść w automoto
- 2025-05-09 Zapaść w automoto
- 2025-05-09 Poznań => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produkc
- 2025-05-09 Białystok => NMS System Administrator <=
- 2025-05-09 Warszawa => Tableau UX Designer <=
- 2025-05-09 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-05-09 Białystok => Senior Node.js Developer (Nest.js framework) <=
- 2025-05-09 Łódź => Programista Mainframe (z/OS, Assembler) <=
- 2025-05-09 Szczecin => Key Account Manager IT <=
- 2025-05-09 Warszawa => Starszy Programista C <=
- 2025-05-09 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-05-09 zabezpieczenie płatności w biznesie
- 2025-05-09 Kto miał rację ?
- 2025-05-09 Jakie natynkowe podwójne gniazdo z bolcem (2P+PE)