Sistem Doğrulama (2): Süreç Davranışını Modelleme

Sistem Doğrulama (System Validation), sistem iletişimi ve bilgi işlemenin temellerini inceleyen alandır. Bilgisayar bilimlerinde ve genel olarak yazılım geliştirmenin iyileştirilmesinde bir sonraki mantıklı adımdır. Bir sistemin doğru çalışıp çalışmadığını görmek için sistemin davranışsal modellerine dayalı otomatik analiz yapılmasına olanak tanır. Sistemlerin tam olarak yapması gerekeni yapmasını garanti etmek istiyoruz. Sistem doğrulamada sunulan teknikler, hataların olmadığını kanıtlamayı sağlar. Yapısal olarak sağlam gömülü sistem davranışları tasarlamaya olanak tanır ve yan etki olarak sizi davranışı basit ve anlaşılır kılmaya zorlar. Bu, sistemlerin yalnızca doğru davranmasını sağlamakla kalmaz, aynı zamanda bakımlarının ve uyarlanmalarının da çok daha kolay olmasını sağlar. 'Süreç davranışını modelleme', 'Otomatlar ve davranışsal eşdeğerlikler' (Automata and behavioural equivalences) dersinin devamı niteliğindeki MOOC'tur. Bu MOOC size süreç davranışını, özellikle de protokolleri ve dağıtık algoritmaları nasıl modelleyeceğinizi, sistem davranışının özelliklerini nasıl daha derinlemesine inceleyeceğinizi ve durum uzayı patlamasını (state space explosion) önlemek için işleri nasıl basit tutacağınızı gösterir. Okuma materyali: J.F. Groote ve M.R. Mousavi. Modelling and analysis of communicating systems. The MIT Press, 2014. Bu kurs, ilgili kurs serisinin 2. bölümüdür.