Wyniki wyszukiwania - BazTech

1

Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk

Zabłocki W.

Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne

|

2014

|

Nr 2(104)

399--406

PL

W publikacji przedstawiono specyfikację dokumentacji wymaganej przy opracowywaniu założeń i projektowaniu komputerowych systemów sterownia ruchem. Istotnym zagadnieniem projektowania takich systemów jest automatyzacja utworzenia tablicy zależności z wykazem sprzecznych dróg przebiegów. Zalgorytmizowanie wyznaczania sprzeczności dróg przebiegów wymaga opracowania metody pozwalającej formalizować relacje sprzeczności. Podstawą formalizacji są szczegółowe właściwości obiektów drogi przebiegu i ich analiza zgodna z zasadami bezpieczeństwa, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. W projektowaniu komputerowych systemów sterowania powstaje dylemat: czy wyznaczenie funkcji sprzeczności spełnia także wymagania dotyczące sprzeczności dróg przebiegów o wykluczeniach specjalnych. Zaproponowana metoda formalizacji sprzeczności pozwala określić wystarczający warunek sprzeczności, który odnosi się także do wykluczeń specjalnych. Jednakże proponuje się zastosowanie klasycznej tablicy zależności z wykazanymi sprzecznościami dróg przebiegów i wykluczeniami specjalnymi. Oznaczenie wykluczeń specjalnych będzie stanowić dodatkowy czynnik bezpieczeństwa systemu srk.

EN

The publication presents the specifications of the documentation required in developing of the assumptions and designing computer systems for traffic control. Another important issue is the design of such systems is to automatically create an array according to a list of conflicting routes. Algorithmization of determination of contradictions routes requires to develop a method to formalize the relations conflict. The basis of formalizing are detailed properties of the route objects and analysis consistent with the safety regulations, with particular emphasis on routes contradiction function. In the design of computer control systems arises dilemma whether design of contradiction functions also meets the requirements for routes contradiction with the special exclusion. The proposed method of contradiction formalization allows to determine sufficient condition for conflict, which also applies to the special exclusions. However, it is proposed to apply the classic array interlocking to the disclosed conflicts of routes and special exclusions. Marking of special exclusions will be an additional safety factor of the train control system (ATC).

2

Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych

Kawalec P., Koliński D.

Pomiary Automatyka Kontrola

|

2014

|

R. 60, nr 10

829--831

PL

Wykorzystując rachunek macierzowy i teorię automatów, zaproponowano metodę formalnego zapisu funkcji zależnościowych realizowanych w systemach sterowania ruchem kolejowym (srk). Metoda ta stała się podstawą wspomaganej komputerowo specyfikacji tych funkcji w językach opisu sprzętu HDL. Zaproponowana metoda pozwala naintuicyjne przejście od formalnego opisu w postaci macierzy do grafów przejść automatów skończonych w edytorze FSM. Przytoczono wyniki weryfikacji w postaci przebiegów czasowych, na grafie przejść oraz na schemacie blokowym.

EN

The paper presents a formal specification method of interlocking functions in railway traffic control systems. The method utilizes matrix calculus and the automata theory. After defining the set of automaton internal states (9), the transition matrixes (16) and transition priorities matrixes, describing the conditions checking order (17), were developed. The obtained general mathematical description of interlocking functions defines a method for determining control functions based on input data, so it can be assumed that the control algorithms for interlocking functions were defined. The developed method was then used as a basis for computer aided specification of these functions in hardware description languages (HDL). The intuitive transition from the matrix-based formal description to the finite-state machine graph in FSM editor (Fig. 1) is the advantage of the proposed method. Verification of the created interlocking functions can be performed on waveforms (Fig. 2), on the FSM graph (Fig. 3) and on the hierarchical block diagram (BDE) (Fig. 4). This specification and verification process was used to create all possible 39 interlocking functions for 10 object types of the railway interlocking system. The specification and verification results proved the correctness of the developed interlocking function execution algorithms. Obtaining the description of the functions in VHDL language is an additional advantage of the proposed method, which allows automatic synthesis, implementation and execution of these functions in FPGA devices.

3

Modelling of interlocking functions in railway station traffic control systems

Kawalec P., Koliński D.

Logistyka

|

2014

|

nr 4

2907--2913

EN

The paper presents a new specification method for the interlocking functions executed railway traffic control objects. On the example of short track section object, the procedure of creating the description in the form of state matrices, transition matrices and priorities matrices was presented. The intuitive transition from these matrices to the Moore machine in FSM editor was also shown. This description of object's interlocking functions allows to automatically generate the VHDL output file which, using the computer aided design environment, can be used for designing such object in FPGA structures.

PL

W artykule przedstawiono nowy sposób specyfikacji funkcji zależnościowych realizowanych przez obiekty systemów sterowania ruchem kolejowym. Na przykładzie odcinka torowego krótkiego, pokazano mechanizm zapisu funkcji obiektu w postaci macierzy stanów, macierzy tranzycji oraz macierzy priorytetów. Pokazano mechanizm intuicyjnego przejścia od tych macierzy do grafu przejść automaty skończonego Moore’a w edytorze FSM. Taki zapis funkcji obiektu pozwala na automatyczne wygenerowanie kodu języka VHDL, pozwalającego na wykorzystanie narzędzi wspomagania komputerowego w projektowaniu takich obiektów w układach FPGA.

4

Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk w językach opisu sprzętu

Kawalec P., Rżysko M.

TTS Technika Transportu Szynowego

|

2012

|

R. 19, nr 9

1605--1614, CD

PL

W artykule omówiona została koncepcja wykorzystania języków opisu sprzętu do specyfikacji funkcji zależnościowych urządzeń sterowania ruchem kolejowym. Przegląd stosowanych rozwiązań pokazuje, że nie istnieje metoda opisu zapewniająca jednolitą platformę specyfikacji dyskretnych układów sterowania w kolejnictwie. Obecnie wykorzystywane metody nie oferują również możliwości statycznej i dynamicznej weryfikacji wykonanego układu. Proces projektowania przy użyciu proponowanej metody zaprezentowany został na przykładzie specyfikacji algorytmu działania pojedynczego modułu dla geograficznego systemu zależnościowego, tworzonego w języku VHDL. Zastosowanie symulatorów logicznych w procesie weryfikacji projektu pozwoliło na wykonanie symulacji potwierdzających poprawność działania modelu. Na podstawie tak wykonanej specyfikacji pokazano zalety wykorzystania wspomagania komputerowego w postaci wszechstronnego pakietu przeznaczonego do tworzenia w językach HDL.

EN

This paper presents several issues concerning computer aided specification of railway interlocking functions using hardware description languages. The review of currently used methods shows that none of them can provide a uniform design platform for railway applications, capable of static and dynamic verification of the design. The proposed design process is shown on an exemplary specification of a geographical interlocking module algorithm, written in VHDL. With the use of logic simulators it was possible to verify correctness of the description. The article presents various advantages of utilizing both hardware description languages and computer aided design software.

5

Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym

Kawalec P., Koliński D.

Drogi : budownictwo infrastrukturalne

|

2012

|

Nr 3 (5)

39-45

PL

W artykule prezentujemy nowe podejście do problemu opisu funkcji zależnościowych. Polega ono na dekompozycji obiektu sterowania ruchem kolejowym (np. odcinka torowego, zwrotnicy) na proste funkcje zależnościowe, które opisywane są za pomocą automatów Moore'a. Przedstawiono sposób opisu takich obiektów z wykorzystaniem teorii automatów oraz struktur hierarchicznych. Zaprezentowano metodę weryfikacji funkcji zależnościowych na obu poziomach realizacji. Opracowana przez autorów metoda została zilustrowana na przykładzie odcinka torowy.

EN

The paper presents a new approach to issue of interlocking functions descriptions. It consists in decomposition of an interlocking complex (e.g. insulated section, points) into simple interlocking functions which are described by means of Moore automata. The manner of description has been pre sented of such complexes with the use of automata theory and hierarchical structures. Verification method has also been presented of interlocking functions on both realization levels. The method designed by the authors of the paper has been illustrated on the example of the insulated section.

6

Wybrane problemy tworzenia funkcji i równań zależnościowych w systemach srk

Maciejewski M., Zabłocki W.

Prace Naukowe Politechniki Warszawskiej. Transport

|

2010

|

z. 72

87-100

PL

W publikacji przedstawiono wybrane problemy dotyczące metody tworzenia funkcji i równań zależnościowych na podstawie równań stanu opisujących system srk jako układ przełączający. Analiza systemu srk jako układu przełączającego pozwala wyróżnić w strukturze tego układu szereg automatów składowych odwzorowujących przebiegi, jak i obiekty sterowane. Do opisu tych automatów zastosowano równania stanu. Metoda ta umożliwiła sformułowanie funkcji i równań zależnościowych, które można zastosować do celów algorytmizacji. Ponadto zastosowanie tej metody pozwala zbadać własności tych automatów a tym samym i systemu srk.

EN

In the publication a method of creating the function and interlocking equations was presented on the basis of equations of the state describing the ATC system as the switching machine. Analysis of the ATC system as the switching machine lets single the row of automaton in the structure of this system as components reflecting of the rout process, as controlled objects. Equations of the state were used to the description of these machines. This method enabled to formulate the interlocking function and equations whom it is possible to apply to purposes of the algorithmization. Moreover applying this method allows to examine properties of these automaton hence and of ATC system. The required property of these automaton is among others their observability.

7

Interlocking functions of ATC station system

Zabłocki W.

Archives of Transport

|

2008

|

Vol. 20, iss. 4

89-108

EN

The paper presents a method for formalising and determining the value of interlocking function in a context of static and dynamic framework, containing information about train routing conflict. The information framework is an element necessary for description of relations in traffic controI systems at the station, as well as for creating control functions. The publication also presents a new method of defining ATC system and creating its model.

PL

W publikacji omówiono metodę formalizacji funkcji sterowania, a następnie na podstawie zaproponowanych statycznych i dynamicznych struktur informacji przedstawiono sposób określania wartości funkcji zależnościowych. Struktury informacji są także niezbędne do określania wartości funkcji sprzeczności dróg przebiegów i tworzenia równań zależnościowych. Ponadto w publikacji przedstawiono nowy sposób definiowania systemu SRK i metodę tworzenia jego modelu.