Analisis Performa Sistem dengan Model Formal

Pernahkah Anda bertanya-tanya apakah sistem dapat benar-benar menangani beban maksimum yang diharapkan tanpa gagal? Pergi lebih jauh dari pengujian tradisional dan belajar untuk membuktikan secara matematis batas kinerja sistem kompleks, memastikan bahwa mereka dapat diandalkan dan efisien. Kursus ini memberikan pemahaman dasar tentang model formal kuantitatif, teknik yang kuat untuk menganalisis perilaku sistem. Anda akan belajar untuk menerjemahkan deskripsi sistem menjadi model matematika yang akurat dan menerapkan metode analitis untuk menentukan kinerja kasus terburuk, seperti latensi maksimum atau ukuran buffer yang diperlukan. Apa yang akan kau pelajari: - Mengerti prinsip-prinsip inti dari modeling formal dan peranannya dalam desain sistem dan verifikasi. - Belajar untuk mewakili perilaku sistem menggunakan formalisme dasar seperti jaring Petri. - Terapkan teknik matematika, termasuk fungsi penghitungan dan urutan prefiks, untuk menganalisis model Anda. - Menghitung metrik kinerja kasus terburuk untuk menjamin keandalan sistem dalam kondisi spesifik. - Menganalisis koncurrency, perselisihan sumber daya, dan potensi deadlocks dalam sistem terdistribusi. - Membangun fondasi yang kuat untuk mengeksplorasi verifikasi otomatis dan alat metode formal. Kursus ini dimulai dengan teori dasar di balik modeling sistem, lalu berkembang menjadi latihan tertulis praktis di mana Anda akan membangun dan menganalisis model untuk berbagai skenario. Kursus ini dirancang untuk mahasiswa ilmu komputer, pengembang perangkat lunak, dan insinyur sistem. Tidak diperlukan pengalaman sebelumnya dengan metode formal, tetapi nyaman dengan konsep abstrak akan bermanfaat. Mulailah perjalanan Anda ke dunia yang ketat analisis kinerja dan verifikasi.