On 12.01.2011 01:05, Andrzej Jarzabek wrote:
> On 11/01/2011 19:26, Michoo wrote:
>> W dniu 11.01.2011 20:22, Andrzej Jarzabek pisze:
>>>
>>> Wytłumacz mi więc, jak to się dzieje, że samoloty jednak w ogromnej
>>> większości latają i nie spadają, chociaż samolot zaprojektowany,
>>> wykonany lub pilotowany przez ludzi nie mających pojęcia, jak to się
>>> robi, prawie na pewno by spadł?
>> Bo panowie Wright to byli wszechstronnie wykształceni jeżeli chodzi o
>> budowę samolotów.
>
> Bo nie ma wielkiej różnicy między samolotem, który przewozi setki osób
> na wysokości kilometrów i odległości tysięcy kilometrów, a samolotem
> który przelatuje tuż nad ziemią odległość kilkudziesięciu metrów.
>
> I skoro się nie da wyeliminować wypadków zupełnie, to już nie ma
> większego znaczenia, czy samolot ma szansę rozbicia się w trakcie danego
> lotu jak jeden do kilku milionów, czy 50%.
>
>> Nie mówiąc o tym, że było kilka katastrof samolotów spowodowanych
>> błędami konstrukcyjnymi jak np puszczenie kabli podstawowych i
>> zapasowych jedną rynną.
>
> Było kilka katastrof na ile lotów samolotów zaprojketowanych przez
> certyfikowanych inżynierów? Powiedzmy w ciągu ostatnich 25 lat?

Większość wypadków wynika z winy certyfikowanych:

inżynierów,
techników,
pilotów,
kontrolerów lotu

Swoją drogą Panteon w Rzymie (zbudowany przez niecertyfikowanych
budowniczych) niż Trasa Armii Krajowej w Warszawe zbudowana przez
certyfikowanych inżynierów.

Sam pomysł certyfikowania jest bzdurny z tego względu, że:

Większe projekty i tak się pisze w oparciu o kod innych firm,
biblioteki, stary kod, więc trzeba by było sprawdzić teraz wszystkie
biblioteki, czy są napisane przez certyfikowanych programistów, bo
inaczej co da najlepiej certyfikowany programista, jak w bibliotece
będzie błąd?

Prawie każdy program (pomijam sterowniki, soft pisany dla satelit i
innych) to tak naprawdę interakcja wielu programów. Pod spodem mniej lub
bardziej zabugowany system operacyjny, do tego jeszcze możliwe bugi w
sprzęcie (np słynne 2+2=3.99). Do tego dochodzą interakcje ze
środowiskiem zewnętrznym, ktoś kiedyś liczył, że raz na rok
promieniowanie kosmiczne zmienia jedną komórkę pamięci, to było dawno,
gęstość upakowania wzrosła, więc szansa na zmianę jest teraz większa.
Więc nawet najlepszy algorytm, najlepsze nie da 100% gwarancji, że coś
się nie wywali.

Certyfikowany powinien być cały system produkcyjny, a nie poszczególne
elementy. Co z tego, że zainstalujemy super program, na super sprzęcie,
jak razem nie będą działać. I wszystkie certyfikaty programistów,
konstruktorów będzie sobie można wsadzić w miejsce odpowiednie.


--
wer <",,)~~
http://szumofob.eu