Ryszard Mielnik

The article is about a range of issues concerning the possible use of track circuits, consisting of rail lines and impedance bonds for continuously monitoring traffic parameters of a rail vehicle moving within a separated track section. The solution to this problem may be useful in many applications and various types of rail traffic control systems that use track circuits as a source of information about the track block occupancy. One possible application may be in automatic railway crossing signalling systems (ARCS) for approach sections. In that application, the carried out measurement of the position and speed of a rail vehicle allows to determine a pre-warning time for the railway crossing.

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.

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 zycia ludzi. Dlatego tez uwarunkowania te wymuszają stosowania narzędzi i metod do formalnego modelowania funkcji oraz symulowania pracy powyższych systemuów. W artykule zaproponowano wykorzystanie sieci Petriego w procesie modelowania funkcji sterownika układu automatycznego załączania rezerwy urządzeń zasilania systemów steriwania ruchem kolejowym. W artykule przedstawiono także praktyczną realizację sterownika wspomnianego wczesniej układu. Zrealizowano go na platformiie sprzętowej rodziny sterowników nI CompactrIO oraz aplikacji wykonanej w graficznym środowisku programowania labview firmy national Instruments. 

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.