Badanie niezawodności i poprawności oprogramowania w kolejowych systemach komputerowych

• Autorzy: Trzaska K.

Warianty tytułu

EN

Analysis of software reliability and correctness in railways' computer systems

• Języki publikacji: PL

Abstrakty

PL

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

EN

This paper presents a problem of build 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 was presented the railway control system applied to cross level protection.

Słowa kluczowe

PL

sygnalizacja przejazdowa; bezpieczeństwo; oprogramowanie; poprawność oprogramowania

EN

railway control; safety; software; software correctness

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Zeszyty Naukowe. Transport / Politechnika Śląska
• Rocznik: 2003
• Tom: z. 48
• Strony: 245--264
• Opis fizyczny: Bibliogr. 14 poz.

Twórcy

autor

Trzaska K.

• Katedra Transportu Szynowego Politechniki Śląskiej, 40-019 Katowice ul. Krasińskiego 8, tel. [phone],

Bibliografia

• 1. Kopetz H.: Niezawodność oprogramowania, Wydawnictwa Naukowo-Techniczne, Warszawa 1980.
• 2. Myers G. J.: Projektowanie niezawodnego oprogramowania, Wydawnictw a Naukowo-Techniczne, Warszawa 1980 r.
• 3. Lewiński A., Konopiński L., Siergiejczyk M.: Prognozowanie niezawodności i bezpieczeństwa komputerowych systemów sterowania ruchem kolejowym , Przegląd Kolejowy, Nr 3/2000, s. 5+11.
• 4. Wiater I.: System y komputerowe o zwiększonej niezawodności dla urządzeń automatycznego sterowania pociągam i, Telekomunikacja i Sterowanie Ruchem, Technika Transportu Szynowego, N r 6-7/1995, s. 49+53.
• 5. CENELEC EN 50128, Railway Applications, Software for railway control and protection systems, 1997.
• 6. Alagic S., Arbib M .A.: Projektowanie programów poprawnych i dobrze zbudowanych, WNT, Warszaw a 1982.
• 7. Blikle A.: A specified programming, Prace Instytutu Podstaw Informatyki PAN, Warszawa 1979.
• 8. Dembiński P., Matuszyński J.: M atematyczne metody definiowania języków programowania, W NT, Warszawa 1981.
• 9. Jones C.B.: Projektowanie oprogramowania metodą systematyczną, W NT, Warszawa 1984.
• 10. Lauber R., Konakovsky R., Reinshagen K.P.: Structured documentation method for safety related controlled systems, Proceedings of IF AC 78 Congress, Helsinki 1878.
• 11. Lewiński A.: Problemy oprogramowania bezpiecznych systemów komputerowych w zastosowaniach transportu kolejowego, Politechnika Radomska im. K. Pułaskiego, MONOGRAFIA nr 49, Radom 2001.
• 12. Opracowanie CNTK, Zakład Sterowania Ruchem Kolejowym: Wymagania bezpieczeństwa dla urządzeń sterowania ruchem kolejowym , Warszawa, luty 1998.
• 13. Lewiński A., Trzaska K.: The software safety of railway control system applied to cross level protection, materiały III Międzynarodowej Konferencji Transport Systems Telematic, Katowice 2003.
• 14. Lewiński A., Trzaska K.: Projektowanie bezpiecznego oprogramowania dla systemu samoczynnej sygnalizacji przejazdowej, materiały VII edycji konferencji TRANSCOM P 2003, Zakopane, grudzień 2003.