PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 14

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  railway control systems
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Bezpieczeństwo systemów srk a nowe technologie informacyjne
Lewiński A.
Przegląd Komunikacyjny
|
2018
|
R. 73, nr 6
29--38
PL
Nowe technologie informacyjne, czyli techniki komputerowe, bezprzewodowe (otwarte) standardy transmisji oraz systemy satelitarne wykorzystywane do pozycjonowania miały istotny wpływ na inne podejście do kryterium bezpieczeństwa systemów sterowania ruchem kolejowym. Przyjęta dla systemów przekaźnikowych zasada „fail-safe" opierała się na bardzo dużej niezawodności przekaźników (gwarantowana liczba zadziałań) oraz rygorystycznej procedurze utrzymania (legalizacji). Implementacja nadmiarowych, redundantnych systemów komputerowych zmodyfikowała pojęcie bezpieczeństwa w kierunku tolerowalnego poziomu ryzyka (THR), gdzie bezpieczeństwo komputerowych systemów wyrażono w formie intensywności zdarzeń krytycznych uwzględniających testowanie. Technologie bezprzewodowe uwzględniły z kolei zagrożenia i ich wpływ na funkcjonalność, dostępność i niezawodność systemów srk.
EN
The new information technologies, such computer techniques, wireless (open) transmission standards and satellite systems applied for positioning have a important influence for different approach to safety criteria of railway control systems. The"fail-safe" rule assumed for relay control systems is based on high reliability of applied relays (guaranteed number of switches) and rigorous maintenance (homo-logation) procedure. The implementation of redundant, parallel computer systems has modified the concept of safety towards Tolerable Hazard Rate, where safety of computer systems is defined as an intensity of critical (dangerous, catastrophic) failures including self-testing. The wireless technologies respect the threats and their influence for functionality, availability and reliability of railway control systems (defined as probability).
2
Content available Systemy sterowania ruchem wykorzystujące nowe technologie telematyczne
Lewiński A., Łukasik Z., Perzyński T., Ukleja P.
Problemy Kolejnictwa
|
2015
|
Z. 166
101--112
PL
W artykule opisano systemy nowej generacji do kontroli i zarządzania ruchem kolejowym zwłaszcza na liniach regionalnych. Obecna infrastruktura kolejowa takich linii daje możliwość stosowania nowych technologii telematycznych, w tym otwartych standardów transmisji radiowej do sterowania i monitorowania pojazdów szynowych. Przedstawioną w artykule analizę efektywności i bezpieczeństwa oparto na procesach stochastycznych, co jest zgodne z normami i zaleceniami UE.
EN
In the paper the new generations of control and management railway systems are presented, with particular emphasis on regional lines. The current rail infrastructure of regional lines enables the use of new telematic technologies, including open radio transmission to the control, management and monitoring of rail vehicle. The efficiency and safety analysis, presented in the paper, was based at stochastic processes. Such approach is consistent with railway standards and EU recommendations.
3
Content available Łączność bezprzewodowa pomiędzy systemami SRK na liniach regionalnych
Lewiński A., Ukleja P.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1605--1611, CD
PL
Technologie bezprzewodowe są nowym kierunkiem w rozwoju systemów sterowania ruchem kolejowym na liniach regionalnych. Mimo transmisji otwartej są one tak samo bezpieczne jak dotychczas stosowane linie kablowe, czy światłowodowe. W pracy podjęto analizę zastosowania radiolinii do komunikacji pomiędzy systemami stacyjnymi srk stosowanymi na liniach regionalnych.
EN
The wireless technology is a trend of railway control systems development especially designed for regional lines. The applied open transmission guarantees the same safety level such existing cable and optical connections. The paper deals with reliability analysis for radio-line applied for communication between inerlocking systems for regional line.
4
Content available Bezpieczne sterowanie ruchem pociągów na liniach regionalnych
Lewiński A., Ukleja P.
Autobusy : technika, eksploatacja, systemy transportowe
|
2013
|
R. 14, nr 3
1445-1450
PL
Praca dotyczy ważnego problemu jakim jest nowoczesne i efektywne sterowanie ruchem kolejowym na liniach regionalnych, gdzie ruch jest ograniczony do kilkunastu par pociągów na dobę. Linie te posiadają właściwą infrastrukturę (systemy sygnalizacji przejazdowej, zależnościowe, blokady liniowe), ale ze względu ekonomicznych potrzebna jest integracja takich systemów na poziomie Lokalnych Centrów Sterowania
EN
The paper deals with very important problem of modern and efficient railway control for regional lines with traffic reduced to less than 20 pairs of trains per day. These lines are equipped with appropriate infrastructure (cross level systems, interlocking or line block control) but with regard to economic aspects all local systems must be integrated in one Local Control Centre.
5
Content available Bezpieczna transmisja w systemach srk na przykładzie rozwiązań firmy KOMBUD S.A.
Lewiński A., Kalbarczyk T.
TTS Technika Transportu Szynowego
|
2012
|
R. 19, nr 9
2641--2652, CD
PL
W artykule przedstawione zostały wymagania dla transmisji cyfrowej stosowanej w bezpiecznych systemach srk zdefiniowane w obowiązujących normach. Artykuł zawiera wprowadzenie do zagadnienia i praktyczną realizację na przykładzie wybranych systemów sterowania ruchem kolejowym produkowanych przez KOMBUD S.A.
EN
The paper deals with requirements defined for digital transmission applied tor safety railway control systems according to existing standards. The paper contains the introduction to the presented problem and practical realization with respect to some railway control systems produced by KOMBUD S.A.
6
Content available The safety assurance method of railway control systems using object oriented languages
Sumiła M., Lewiński A.
Archives of Transport
|
2010
|
Vol. 22, iss. 2
238-257
EN
The paper deals with introduction of safety rules to the software designed for railway control systems. The basic assumption is related to software designed using high level language UML with possibility of modelling, verification, functional testing and simulation in CASE environment. The object methodology the base of UML regards the software implementation with respect to safety and real time control corresponding to UIC recommendations and CENELEC standards.
PL
Praca dotyczy metody wprowadzania reguł bezpieczeństwa do oprogramowania przeznaczonego dla systemów sterowania ruchem kolejowym. Przyjęto, że oprogramowanie jest tworzone w języku wysokiego poziomu UML, który daje możliwość modelowania, weryfikacji, testowania funkcjonalnego oraz symulacji w środowisku CASE. Metodologia obiektowa będąca podstawą języka UML obejmuje implementację oprogramowania uwzględniającą bezpieczeństwo i sterowanie w czasie rzeczywistym zgodnie ze standardami i zaleceniami UIC i CENELEC.
7
Wdrażanie komputerowego systemu srk na linii regionalnej
Lewiński A., Ukleja P.
Logistyka
|
2009
|
nr 6
CD-CD
PL
W pracy przedstawiono architekturę sprzętową i strukturę oprogramowania systemu sterowania ruchem kolejowym na liniach regionalnych. Proponowany system ZSB 2000 zaprojektowany dla tego typu zastosowań prze firmę Scheidt&Bachmann. opiera się na elementach systemu sygnalizacji przejazdowej BUES 2000 eksploatowanego od wielu lat na kolejach polskich.
EN
The paper deals to hardware architecture and software organization of railway control system for regional lines. The proposed ZSB 2000 system especially designed by Scheidt&Bachmann for such applications is based on elements of cross level protection system BUES 2000 used for several years in polish railways.
8
Metoda weryfikacji niezawodnościowych charakterystyk bezpiecznych systemów SRK
Lewiński A., Perzyński T.
Logistyka
|
2009
|
nr 6
CD-CD
PL
Praca dotyczy szacowania bezpieczeństwa komputerowych systemów sterowania ruchem kolejowym. Obliczenia bazują na danych statystycznych przeprowadzonych na stacji Żywiec (SIMIS-W). Analiza i obliczenia potwierdzają wysoki poziom bezpieczeństwa kolejowych systemów komputerowych. W celu weryfikacji zaproponowano test .X2 -Persona oraz δ. - Kołmogorowa
EN
The paper concern the estimation of safety of railway control systems. The estimation based on the measures made on Żywiec station (SIMIS-W). The measures and estimation confirm a high level of safety of railway computer control and management systems. As a methods of verification .2 - Pearson and . - Kolmogorov test was used.
9
Content available remote Zagadnienia realizacji bezpieczeństwa w programowanych systemach SRK
Dyduch J., Maciejewski M.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2007
|
z. 62
99-109
PL
W referacie przedstawiono zagadnienia związane z tworzeniem bezpiecznego oprogramowania komputerowych systemów srk. Bazowano przy tym na długoloetnich doswiadczeniach w opracowywaniu systemów skr w Zakładzie Sterowania Ruchem w Transporcie Wydziału Transportu Politechniki Warszawskiej.
EN
In article was presented problems of creating fail-safe software for programmable ground railway control systems. Article was based on many years experience of by Railway Traffic Control Department, Warsaw University of Technology Faculty of Transport in creating systems of railway.
10
Content available remote Safety of decentralised computer systems for railway transport management and control
Lewiński A.
Archives of Transport
|
2003
|
Vol.15, iss.2
75-93
EN
For the past several years, the decentralised computer systems have been introduced into railway contro\. The design of hierarchical, dissipated systems as computer network is naturaI way of control decomposition: large centralised interlocking system co-operates with interIocking systems for smali railway station, cross level systems and new generation of dispatcher systems. These computer networks, used for railway transport management and controI, apply different transmission methods based both on radio and cable standards. The rules of integration such networked systems are defined in ERTMSIETCS project elaborated by organisation of European railways Ule. The main aim of this work is safety characteristics of such systems, the safety analysis related to reliability and functional parameters corresponds to Markov proces s modelIing the exploitation of multicomputer systems.
PL
W ciągu ostatnich kilku Jat można zaobserwować wprowadzanie rozproszonych systemów sterowania do techniki sterowania ruchem kolejowym. Tworzenie sieci komputerowych związane jest z decent ralizacją sterowania, gdy duży system zależnościowy współpracuje z małymi systemami stacyjnymi i systemami sygnalizacji przejazdowej, ale także z łączeniem systemów lokalnych opartych na zaawansowanej technice komputerowej, co ma miejsce w przypadku systemów dyspozytorskich. Bezpieczne realizacje sterowników komputerowych opierają się na specjalnych nadmiarowych konfiguracjach, w których kilka komputerów wymienia informacje przez łącza komunikacyjne. Innym zagadnieniem są komputerowo sterowane systemy zdalnego sterowania oraz komunikacji tor(pojazd. Celem pracy jest charakterystyka bezpieczeństwa hierarchicznego systemu zarządzania i sterowania ruchem kolejowym opartego na założeniach ERTMSIETCS (opracowanego na potrzeby kolei europejskich) i skonfigurowanego z rozproszonych systemów komputerowych połączonych za pośrednictwem sieci. Oprócz wymagań wynikających ze standardów CENELEC i zaleceń UIC dotyczących bezpiecznej konfiguracji sprzętowej, oprogramowania i transmisji, przedstawiono także problem wskaźników bezpieczeństwa takich systemów wyznaczanych na podstawie charakterystyk niezawodnościowych i eksploatacyjnych. Analiza taka, typowa dla komputerowych systemów uwarunkowanych bezpieczeństwem, oparta jest na procesach Markowa modelujących pracę systemów wielokomputerowych.
11
Content available remote Usterkowość systemów sterowania ruchem kolejowym. Prognozowanie zawodności urządzeń SRK
Mikulski J.
Zeszyty Naukowe. Transport / Politechnika Śląska
|
2001
|
z. 42
183-190
PL
Przedstawiono analizę usterkowości elektrycznych urządzeń sterowania ruchem kolejowym oraz ocenę wpływu na usterkowość czynników zewnętrznych. Przeprowadzono również prognozę zawodności tych urządzeń.
EN
The papaer presents an analysis of failure rate of electrical railway traffic control equipment as well as assessment of external factor influence. Also a forecast of failure rate of this equipment was performed.
12
Content available remote The semi-formal methods of software correctness analysis for railway controI applications
Lewiński A.
Archives of Transport
|
2001
|
Vol. 13, iss. 3
61-74
EN
The formal and semi-formaI methods of software correctness analysis are recommended by European standardisation (CENELEC) and railway (UIC) organisations for design and analysis of railway control computer systems. The formal methods, based on mathematicaIlogic are sophisticated and rather difficuIt to immediate application by railway control systems designers. The semi-formaI methods used both for software derivation and anaIysis are intuitive and correspond to typical practice of railway signaIling engineers. The paper deals with some relations between well founded correct programmes, recommended programming styles, and rules of correctness condition specification and analysis using symbolic testing. The presented methodology is supported by an example of a typical interlocking programme.
PL
Europejskie organizacje normalizacyjne (CENELEC) i kolejowe (UIC) zalecają metody sformalizowane (ang. Formal) i półformalne (ang. semi formal) przy projektowaniu i analizie poprawności oprogramowania komputerowych systemów sterowania ruchem kolejowym. Metody formalne, oparte na logice matematycznej są dość skomplikowane i raczej trudne do bezpośredniego stosowania przez projektantów kolejowych systemów sterowania. Metody półformalne używane zarówno do konstruowania poprawnych programów, jak i do ich analizy są oparte na intuicji i odpowiadają metodom stosowanym w praktyce przez inżynierów zajmujących się systemami sterowania ruchem kolejowym. W artykule przedstawiono związki poprawnie zbudowanych programów z zalecanymi sposobami i stylami programowania, a także zasady specyfikacji warunków poprawności i metody analizy oparte na symbolicznym testowaniu. Przedstawioną metodykę wyjaśniono na przykładzie typowego programu zależnościowego.
13
Content available remote The design of correct software for safety related railway control systems according to UE standards, requirements and recommendations
Lewiński A.
Archives of Transport
|
2001
|
Vol. 13, iss. 2
67-76
EN
The UIC recommendations and CENELEC standards for design of software for safety railway control computers in EU countries are related to programming styles and programme analysis methods introduced directly from basic meanings of mathematical theory of programme correctness. Recommended programming methods such as structured, specified, defensive and diversed programming give possibility of redundant software structure design ensuring both safety realisation and software correctness analysis using formal and specially semiformal, intuitive methods.
PL
Zalecenia podane przez UlC oraz normy opracowane CENELEC dla potrzeb tworzenia oprogramowania bezpiecznych komputerowych systemów sterowania ruchem kolejowym w państwach UE odwołują się do sposobów programowania oraz metod analizy wywodzących się bezpośrednio z podstawowych pojęć teorii poprawności programów. Zalecane sposoby programowania, takie jak programowanie strukturalne, specyfikowane, defensywne i zróżnicowane umożliwiają zaprojektowanie nadmiarowej struktury programów zapewniających bezpieczne funkcjonowanie systemu ale też analizę poprawności przy użyciu metod formalnych (ang. format), a zwłaszcza półformalnych (ang. semiformat) opartych na intuicji.
14
Content available remote Decision processes in the exploatiation of the railway traffic control systems
Dyduch J.
Archives of Transport
|
2001
|
Vol. 13, iss. 4
27-40
EN
The paper discusses the main aspects of decision support system concerning exploitation and maintenance of the railway traffic control devices and systems. Research issues dealing with decision - making processes concerning transport have been characterised. A model of decision-making processes of exploitation of the railway traffic control systems has been elaborated and its basic characteristics have been described. In the conclusion, a general idea of the decision support system of exploitation of the railway traffic controli systems, its structure, abilities and usage of the suggested system have been presented.
PL
W artykule omówiono istotną problematykę wspomagania decyzji w zakresie eksploatacji i utrzymania urządzeń i systemów sterowania ruchem kolejowym. Scharakteryzowano problematykę badawczą w obszarze procesów decyzyjnych w transporcie. Opracowano model procesów decyzyjnych w eksploatacji systemów sterowania ruchem kolejowym oraz opisano jego podstawowe własności. W zakończeniu przedstawiono ogólną koncepcję systemu wspomagania decyzji w eksploatacji systemów sterowania ruchem kolejowym, jego strukturę, możliwości oraz wykorzystanie proponowanego systemu.
first rewind previous Strona / 1 next fast forward last
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ć.