Azert azzal az ervelessel nem igazan tudok egyeterteni, hogy ha egy komponens hibatalan a rendszer akar hibaerzekenyebbe is valaht. Ez azert igy meredek.
Ami viszont lenyeges szempont: milyen hibakkal szemeben szeretnenk minel nagyobb hibamentesseget elerni.
Ha pl. security szempotnbol nezzuk a dolgot akkor eleg ritka, hogy chip hibabol adodoan torjenek egy rendszert. Jellemzoen az opracios rendszer valamely hibajat hasznaljak. Itt jelentos mertekben javit a helyzeten a kernel hibamentessege. Persze nyilvan van meg egy csomo szoftver komponens, de azert a kernel sokat tehet a security erdekeben.
Ha pl. safety-rol beszelunk ott a kernel hibamentessege nem rossz dolog hiszen azt allithatjuk, hogy abban a komponensben nincs szisztematikus hiba, de hat a safety eseteben a veletlenszeru hardware hibak kikuszobolese izgalamasabb tema, es rogton a statisztikai megkozelitesnel talaljuk maunkat. Termeszetesen a hardwareben is lehetnek szisztematikus hibak, ezek szuresere is megvannak a modszerek. A hibemanetesseg matematikai bizonyitasa nem lenne rossz, de meg a gyakorlatban nem talalkoztam vele.