Gerçek Zamanlı Gömülü Sistemler Teorisi ve Analizi

Bu kurs, CU Boulder'ın Elektrik Mühendisliği Yüksek Lisans derecesinin bir parçası olan ECEA 5316 koduyla akademik kredi için de alınabilir. Bu kurs, yerel bir Linux sisteminde çalışan gerçek zamanlı zamanlanmış iş parçacıkları için gerçek performansla karşılaştırmanın yanı sıra, zamanlama politikaları modellerinin ve fizibilite tespitinin elle ve rate monotonic araçlarla derinlemesine ve tam matematiksel türetimini ve incelemesini sunar. Kursun sonunda öğrenci, fizibilite için sabit öncelikli rate monotonic en küçük üst sınırı tam olarak türetebilecek, rate monotonic politikasını gerekçelendirebilecek ve earliest deadline first ve least laxity politikaları dahil olmak üzere dinamik öncelikli zamanlama ile karşılaştırabilecektir. Kursun sonunda öğrenciler, rate monotonic en küçük üst sınır için matematiksel modeli tam olarak türetip açıklayabilecek ve sabit ve dinamik öncelikli yazılım hizmetleri için zamanlama diyagramı analizi gerçekleştirebileceklerdir. Zamanlama analizini otomatikleştirmek ve gerçek performansla karşılaştırmak için analiz sağlayacak araçlar (Cheddar) öğrenilecektir. Özel hedefler şunları içerir: ● Rate monotonic teorisi (tam matematiksel modeller) ● Sabit öncelikli rate monotonic arasındaki farklar