「IEC 61508」の安全度水準(SIL-2)とLinux (英語)