Dasar-dasar Model Kuantitatif

Dalam sistem di mana kegagalan bukanlah sebuah pilihan, bagaimana Anda bisa yakin desain Anda benar? Pergi lebih jauh dari pengujian tradisional dan belajar untuk membuktikan secara matematis keandalan dan kinerja sistem Anda. Kursus ini memberikan pengenalan praktis ke dalam pemeriksaan model kuantitatif. Anda akan belajar memodelkan sistem kompleks sebagai sistem transisi keadaan dan rantai Markov, menulis spesifikasi formal menggunakan logika temporal, dan menganalisis properti probabilistik dan real- time untuk mengidentifikasi kelemahan desain potensial sebelum mereka menjadi kegagalan kritis. Apa yang akan kau pelajari: - Mengerti prinsip-prinsip inti dari model periksa dan verifikasi formal. - Belajar untuk mewakili perilaku sistem menggunakan sistem transisi negara dan rantai Markov. - Tulis properti sistem dan persyaratan yang tepat menggunakan logika temporal probabilistik (PCTL). - Terapkan algoritma periksa model untuk menganalisis properti sistem seperti reachability dan hadiah yang diharapkan. - Praktik modeling masalah umum, seperti protokol komunikasi dan sistem alokasi sumber daya. - Menafsirkan hasil analisis kuantitatif untuk membuat keputusan yang berinformasi tentang keselamatan dan kinerja sistem. Kursus ini dimulai dengan konsep dasar sistem modeling dan logika formal, kemudian berkembang menjadi teknik untuk menentukan dan memeriksa sifat kuantitatif sistem probabilistik. Kursus ini dirancang untuk insinyur perangkat lunak, desainer sistem, dan mahasiswa ilmu komputer. Tidak diperlukan pengalaman sebelumnya dalam metode formal untuk memulai. Mulai belajar untuk membangun sistem yang benar hari ini.