Sistem Doğrulama (3): Modal Formüllerle Gereksinimler

Sistem Doğrulama (System Validation), sistem iletişimi ve bilgi işlemenin temellerini inceleyen alandı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 yapmaları gereken şeyi yapmalarını garanti altına almak isteriz. 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. 'Modal formüllerle gereksinimler', gereksinimler ile sistemin davranışı arasında doğru ilişkiyi kurmak amacıyla otomatlar için gereksinimleri nasıl belirleyeceğinizi gösteren üçüncü kurstur. Okuma materyali: J.F. Groote ve M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014.