Verifikasi Alur Distribusi Vaksin di Indonesia menggunakan Logika Temporal Linear
MUHAMMAD FIKRI SUYUDI WIKATAMA
Informasi Umum
Kode
17.04.2270
Klasifikasi
C -
Jenis
Karya Ilmiah - Skripsi (S1) - Reference
Subjek
Karya Ilmiah
Dilihat
152 kali
Informasi Lainnya
Abstraksi
Terjadinya kasus penyebaran vaksin palsu di Indonesia pada pertengahan tahun 2016 merupakan kejadian buruk yang membuat keamanan alur distribusi vaksin dipertanyakan. Alur distribusi diatur oleh PT. Bio Farma. Pada tugas akhir ini penulis melakukan verifikasi alur distribusi vaksin di Indonesia menggunakan pendekatan metode formal, yaitu Logika Temporal Linear.
Alur distribusi vaksin terlebih dahulu dimodelkan dalam diagram aktivitas. Kemudian diagram aktivitas diverifikasi terhadap persyaratan yang diatur oleh BPOM (Badan Pengawas Obat dan Makanan) dan WHO (World Health Organization). Verifikasi dilakukan dengan model checker NuSMV. Dari tugas akhir ini, penulis menyimpulkan alur distribusi vaksin di Indonesia terbukti aman secara formal terhadap beberapa persyaratan keamanan yang diatur oleh BPOM dan WHO. Namun, alur distribusi tersebut tidak dapat secara spesifik menjamin beberapa persyaratan keamanan yang ditentukan dan beberapa persyaratan fungsional tambahan.
- CSG2J3 - REKAYASA PERANGKAT LUNAK
- CSH4103 - METODE FORMAL
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | MUHAMMAD FIKRI SUYUDI WIKATAMA |
| Jenis | Perorangan |
| Penyunting | Yanti Rusmawati, Muhammad Arzaki |
| Penerjemah |
Penerbit
| Nama | Universitas Telkom |
| Kota | Bandung |
| Tahun | 2017 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
