-
Data: 2012-09-28 10:54:11
Temat: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
Od: Roman W <r...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu piątek, 28 września 2012 09:17:25 UTC+1 użytkownik Maciej Sobczak napisał:
> Istnieje oczywiście też rynek bezpiecznych systemów informacyjnych, np. związanych
z finansami, gdzie fakapy powodują straty pieniężne, ale ponieważ główni aktorzy tych
rynków regularnie udowadniają, że im to wisi, więc w praktyce nie jest to target dla
bezpiecznych technologii. Targetem dla bezpiecznych technologii są systemy
sterowania. Samolotami, elektrowniami, hamulcami, rozrusznikami serca, itd.
Glowna roznica polega na tym, ze producent sterownikow do rozrusznika serca czy
samolotu prawnie odpowiada ze mozliwe fakapy, lacznie z mozliwa wizyta w wiezieniu,
natomiast jezeli sterownik dziala dobrze, to dostanie umowiona zaplate, ewentualnie
wyplacajac swoim programistom skromne bonusy na Swieta. Asymetria zachet jest taka,
ze bardziej sie oplaca byc 2x ostroznym niz szarzowac.
W finansach jest zupelnie odwrotnie: koles ktory napisze system do algotrading ktory
przegwizda $100mln kasy pracodawcy, w najgorszym wypadku straci prace. Natomiast
jezeli system zarobi $100mln, to bonusy moga wyniesc i 100% rocznej pensji. Asymetria
zachet jest taka, ze bardziej sie oplaca szarzowac, kosztem bezpieczenstwa. Dopiero
akcjonariusze, wierzyciele firmy (i czasami podatnicy) sa naprawde "on the hook"
jesli chodzi o fakapy, ale oni z kolei nie nadzoruja bezposrednio procesu produkcji
software'u.
RW
Następne wpisy z tego wątku
- 28.09.12 13:33 Maciej Sobczak
- 28.09.12 14:08 Edek Pienkowski
- 28.09.12 16:54 Roman W
- 28.09.12 16:57 Roman W
- 28.09.12 19:35 Sebastian Biały
- 28.09.12 22:39 Maciej Sobczak
- 28.09.12 23:32 Edek Pienkowski
- 29.09.12 00:19 Roman W
- 29.09.12 00:37 Edek Pienkowski
- 29.09.12 07:52 Sebastian Biały
- 29.09.12 10:33 Edek Pienkowski
- 29.09.12 11:22 Marek Borowski
- 29.09.12 11:45 Sebastian Biały
- 29.09.12 12:23 AK
- 29.09.12 12:35 Marek Borowski
Najnowsze wątki z tej grupy
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-05 eSIM na czym polega
- 2024-07-15 Roaming poza unią
- 2024-07-16 Jak tanio dzwonic do Wielkiej Brytani?
- 2024-07-16 Dzień bez ICE
- 2024-07-15 Spalinówki płoną doszczętnie
- 2024-07-15 Pojemność akumulatora
- 2024-07-15 Elektryk8i dalej płoną.
- 2024-07-15 Motodziennik #284 NOWY MG HS z hybrydą oraz wraca FORD CAPRI (jako SUV)
- 2024-07-14 [FILM] SAMOCHODY ELEKTRYCZNE DO WIELKIE ŚCIEMA? TYLKO FAKTY!
- 2024-07-14 Znieczulica w narodzie
- 2024-07-13 Protect Your PC with IObit Malware Fighter Pro 11.3.0.1346 Multilingual
- 2024-07-13 Advanced SystemCare Pro 17.5.0.255: Complete Performance and Health Optimization
- 2024-07-15 stara idea nowe hardware
- 2024-07-14 Dzwonek gong z transformatorem
- 2024-07-14 espnow przerywa na jeziorze?