PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Czasopismo
2014 | nr 4, CD 3 | 2915--2921
Tytuł artykułu

Computer Aided Modelling of Railway Station Traffic Control Systems

Warianty tytułu
Komputerowe wspomaganie modelowania stacyjnych systemów srk
Języki publikacji
EN
Abstrakty
W artykule przedstawiono propozycję sformalizowanej metody specyfikacji złożonych funkcji zależnościowych w systemach sterowania ruchem kolejowym. Opisana metoda opiera się na podejściu geograficznym, umożliwiającym uniwersalne wykorzystanie zbudowanych elementów dla dowolnego układu torowego. Zaprezentowane zostały możliwości specyfikacji i weryfikacji otrzymanych algorytmów w środowisku komputerowego wspomagania prac projektowych. Zastosowanie algorytmów do opisu działania pozwala na intuicyjne przejście od elementarnych warunków opisanych w języku naturalnym do zapisu formalnego i ostatecznie kodu języka VHDL. (abstrakt oryginalny)
EN
The paper presents a modelling method for complex interlocking functions in railway traffic control systems. The method is based on the geographical approach, which allows to use the created elements for any track layout. Specification and verification of the designed algorithms was performed in computer-aided design environment. The use of algorithms to describe the functions allowed to intuitively transform the elementary conditions in verbal description into formal notation and finally the VHDL code. (original abstract)
Czasopismo
Rocznik
Numer
Strony
2915--2921
Opis fizyczny
Twórcy
  • Warsaw University of Technology, Poland
  • Bombardier Transportation (Rail Engineering) Polska Sp. z o.o.
Bibliografia
  • [1] Apuniewicz S.: Układy przekaźnikowe w automatyce zabezpieczenia ruchu kolejowego. Wydawnictwa Politechniki Warszawskiej, Warszawa 1969.
  • [2] Kawalec P., Rżysko M.: Komputerowo wspomagana specyfikacja funkcji zależnościowych urządzeń srk. Technika Transportu Szynowego 9/2012, s.1605-1614.
  • [3] Kawalec P., Rżysko M.: Metoda tworzenia formalnego zapisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 100, 2013, s.91-108.
  • [4] Kawalec P., Rżysko M.: Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk. Prace Naukowe - Transport, z. 95, 2013, s.221-230.
  • [5] Koliński D.: Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu. Prace Naukowe - Transport, z. 86, 2013, s.35-52.
  • [6] Minkowitz C., Atkiss J.: An object-oriented formal specification of a configuration language for railway interlockings. 3rd Northern Formal Methods Workshop, 1998.
  • [7] Traczyk W.: Układy cyfrowe. Podstawy teoretyczne i metody syntezy. Wydawnictwa NaukowoTechniczne, 1982.
  • ---
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000171360535

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.