Arif's Blog

Menyaksikan tayangan Tonight Show kemarin, saya agak terkejut ketika Vincent menyebutkan bahwa bintang tamu episode itu, Silampukau , adalah band terbaik Indonesia versi dia untuk saat ini. Mengingat wawasan bermusik Vincent yang bisa dibilang cukup tinggi (paling tidak apabila dibandingkan dengan Desta , hehehe), tentu dia melihat sesuatu yang luar biasa dari band ini. Dan sepertinya Vincent tidak salah. Anggota Silampukau (Eki, kiri, dan Kharis, kanan). Gambar diambil dari silampukau.com

(Ilustrasi:  pexels.com ) Di semester ini saya sedikit belajar mengenai formal method dalam kuliah System Validation . Singkat kata, dari apa yang saya tangkap, formal method adalah metode pemodelan suatu sistem dalam bentuk formal. Yang dimaksud formal di sini adalah dalam bentuk notasi matematika. Mengapa menggunakan matematika? Karena matematika adalah bahasa yang tegas, dan tidak menimbulkan keambiguan. Pengertian ini sangat penting ketika misalnya model yang dimaksud di atas adalah sebuah model dari software pengendali reaktor nuklir, dan anda ingin memastikan software tersebut benar-benar bebas dari bug yang berbahaya. Anda tentu tidak ingin apabila ada kesalahan logic di software tersebut sehingga sistem pendingin reaktor tiba-tiba tidak berfungsi, dan menyebabkan reaktor meledak. Dengan memodelkan software tersebut, anda dapat memeriksa properti dari model tersebut. Semisal, apakah alarm benar-benar bekerja apabila temperatur melebihi batas normal? Apakah software t...