Aktywne testowanie systemów sterowania ruchem kolejowym

• Autorzy: Łukasik Z. , Nowakowski W.

Warianty tytułu

EN

Active tests for computer railway control systems

• Języki publikacji: PL

Abstrakty

PL

W artykule poruszono problem aktywnego testowania komputerowych systemów sterowania ruchem kolejowym przy wykorzystaniu języka TTCN-3. Czynne wykrywanie błędów w czasie działania systemów może być jedną z metod prowadzących do zapewnienia przez systemy bezpieczeństwa funkcjonalnego.

EN

The article presents the problems of active tests for computer railway control systems with use TTCN-3, which is a flexible language applicable to the specification of all types of reactive system tests. Active testing of railway applications can guarantee functional safety of railway systems.

Słowa kluczowe

PL

TTCN-3; testy aktywne; systemy srk

EN

TTCN-3; active test; computer railway control systems

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2010
• Tom: nr 4
• Strony: CD--CD
• Opis fizyczny: -pełny tekst, Bibliogr. 9 poz., rys.

Twórcy

autor

Łukasik Z.

autor

Nowakowski W.

• Politechnika Radomska

Bibliografia

• 1. Blom S., Ioustinova N., Van de Pol J., Rennoch A., Sidorova N.: Simulated Time for Testing Railway Interlockings with TTCN-3. 5th international workshop, FATES 2005, Edinburgh, UK, 2005.
• 2. Brzeziński K.M.: Język TTCN-3 a bierne wykrywanie ataków sieciowych. Poznańskie Warsztaty Telekomunikacyjne, Poznań 2006.
• 3. Calame J.R., Goga N., Ioustinova N., Van de Pol J.: TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, Ottawa, Canada, 2006.
• 4. http://www.ttcn-3.org
• 5. http://www.tt-medal.org
• 6. http://ttcn.ustc.edu.cn
• 7. PN-EN 50128:2002 - Zastosowania kolejowe. Łączność, sygnalizacja i systemy sterowania. Programy dla kolejowych systemów sterowania i zabezpieczania. PKN 2007.
• 8. PN-EN 50129:2007 -Zastosowania kolejowe. Systemy łączności, przetwarzania danych i sterowania ruchem –Elektroniczne systemy sterowania ruchem związane z bezpieczeństwem. PKN 2007.
• 9. Willcock C., Deiß T., Tobies S., Keil S., Engler F., Schulz S.: An Introduction to TTCN-3. John Wiley & Sons Ltd, New York, 2005.