Software validation the safety-related systems as an example software validation of the railway control systems

• Autorzy: Skrypko J.

Warianty tytułu

PL

Walidacja oprogramowania systemów bezpiecznych na przykładzie systemów sterowania ruchem kolejowym

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

Abstrakty

PL

Referat zajmuje się testami wymaganymi dla walidacji oprogramowania systemów bezpiecznych. Podano przykład systemów sterowania ruchem kolejowym. Metody testów są przedstawione zgodnie z kolejowymi normami europejskimi. Na zakończenie podano porównanie tych norm kolejowych z normami systemów bezpiecznych.

EN

This work deals the tests needs for software validation process for safety-related systems. There is example the railway control systems. The test methods are shown with according to European railway standards. At last there is comparison these railway standards to safety-related systems.

Słowa kluczowe

PL

system bezpieczny; system sterowania ruchem; walidacja oprogramowania

EN

safety-related systems; railway control system; software validation

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

Twórcy

autor

Skrypko J.

• Bombardier transportation (ZWUS) Polska, Modelarska 12, 40-019 Katowice,

Bibliografia

• [1] SKRYPKO J., Railway application - system dependability. Workshop Proceeding, Gliwice, 1996.
• [2] CICHOCKI T., SKRYPKO J., Wprowadzanie wiarygodności i bezpieczeństwa systemów stosowanych na kolei zgodnie z wymaganiami norm Wspólnoty Europejskiej, Systemy czasu rzeczywistego ‘96, Wroclaw, 1996.
• [3] SKRYPKO J., Lista zagrożeń, jako podstawa do specyfikacji wymagań. Materiały VI Konferencji Naukowej - Problemy niezawodności transportu, Ustroń - Jaszowiec, 1997
• [4] SKRYPKO J., Przekształcanie drzewa zagrożeń metodą „Zofii”, Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim, CCATIE, Kraków, 1999.
• [5] PN-EN 50 126: 2002 (U) Zastosowania kolejowe. Specyfikacja niezawodności, dostępności, podatności utrzymaniowej i bezpieczeństwa (Railway application - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS)).
• [6] PN-EN 50 128: 2002 (U) Zastosowania kolejowe. Łączność sygnalizacja i systemy sterowania - Programy dla kolejowych systemów sterowania i zabezpieczenia (Railway application - Communication, signalling and processing systems - Software for railway control and protection systems).
• [7] EN 50 129 Railway application - Safety-related electronic systems for signalling.
• [8] IEC 61 508-1 Functional safety of electrical / electronic / programmable electronic safety-related systems -Part LGeneral requirements.
• [9] IEC 61 508-2 Functional safety of electrical I electronic / programmable electronic safety-related systems -Part 2: Requirements for electrical / electronic / programmable electronic safety-related systems.
• [10] IEC 61 508-3 Functional safety of electrical / electronic / programmable electronic safety-related systems -Part 3:Software requirements.
• [11] IEC 61 508-6 Functional safety of electrical I electronic / programmable electronic safety-related systems -Part 6: Guide on the application of IEC 61 508-2 and IEC 61 508-3.
• [12] IEC 61 508-7 Functional safety of electrical / electronic / programmable electronic safety-related systems -Part 7: Over view of techniques and measures.