ABSTRAKSI: Lampu lalu lintas merupakan alat pensinyalan yang dipergunakan di persimpangan untuk mengatur arus kendaraan yang melewatinya. Fungsi lampu lalu lintas sangat kritis, sehingga diperlukan pencatatan kebutuhan sistem dengan cara yang terperinci, yaitu pemodelan formal.
Metode formal dapat menghasilkan spesifikasi yang tidak ambigu, konsisten, dan lengkap, karena menggunakan deskripsi matematis dalam setiap penjabaran kebutuhan sistem. Salah satu metodologi pemodelan secara formal adalah RAISE (Rigorous Approach to Industrial Software Engineering), yang dirancang untuk memenuhi kebutuhan rekayasa perangkat lunak pada industri. RAISE dapat digunakan untuk melakukan spesifikasi, verifikasi, dan translasi spesifikasi. Spesifikasi pada RAISE dilakukan dengan RSL (RAISE Specification Language), dan tujuan utama dari RSL adalah membantu dalam spesifikasi untuk kasus besar dan modular, dan menyediakan beberapa paradigma spesifikasi seperti aplikatif, imperatif, dan konkuren.
Tugas akhir ini mengkhususkan diri pada analisis block kendaraan dan unsur keamanan yang mungkin terjadi pada sistem pengendalian lampu lalu lintas. Data sistem diperoleh melalui pengamatan langsung di studi kasus, yaitu simpang empat Buah Batu – Soekarno Hatta kota Bandung. Dari hasil pengujian, diperoleh nilai block tertinggi sebanyak 169 kali dalam satu siklus trafik sibuk, dan nilai block ideal sebanyak 0 block pada kondisi trafik lengang.
Kata Kunci : RAISE, RSL, metode formal, lampu lalu lintas, kondisi blockABSTRACT: Traffic light is a signaling tool used in intersection to manage the traffic flow through intersection. Traffic light has critical functions, so it needs a perfect ways to capture requirements, with formal method.
Formal method can produce specification that un-ambiguous, consistent, and complete since it uses mathematically description in each development process. RAISE (Rigorous Approach to Industrial Software Engineering) is one of a few formal method that can be used to do specification, verification, and translation. Specification in RAISE is RSL (RAISE Specification Language). Main purpose of RSL is giving help in ways to do huge case and modular specification, and providing paradigms like applicative, imperative, and concurrent.
This final project specified itself to an analytical part of block condition and safety that can be happened in a traffic light control system. The data of this final project is from observation in Buah Batu – Soekarno Hatta intersection, at Bandung. From the result experiments, the highest block condition happened 169 times in one cycle busy traffic, and also produce an ideal block condition: 0 times in quiet traffic.
Keyword: RAISE, RSL, formal method, traffic light, block conditon