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

• Autorzy: Mielnik R.

Identyfikatory

DOI

10.4467/2353737XCT.18.122.8897

Warianty tytułu

PL

Integracja sterownika załączenia rezerwy zasilania urządzeń sterowania ruchem kolejowym z wykorzystaniem sieci Petriego i graficznego języka programowania

• Języki publikacji: EN

Abstrakty

EN

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.

PL

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.

Słowa kluczowe

EN

power supply of railway traffic control systems; Petri nets; graphical programming of industrial controllers

PL

zasilanie systemów sterowania ruchem kolejowym; Sieci Petriego; programowanie kontrolerów przemysłowych

• Wydawca: Wydawnictwo Politechniki Krakowskiej im. Tadeusza Kościuszki
• Czasopismo: Technical Transactions
• Rocznik: 2018
• Tom: Vol. 115, iss. 8
• Strony: 155--166
• Opis fizyczny: Bibliogr. 18 poz., il.

Twórcy

autor

Mielnik R.

• Institute of Electromechanical Conversion. Department of Electrical and Computer Engineering, Cracow University of Technology

Bibliografia

• [1] David R., Alla H., Continuous and Hybrid Petri Nets, Discrete, Springer 2005.
• [2] Dąbrowa-Bajon M., Podstawy sterowania ruchem kolejowym, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2002.
• [3] Hruz B., Zhou M.C., Modeling and Control of Discrete-Event Dynamic Systems with Petri Nets and other tool, Springer, 2007.
• [4] Lewiński A., Perzyński T., Nowe rozwiązania komputerów sterujących w systemach sterowania ruchem kolejowym na przykładzie SSP, Materiały konferencyjne „Transport w XXI wieku”, Warszawa 2001.
• [5] Mielnik R., Petri Net as a tool for modelling a microprocessor measurement-control system using in critical applications, Proceedings of the IMEKO-TC7 Symposium, Cracow 2002.
• [6] Mielnik R., Synteza sterownika układu SZR urządzeń zasilania ruchem kolejowym z wykorzystaniem sieci Petriego oraz środowiska Labview, Materiały XVII Ogólnopolskiej Konferencji Naukowej Trakcja Elektryczna, SEMTRAK, Zakopane 2016.
• [7] Mielnik R., Synthesis of controller for railway – level crossing devices using Petri Nets and state machine, Technical Transactions 1-E (2)/2016.
• [8] Mielnik R., Sułowicz M., Ludwinek K., Jaśkiewicz M., The reliability of critical systems in railway transport based on the track rail circuit, Lecture Notes in Electrical Engineering, Springer 2018, Vol. 452, pp. 377 – 393.
• [9] Starke Peter H., Żurek J., Sieci Petriego: podstawy, zastosowania, teoria, PWN, Warszawa 1987.
• [10] Szmuc T., Szpyrka M., Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, WNT, Warszawa 2010.
• [11] Szpyrka M., Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT, Warszawa 2008.
• [12] Winiecki W., Organizacja komputerowych systemów pomiarowych, Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 2006.
• [13] Kornaszewski M., Systemy zasilania rezerwowego urządzeń sterowania ruchem kolejowym, Logistyka 10/2013.
• [14] System zasilania urządzeń sterowania typu SZUS – Album urządzeń zasilajacych, KZA Kraków, 1995.
• [15] System zasilania urządzeń stacyjnych type ELZAS, Dokumentacja Techniczno-Ruchowa, KZA Kraków, 2005.
• [16] Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym, Ie-4 (WTBE10), PKP Polskie Linie KolejoweS.A. Warszawa 2014.
• [17] National Instruments website, www.ni.com (access: 03.07.2017).
• [18] National Instruments website www.ni.com/tutorial/7425/en/ LabVIEW Statechart Module Tutorial (access: 03.07.2017).

Uwagi

EN

Section "Electrical Engineering"

PL

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).