Metoda weryfikacji niezawodnościowych charakterystyk bezpiecznych systemów SRK

• Autorzy: Lewiński A. , Perzyński T.

Warianty tytułu

EN

The verification method of reliability characteristics of safety railway control systems

• Konferencja: 13th International Conference Computer Systems Aided Science, Industry and Transport "TRANSCOMP 2009"
• Języki publikacji: PL

Abstrakty

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.

Słowa kluczowe

PL

system sterowania ruchem kolejowym; niezawodność systemu; system bezpieczeństwa; niezawodność środków

EN

railway control systems; system reliability; system safety; reliability measures

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2009
• Tom: nr 6
• Strony: CD--CD
• Opis fizyczny: -pełny tekst, Bibliogr. 7 poz., tab., wykr.

Twórcy

autor

Lewiński A.

autor

Perzyński T.

• Politechnika Radomska, Wydział Transportu, ul. Malczewskiego 29, 26-600 Radom,

Bibliografia

• [1] Lewiński A., Perzyński T., Bester L.: "The computers supporting the analysis of safety in railway control and management systems". Prace konferencji Wydziału Transportu Politechniki Śląskiej, Transport Problems 2009.
• [2] Lewiński A., Perzyński T.: "The verification of safety measures for railway control systems". Prace konferencji Wydziału Transportu Politechniki Śląskiej TRANSPORT SYSTEMS TELEMATICS-2008, Katowice-Ustroń 2008.
• [3] Lewiński A., Perzyński T.: "Weryfikacja parametrów bezpieczeństwa systemów srk na przykładzie samoczynnej sygnalizacji przejazdowej". Prace konferencji Wydziału Transportu Politechniki Radomskiej Logi-Trans 2009.
• [4] Lewiński A.: "Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego". Wydawnictwo Politechniki Radomskiej, Radom 2001.
• [5] Perzyński T.: "Problemy bezpieczeństwa sieci komputerowych stosowanych w sterowaniu ruchem kolejowym" - rozprawa doktorska, Wydział Transportu i Elektrotechniki Politechniki Radomskiej, Radom 2009.
• [6] PN EN 50129:2003 ("Railway application - Communication, signalling and processing systems - Safety related electronic systems for signalling").
• [7] SIMIS-W Sterowanie Ruchem Kolejowym, materiały seminaryjne firmy Siemens Technika Transportowa, Zakopane 2000.