Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2004 | z. 55 | 239-246
Tytuł artykułu

The modelling of computer networks for railway control and management

Wybrane pełne teksty z tego czasopisma
Warianty tytułu
PL
Modelowanie sieci komputerowych stosowanych w systemach zarządzania i sterowania ruchem kolejowym
Konferencja
Transport System Telematics (4th International Conference; 04-06 November 2004; Katowice-Ustroń; Polska)
Języki publikacji
EN
Abstrakty
EN
The paper deals with configuration of computers applied in railway systems: interlocking and dispatcher monitoring. Examples from the EU railways: specialised three computer interlocking SELMIS, dispatcher system WSKR, remote control of Warsaw Underground and GSM-R based ERTMS structure for train monitoring are analysed and modelled with respect to typical net parameters such as probability of the correct connection and delay time. The applied Markov process and temporal Petri net modelling allows to estimate necessary safety criteria, both time and probabilistic.
PL
Praca dotyczy konfiguracji komputerów w systemach zależnościowych i dyspozytorskich. Przykłady systemów stosowanych na kolejach europejskich: trzykomputerowy system zależnościowy SELMIS, system kontroli dyspozytorskiej WSKR, system zdalnego sterowania w Warszawskim Metrze i przyszłościowy system nadzorowania pociągu ERTMS/GSM-R są analizowane względem typowych parametrów sieci takich jak prawdopodobieństwo poprawnego przełączenia i czas opóźnienia. Zastosowane modele procesów Markowa i czasowych sieci Petriego pozwalają oszacować typowe kryteria bezpieczeństwa, zarówno probabilistyczne jak i czasowe.
Słowa kluczowe
Wydawca

Rocznik
Tom
Strony
239-246
Opis fizyczny
Bibliogr. 10 poz.
Twórcy
Bibliografia
  • [1] DĄBRÓWA-BAJON M., KONOPIŃSKI L., LEWIŃSKI A., „Wybrane komputerowe systemy sterowania ruchem kolejowym na tle europejskich zaleceń normalizacyjnych,” Problemy Kolejnictwa, Zeszyt 116, 1994
  • [2] DUTUIT Y., SIGNORET J-P., „Dynamic systems modelling by using stochastic Petri Nets and Monte Carlo simulation”, materiały Międzynarodowej Konferencji BEZPIECZEŃSTWO I NIEZAWODNOŚĆ SYSTEMÓW ‘KONBIN2003’, Gdynia, 2003
  • [3] KONOPIŃSKI L„ LEWIŃSKI A., „The safety of decentralised computer systems for railway transport management and control”, materiały Międzynarodowej Konferencji BEZPIECZEŃSTWO I NIEZAWODNOŚĆ SYSTEMÓW ‘KONBIN2003’, Gdynia, 2003
  • [4] LEWIŃSKI A., „Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego”, Seria Monografie Nr 49, Wydawnictwo Politechniki Radomskiej, Radom, 2001
  • [5] LEWIŃSKI A., „The safety of decentralised computer systems for railway transport management and control” , Archiwum Transportu PAN, Warszawa, Nr 4, Vol. 14, 2003
  • [6] LEWIŃSKI A., PERZYŃSKI T., „New computer control systems in Polish State Railways”, I Międzynarodowa Konferencja Naukowa TELEMATYKA SYSTEMÓW TRANSPORTOWYCH'TST 2002’, Katowice-Ustroń, 2001
  • [7] LEWIŃSKI A., PERZYŃSKI T., „The safety problems of computer networks in transport applications”, II Międzynarodowa Konferencja Naukowa TELEMATYKA SYSTEMÓW TRANSPORTOWYCH'TST 2002’, Katowice-Ustroń, 2002
  • [8] LEWIŃSKI A., PERZYŃSKI T., „The safety of multi-computer systems for railway transport management and control”, VII Konferencja Naukowa KOMPUTEROWE WSPOMAGANIE W TRANSPORCIE, NAUCE I PRZEMYŚLE ‘TRAANSCOMP 2003’, Katowice, 2003
  • [9] TANENBAUM A. S„ „Sieci komputerowe”, WNT 1995
  • [10] Railway applications: The specification of dependability, reliability, availability, maintability and safety (RAMS), Report on pre-standard EN 50126, CENELEC 1997
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BSL3-0016-0099
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ć.