Synthesis of controller for railway – level crossing devices using Petri nets and state machine

• Autorzy: Mielnik R.

Identyfikatory

DOI

10.4467/2353737XCT.16.032.5294

Warianty tytułu

PL

Synteza kontrolera urządzeń przejazdowych z wykorzystaniem sieci Petriego i maszyny stanów

• Języki publikacji: EN

Abstrakty

EN

The design of modern digital measurement-control systems applied in such fields as nuclear and power, chemical, air and rail transport as well as military requires a special approach to the philosophy of design, manufacture and the use of such systems. Therefore, attention should be focused on safeguarding the required level of reliability and safety of working conditions of such systems. On an example of a controller for an automatic railway crossing devices is presented synthesis of this controller. In this fact were used Petri nets – to modeling this controller and state machine – to make programming application.

PL

Projektowanie cyfrowych systemów pomiarowo-sterujących stosowanych w takich obszarach jak: energetyka jądrowa, przemysł chemiczny, transport powietrzny i kolejowy oraz zastosowania militarne wymaga specjalnego podejścia do filozofii projektowania, produkcji i eksploatacji tego typu. Systemy te wymagają zapewnienia odpowiedniego poziomu niezawodności i bezpieczeństwa. Na przykładzie sterownika samoczynnej sygnalizacji przejazdowej przedstawiono jego syntezę z wykorzystaniem sieci Petriego – do modelowania funkcji kontrolera, oraz maszyny stanów – do wykonania oprogramowania.

Słowa kluczowe

EN

Petri nets; state machine; discrete event system; real-time systems

PL

sieci Petriego; maszyna stanów; dyskretny system zdarzeń; systemy czasu rzeczywistego

• Wydawca: Wydawnictwo Politechniki Krakowskiej im. Tadeusza Kościuszki
• Czasopismo: Czasopismo Techniczne. Elektrotechnika
• Rocznik: 2016
• Tom: Y. 113, iss. 1-E
• Strony: 101--112
• Opis fizyczny: Bibliogr. 16 poz., wz., il.

Twórcy

autor

Mielnik R.

• Institute of Electromechanical Energy Conversions, Faculty of Electrical and Computer Engineering, Cracow University of Technology

Bibliografia

• [1] David R., Alla H., Discrete, Continuons, and Hybrid Petri Nets, 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., Petrii net as a tool for modelling a microprocessor measurement-control system using in critical applications, Proceedings of the IMEKO-TC7 Symposium, “Measurement Science of the Information Era”, Kraków 2002.
• [6] Mielnik R., Sieć Petriego w syntezie mikroprocesorowej sygnalizacji przejazdowe, Materiały konferencji SEMTRAK, Zakopane 2002.
• [7] Mielnik R., Modelowanie przepływu informacji w urządzeniach sterowania ruchem kolejowym, Materiały konferencji SEMTRAK, Zakopane 2008.
• [8] Mielnik R., Sieć Petriego w projektowaniu systemów pomiarowo-sterujących zdarzeń dyskretnych w zastosowaniach krytycznych, [in:] Elektrotechnika w zastosowaniach trakcyjnych, edited by A.S. Jagiełło, Monografia No. 450, Wydawnictwo Politechniki Krakowskiej, Kraków 2014.
• [9] Starke P.H., Żurek J., Sieci Petrii, 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] Instrukcja o budowie, przeglądach i konserwacji urządzeń zabezpieczenia ruchu na przejazdach kolejowych E-4, Warszawa 1996.
• [14] Rozporządzenie Ministra Transportu i Gospodarki Morskiej z dnia 26 lutego 1996 r. w sprawie warunków technicznych, jakimi powinny odpowiadać skrzyżowania linii kolejowych z drogami publicznymi i ich usytuowanie, Dz. U. Nr 33, poz. 144.
• [15] Hennie F. C., Finite-State Models for Logical Machines, Wiley, New York 1968.
• [16] LabVIEW Statechart Module Tutorial, http://www.ni.com/tutorial/7425/en [online: 9.08.2014].