TY - GEN
T1 - Synchronizing automata and Petri net based controllers
AU - Durmuş, Mustafa Seçkin
AU - Yildirim, Uǧur
AU - Eriş, Oytun
AU - Söylemez, Mehmet Turan
PY - 2011
Y1 - 2011
N2 - In designing safe and reliable interlocking systems for railways which are compatible with the related CENELEC (European Committee for Electrotechnical Standardization) standards semi-formal methods and diverse programming techniques are highly recommended (HR). EN 50128 (where methodologies to build failsafe software for railway applications are defined) recommends the use of Automata and Petri Nets (PNs) as semi-formal methods to build failsafe interlocking software for railway applications. In this paper interlocking software design which is achieved by using automata and PNs is explained where they were used synchronously as a voting system.
AB - In designing safe and reliable interlocking systems for railways which are compatible with the related CENELEC (European Committee for Electrotechnical Standardization) standards semi-formal methods and diverse programming techniques are highly recommended (HR). EN 50128 (where methodologies to build failsafe software for railway applications are defined) recommends the use of Automata and Petri Nets (PNs) as semi-formal methods to build failsafe interlocking software for railway applications. In this paper interlocking software design which is achieved by using automata and PNs is explained where they were used synchronously as a voting system.
UR - https://www.scopus.com/pages/publications/84857331621
M3 - Conference contribution
AN - SCOPUS:84857331621
SN - 9786050102048
T3 - ELECO 2011 - 7th International Conference on Electrical and Electronics Engineering
SP - II386-II390
BT - ELECO 2011 - 7th International Conference on Electrical and Electronics Engineering
T2 - 7th International Conference on Electrical and Electronics Engineering, ELECO 2011
Y2 - 1 December 2011 through 4 December 2011
ER -