بهینه‌سازی و سبک‌سازی سیستم‌عامل‌های بی‌درنگ (RTOS)