CENG 523

Gerçek-Zamanlı Sistemlerde İleri Konular

Gerçek-Zamanlı yazılım tasarımı konuları, gerçek-zamanlı işletim sistemleri, gerçek-zamanlı görev planlama algoritmaları, yazılım spesifikasyonlarında kullanılan formal metotlar, zaman otomatlarını kullanarak modelleme ve doğrulama, yazılım tasarımı, programlama dilleri, test, performans çözümlemesi ve eniyilemesi, belgeleme, yazılımın yeniden kullanımı, hataya dayanıklılık.

Konu
Gerçek-Zamanlı Sistemlere Giriş
Gerçek-Zamanlı Sistemler için Yazılım Geliştirmenin Temelleri
Gerçek-Zamanlı İşletim Sistemleri I
Gerçek-Zamanlı İşletim Sistemleri II
Yazılım Gereksinimleri Mühendisliği
“Model Checking”
Yazılım Tasarımı
Özet ve Yoklama
Programlama Dilleri
Test
Yüksek Performanslı Analiz ve Eniyileme
Güvenlik-Kritik Sistemler ve Hata-Toleransı
Dökümantasyon, Yeniden Kullanım ve Sürekli Geliştirme
Dönem Projesi Sunumları ve Tartışma