Book's Detail
Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems

This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on model checking techniques. In the proposed method, a model for the interlocking system is constructed using timed-arc petri net and the safety specifications are expressed as computation tree logic formulas. These model and specification are then used in TAPAAL model checker to perform the model checking of safety verification task. Simulation results are presented to illustrate the advantages of the proposed verification method.

Pernyataan Tanggungjawab B. Aristyo, K. Pradityo, T.A. Tamba, Y.Y. Nazaruddin, A. Widyotriatmo
Pengarang Aristyo, B. - Pengarang Utama
Nazaruddin, Yul Yunazwin - Pengarang Tambahan
Tamba, Tua Agustinus - Pengarang Tambahan
Pradityo, K. - Pengarang Tambahan
Widyotriatmo, A. - Pengarang Tambahan
Edisi
No. Panggil
ISBN/ISSN
Subyek model checking
TRAIN INTERLOCKING SYSTEM
SAFETY VERIFICATION
TIMED-ARC PETRI NET
COMPUTATION TREE LOGIC
Klasifikasi
Judul Seri Proceesings of Annual Conference
GMD Computer File
Bahasa English
Penerbit The Institute of Electrical and Electronics Engineers (IEEE) Inc.
Tahun Terbit 2018
Tempat Terbit
Deskripsi Fisik p. 392-397
Info Detil Spesifik Makalah dipresentasikan pada 2018 57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE). Nara, Japan, September 11-14, 2018.
Lampiran Berkas
LOADING LIST...
Ketersediaan
LOADING LIST...
 

Visitor Counter
Visit Today
Pencarian