De betrouwbaarheid van het Linux-systeem in de lucht- en ruimtevaartindustrie