Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets

Ibrahim Şener, Özgür Turay Kaymakci, Ilker Üstoʇlu, Galip Cansever

Araştırma sonucu: ???type-name???Konferans katkısıbilirkişi

1 Atıf (Scopus)

Özet

In this study, control structure related to the safety of the point automation system, which has a critical significance on tram lines, was designed through Timed-Arc Petri Nets by taking CENELEC 50128 standard as reference. CENELEC 50128 strongly recommends the utilization of Timed-Arc Petri Nets during system modeling (Table A.17) and the utilization of formal proof methods during the verification and test phases of command and control structure developed (Table A.5). The verification was performed through CTL (Computational Tree Logic), which is one of the formal proof methods. Timed-Arc Petri Nets model has been used for the first time in this area through this study. Within this context, the structure was developed by taking the point automation system at the Bastabya Station on T4 Topkapi-Habibler line, operated by Istanbul Ulaşim as the reference. Moreover, safety requirements for the automation of the points were identified and denoted mathematically while their safety functions were designed.

Orijinal dilİngilizce
Ana bilgisayar yayını başlığı19th IFAC World Congress IFAC 2014, Proceedings
EditörlerEdward Boje, Xiaohua Xia
YayınlayanIFAC Secretariat
Sayfalar12140-12145
Sayfa sayısı6
ISBN (Elektronik)9783902823625
DOI'lar
Yayın durumuYayınlandı - 2014
Harici olarak yayınlandıEvet
Etkinlik19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014 - Cape Town, South Africa
Süre: 24 Ağu 201429 Ağu 2014

Yayın serisi

AdıIFAC Proceedings Volumes (IFAC-PapersOnline)
Hacim19
ISSN (Basılı)1474-6670

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014
Ülke/BölgeSouth Africa
ŞehirCape Town
Periyot24/08/1429/08/14

Bibliyografik not

Publisher Copyright:
© IFAC.

Parmak izi

Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets' araştırma başlıklarına git. Birlikte benzersiz bir parmak izi oluştururlar.

Alıntı Yap