CENG 383
Gerçek-Zamanlı Sistemler
Çeşitli etkileşen bileşenler yardımıyla gerçek-zamanlı sistemlerin belirleme ve doğrulama teknikleri. (a) zaman ilişkili davranışların belirli anlamsal programlama dilleriyle ve (b) planlama algoritmalarıyla gerçek zamanlı sistemlerin biçimsel tasarımı. Gerçek-zamanlı işletim sistemleri, gerçek-zamanlı sistemler için tasarlanmış programlama dilleri, reaktif sistemler için tasarlanmış senkron programlama dilleri ve matematiksel altyapısı. Gerçek-zamanlı sistemler için yazılım geliştirme.
Dersin Amacı
Gerçek-zamanlı sistemlerin temel kavramlarını tanıtmak. Gerçek-zamanlı işletim sistemlerini geliştirebilmek.
Kaynakça
Phillip Laplante, Real-Time Systems Design and Analysis – An Engineer’s Handbook, IEEE Press, 1993.
S.H.Son, Advances in real-time systems, Englewood Cliffs, N.J.: Prentice Hall, c1995.
Öğrenme Çıktıları
1. Gerçek-zamanlı sistemleri sınıflayabilmek
2. Gerçek-zamanlı sistemleri tanımlama ve formel tekniklerle tasarım
3. Gerçek-zamanlı işletim sistemi çekirdeği tasarlayabilmek ve işletim sistemleri üzerinde program geliştirebilmek
4. Formel yöntemleri kullanmak konusunda yetenek göstermek
| KONU |
|
Gerçek-Zamanlı Sistemlere ilişkin temel bilgi ve kavramlar
|
|
Bilgisayar mimarilerinin ve mevcut donanımların incelenmesi
|
|
Gerçek-Zamanlı belirleme ve tasarım teknikleri
|
|
Formel yöntemler: zamanlı-otomatlar (Timed-automata) ve “Petri net”ler, “Model-checking”
|
| Gerçek-Zamanlı programlama dilleri |
| Senkron programlama dilleri |
|
Gerçek-Zamanlı çekirdekler – I: Teorik bulgular, “scheduling” algoritmaları
|
|
Laboratuvar çalışması – I (İleri C ve Assembly programlama)
|
| Gerçek-Zamanlı çekirdekler – II: POSIX |
| Hata toleransı (Fault-tolerance) |
|
Donanım/yazılım entegrasyonu, performans analizi ve optimizasyon, test
|
|
Laboratuvar çalışması – II (Gerçek-zamanlı mikroçekirdek tasarımı)
|
|
Laboratuvar çalışması – III (Gerçek-zamanlı mikroçekirdek tasarımı)
|
|
Laboratuvar çalışması – IV(Gerçek-zamanlı mikroçekirdek tasarımı)
|
Notlandırma
Yazılı Vize Sınavı: 20%
Yazılı Final Sınavı: 30%
Ödevler: 10%
Dönem Projesi: 40%
