Pemodelan Aspek Waktu dari Lampu Lalu Lintas di Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit menggunakan Timed Automata dan Timed CTL

GISELA ANGGITA ASHIANTI

Informasi Dasar

19.04.3625
629.8
Karya Ilmiah - Skripsi (S1) - Reference

Pemodelan lampu lalu lintas pada persimpangan yang menggunakan jalur lawan arus untuk Bus Rapid Transit sudah dilakukan sebelumnya. Namun, sistem tersebut kurang sesuai bila diterapkan pada dunia nyata. Untuk itu, pada penelitian ini dilakukan perbaikan terhadap sistem lampu lalu lintas serta ditentukan pula waktu yang sesuai bagi setiap lampu lalu lintas untuk menyala. Sistem yang diperbaiki direpresentasikan dalam model LTL dan timed automata dengan bahasa spesifikasi dalam TCTL yang sesuai dengan model-checker UPPAAL. Hasil pemodelan tersebut diverifikasi berdasarkan spesifikasi keselamatan, ketercapaian, dan keadilan untuk model LTL. Sedangkan TCTL hanya digunakan untuk verifikasi timed automata terkait keselamatan dan ketercapaian.

Subjek

Formal methods - edp
 

Katalog

Pemodelan Aspek Waktu dari Lampu Lalu Lintas di Persimpangan Jalan dengan Jalur Lawan Arus untuk Bus Rapid Transit menggunakan Timed Automata dan Timed CTL
 
 
Indonesia

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

GISELA ANGGITA ASHIANTI
Perorangan
Yanti Rusmawati, Muhammad Arzaki
 

Penerbit

Universitas Telkom, S1 Informatika
Bandung
2019

Koleksi

Kompetensi

  • CSH4103 - METODE FORMAL

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini