سیستم‌عامل‌های بلادرنگ و لینوکس در صنایع راهبردی