The integration of an automatic reserve switching controller into a railway traffic control system power supply through the use of a Petri net and a graphical programming language
The integration of an automatic reserve switching controller into a railway traffic control system power supply through the use of a Petri net and a graphical programming language
The integration of an automatic reserve switching controller into a railway traffic control system power supply through the use of a Petri net and a graphical programming language
Wariant tytułu
Integracja sterownika załączenia rezerwy zasilania urządzeń sterowania ruchem kolejowym z wykorzystaniem sieci Petriego i graficznego języka programowania
Autor
Mielnik, Ryszard
Opublikowane w
Technical Transactions
Numeracja
Vol. 115, iss. 8
Strony
155-166
Data wydania
2018
Miejsce wydania
Kraków
Wydawca
Wydawnictwo PK
Język
angielski
DOI
10.4467/2353737XCT.18.122.8897
Słowa kluczowe
power supply of railway traffic control systems, Petri nets, graphical programming of industrial controllers
zasilanie systemów sterowania ruchem kolejowym, Sieci Petriego, programowanie kontrolerów przemysłowych
Abstrakt
The requirement for high reliability and safety in the operation of measuring and control systems is particularly relevant in critical applications in which system failure can lead to large material losses and can constitute threat to health and even to life. Railway traffic control systems are one such application. There is a requirement for the use of powerful tools and methods of modelling the function and operation of this system. The purpose of this publication is to present the use of a Petri net in modelling automatic reserve switching device controllers of railway traffic control system power. The publication also shows the practical implementation of such a controller. It was implemented using the hardware platform of the NI CompactRIO family of controllers and an application made in the National LabView graphical programming environment.
Wysoka niezawodność i rzetelne działanie systemów pomiarowo-sterujacych w zastosowaniach krytycznych w obecnej dobie jest coraz bardziej wymagany. Niewłaściwa praca takich systemów może doprowadzić do dużych strat materialnych, a nawet utraty zdrowia i życia ludzi. Dlatego też uwarunkowania te wymuszają stosowania narzędzi i metod do formalnego modelowania funkcji oraz symulowania pracy powyższych systemów. W artykule zaproponowano wykorzystanie Sieci Petriego w procesie modelowania funkcji sterownika układu automatycznego załączania rezerwy urządzeń zasilania systemów sterowania ruchem kolejowym. W artykule przedstawiono także praktyczną realizację sterownika wspomnianego wcześniej układu. Zrealizowano go na platformiie sprzętowej rodziny sterowników NI CompactRIO oraz aplikacji wykonanej w graficznym środowisku programowania LabView firmy National Instruments.
Klasyfikacja PKT
692117 Technika i technologia kolejowego zaplecza technicznego
