The software safety of railway control system applied to cross level protection

• Autorzy: Lewiński A. , Trzaska K.

Warianty tytułu

PL

Bezpieczeństwo oprogramowania systemu sterowania ruchem kolejowym na przykładzie systemu samoczynnej sygnalizacji przejazdowej

• Konferencja: "Transport Systems Telematics TST' 03". III International Conference, Katowice-Ustroń, 13-15 November 2003
• Języki publikacji: PL

Abstrakty

PL

W referacie przedstawiono problemy budowy bezpiecznego oprogramowania aplikacji kolejowych przy wykorzystaniu teorii poprawności oprogramowania. Poprawne oprogramowanie ma istotny wpływ na działanie systemów uwarunkowanych bezpieczeństwem, zwłaszcza 4 poziomu bezpieczeństwa (SIL4). Jako przykład autorzy przedstawili uproszczony system samoczynnej sygnalizacji przejazdowej.

EN

This paper presents a problem of building the safety software of railway control system using theory of software correctness. The correctness of software has an important effect to performance the fail-safe systems, especially SIL4 (safety integrity levels 4). For example Authors present the railway control system applied to cross level protection.

Słowa kluczowe

PL

system sterowania koleją; bezpieczeństwo; oprogramowanie; niezawodność; ruch kolejowy

EN

railway control system; safety; software; reliability; railway traffic

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Zeszyty Naukowe. Transport / Politechnika Śląska
• Rocznik: 2003
• Tom: z. 51
• Strony: 337--343
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Lewiński A.

• Faculty of Transport, Radom University of Technology, 26-600 Radom

autor

Trzaska K.

• Automatic Control in Transport, Faculty of Transport, Silesian University of Technology, Krasińskiego 8, 40-019 Katowice, Poland

Bibliografia

• [1] LEWIŃSKI A.: Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego (Programming issues concerning safety computer systems in railway transport applications), Politechnika Radomska im. K. Pułaskiego, Monography No 49, Radom 2001
• [2] DEMBIŃSKI P., MAŁUSZYŃSKI J.: Matematyczne metody definiowania języków programowania (Mathematical methods of programming language definition), WNT, Warsaw, 1981.
• [3] Opracowanie CNTK, Zakład Sterowania Ruchem Kolejowym: Wymagania bezpieczeństwa dla urządzeń sterowania ruchem kolejowym (Safety requirements for railway traffic control equipment), Warsaw, Feb. 1998.
• [4] CENELEC EN 50128, Railway Applications, Software for railway control and protection systems, 1997.
• [5] MYERS G. J Projektowanie niezawodnego oprogramowania (Desing of reliable software), WNT, Warsaw 1980.
• [6] DĄBROWA-BAJON M : Podstawy sterowania ruchem kolejowym. Funkcje, wymagania, zarys techniki (Basics of railway traffic control. Functions, requirements, outline of technique), WPW 2002.
• [7] KOPETZ H.: Niezawodność oprogramowania (Software reliability), WNT, Warsaw 1980.