
يقدم المساق دراسة شاملة للنماذج الرياضية واشتقاقات الجدولة الزمنية للأنظمة المدمجة الموجهة بالوقت الحقيقي، مع التركيز على تحديد الجدوى الرياضية باستخدام أدوات نظرية المونوتونيكية ومقارنتها مع الأداء الفعلي على نظام لينكس. يتعلم المتدربون تقنيات التحكم في مشاكل عكس الأولوية غير المحدودة وتجنب حالات الانغلاق (deadlock) بالإضافة إلى استراتيجيات التعافي منها. يُمكّن المساق المشاركين من إجراء تحليلات دقيقة وموثوقة لتشغيل الخيوط الزمنية الحقيقية ضمن بيئات برمجية متقدمة، مما يدعم تصميم وتنفيذ أنظمة مدمجة ذات أداء موثوق وفوري الاستجابة.
Sam Siewert
Electrical, Computer, and Energy Engineering