Sistem kontrol lalulintas kereta api di suatu stasiun harus memenuhi kriteria berupa kehandalan (reliable); dalam arti,untuk menjamin keamanan sistem, waktu respon dari sistem terhadap lingkungannya harus sesuai dengan yang disyaratkan. Kegagalan sistem dalam merespon lingkungannya dapat menyebabkan terjadinya situasi kritis yang dapat berakibat fatal bagi manusia atau lingkungannya. Dalam makalah ini dibuat aturan-aturan agar memenuhi persyaratan keamanan di stasiun kereta api yang terhubung dengan dua stasiun yang lain melalui jalur ganda. Aturan-aturan ini menjamin tidak akan terjadi tabrakan kereta api atau kereta api keluar dari relnya. Aturan-aturan ini diwujudkan dalam bentuk pengaturan sinyal, pengaturan posisi wesel dan pengaturan ada tidaknya kereta api disuatu ruas jalur. Pengaturan yang ada memerlukan strategi-strategi kontrol yang perlu dikaji konsistensinya untuk menjamin bahwa pengaturan yang ada sudah berjalan sesuai dengan persyaratan keamanan. Untuk itu dilakukan pemodelan formal dari strategi control tersebut dengan menggunakan kalkulus Durasi dan uji konsistensi dengan menggunakan Proof Checker/Duration Calculus.