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.

Dersin Amacı

Gerçek-zamanlı sistemlerde yazılım geliştirme, programlama, tasarım, test ve dökümantasyon konularında en güncel konuları ve araştırmaları yeni araştırmalara temel oluşturmak amacıyla aktarmak

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ı sistemlerle ilgili temel bilgilere sahip olma
2. Gerçek-zamanlı sistem tasarımı yapabilme
3. Gerçek-zamanlı sistemlerle ilgili son araştırmaları takip etme
4. Güvenlik kritik ve hataya dayanıklı sistemler konusundaki araştırmaları takip etme

Notlandırma

Yazılı Vize Sınavı: 20%

Yazılı Final Sınavı: 30%

Ödevler: 10%

Dönem Projesi: 40%