Quantitative Model Checking

Markov Zincirleri için Quantitative Model Checking üzerine hazırlanan bu son teknoloji kursa hoş geldiniz! Teknoloji modern yaşamın her alanına (Gömülü Sistemler, Siber-Fiziksel Sistemler, İletişim Protokolleri ve Ulaşım Sistemleri) nüfuz ettikçe, güvenilir yazılımlara olan ihtiyaç her zamankinden daha yüksek bir seviyeye ulaştı. Küçük bir hata, feci başarısızlıklara ve muazzam maliyetlere yol açabilir. İşte bu noktada siz devreye giriyorsunuz. Kurs, gerçek dünya sistemlerinin karmaşık dinamiklerini yakalayan temel model olan bir Durum Geçiş Sistemi oluşturarak başlıyor. Yakında, karmaşık sistemleri modelleyecek kadar çok yönlü ancak tasarımlarında zarif olan güçlü matematiksel formalizmler olan Kesikli Zamanlı ve Sürekli Zamanlı Markov Zincirleri dünyasına adım atacaksınız. Bunlar sadece teorilerden ibaret değildir; performans ve güvenilirlik değerlendirmesi için çeşitli alanlarda aktif olarak kullanılan araçlardır. Ancak modelleme ile yetinmeyeceğiz. Bu kursun kalbi, sistem modelinizin işlevselliğini titizlikle inceleyen resmi bir doğrulama yöntemi olan 'Model Checking'dir. Gelişmiş hesaplama algoritmaları kullanarak güvenilirlik özelliklerini nasıl ifade edeceğinizi, Markov zincirlerinin zaman içindeki gelişimini nasıl izleyeceğinizi ve durumların belirli koşulları karşılayıp karşılamadığını nasıl doğrulayacağınızı öğrenin.