logistyka.net.pl - wortal logistyczny | logistyka | e-logistyka | TSL

PARTNER PORTALU:

A+ A A-

Aktywne testowanie systemów sterowania ruchem kolejowym

Oceń ten artykuł
(0 głosów)
Streszczenie: 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. 1. WPROWADZENIE Współczesne systemy sterowania ruchem kolejowym (srk) powszechnie wykorzystują technologie sieciowe tworząc struktury rozproszone. Nowego znaczenia nabiera w takim przypadku zagadnienie testowania systemów.
Dla systemów srk istnieje szereg wymagań, które muszą zostać spełnione, aby zapewnić wymagany poziom nienaruszalności bezpieczeństwa [7, 8]. Testowanie systemów jest tu głównie rozumiane w kontekście:
• walidacji (ang. validation), czyli testowania zgodności systemu z oczekiwaniami użytkowników, • weryfikacji (ang. verification), czyli sprawdzenia zgodności systemu ze specyfikacją.
Można uznać, że takie działania prowadzą głownie do zapobiegania błędom, czyli eliminacji przyczyn ich powstawania jeszcze przed zastosowaniem systemu. Mówimy wówczas o tzw. testowaniu biernym, które nie zapewnia kontroli pracy systemu w czasie jego eksploatacji. W przypadku systemów złożonych, posiadających strukturę rozproszoną, dodatkowym przedsięwzięciem powinno być wdrożenie testowania aktywnego, prowadzącego do wykrywania błędów w czasie użytkowania systemu. (...)

Artykuł zawiera 10888 znaków.

Źródło: Czasopismo Logistyka

Z ostatniej chwili

  • 1
  • 2
  • 3

Globalne partnerstwo Grupy DP DHL i Gavi

Globalne partnerstwo Grupy DP DHL i Gavi

Grupa Deutsche Post DHL oraz Gavi, Sojusz na rzecz Szczepień, nawiązały globalne partnerstwo, którego celem...

Waimea Holding S.A. - podsumowania i plany

Waimea Holding S.A. - podsumowania i plany

Waimea Holding S.A. - deweloper powierzchni magazynowych i przemysłowych - podsumowuje 2016 rok i planuje...

Dachser podejmuje megawyzwania logistyczne w megamiastach

Dachser podejmuje megawyzwania logistyczne w megamiastach

Dachser poszukuje innowacyjnych rozwiązań w zakresie obsługi ostatniego etapu łańcucha dostaw w wielkich europejskich metropoliach....

Ostatnio na forum

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj