Computer File

Verifikasi formal sistem elevator dengan alloy

Multiple Elevators System adalah sebuah sistem elevator yang mengatur beberapa elevator di dalamnya. Sistem ini mengerjakan proses-proses yang ada secara bersamaan sebagai proses yang konkuren, sehingga dapat melayani pengguna dengan lebih cepat dan adil. Pada skripsi ini, akan dibangun sebuah perangkat lunak yang mampu melakukan simulasi Multiple Elevators System, kemudian akan dilakukan verifikasi menggunakan Alloy. Alloy adalah sebuah bahasa spesifikasi untuk menggambarkan batasan struktur kompleks dan perilaku dari sebuah perangkat lunak. Verifikasi ini perlu dilakukan agar perangkat lunak simulasi Multiple Elevators System teruji secara formal.

Berdasarkan hasil pengujian yang dilakukan, dapat disimpulkan bahwa perangkat lunak simulasi Multiple Elevators System dan perangkat lunak Alloy dapat berjalan dengan baik. Perangkat lunak simulasi dapat menampilkan dengan baik bagaimana sistem elevator bekerja, sehingga dapat dengan mudah diamati dan dipahami. Semua fitur yang ada di dalam perangkat lunak juga sudah diuji dan seluruhnya berjalan dengan baik. Pada Alloy, seluruh properti-properti yang ada sudah berhasil dimodelkan. Kemudian dilakukan verifikasi atas instance dari properti-properti tersebut dan terbukti benar. Alloy juga mampu menampilkan skenario-skenario yang mungkin terjadi, sehingga memberikan gambaran yang lebih lengkap pada model yang sedang diuji.

Hasil dari skripsi ini adalah dua buah perangkat lunak, yang satu dituliskan dalam bahasa Java dan yang satu lagi dituliskan dalam bahasa Alloy. Perangkat lunak dalam bahasa Java berfungsi untuk melakukan simulasi bagaimana sebuah Multiple Elevators System bekerja, sedangkan perangkat lunak dalam bahasa Alloy berfungsi melakukan verifikasi secara formal pada model Multiple Elevators System yang digunakan.

Kata-kata kunci: sistem elevator, Alloy, verifikasi formal

Ketersediaan

Informasi Detail

Judul Seri

No. Panggil

INFO JAY v/17

Penerbit

Bandung : Program Studi Teknik Informatika Fakultas Teknologi Informasi dan Sains - UNPAR., 2017

Deskripsi Fisik

xix, 80 p. : il. ; 30 cm

Bahasa

Indonesia

ISBN/ISSN

-

Klasifikasi

-

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

1471 - FTIS

Pernyataan Tanggungjawab

Ariel Jayapermana

Versi lain/terkait

Lampiran Berkas

Komentar