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

Seminarium: Znakowanie i śledzenie komponentów - Przemysł 4.0

Seminarium: Znakowanie i śledzenie komponentów - Przemysł 4.0

W imieniu Fundacji GS1 Polska oraz klastra Silesia Automotive & Advanced Manufacturing zapraszamy do wzięcia...

Poczta Polska zapewni bezpieczeństwo na lotnisku w Katowicach

Poczta Polska zapewni bezpieczeństwo na lotnisku w Katowicach

Poczta Polska wygrała przetarg na ochronę (kontrolę bezpieczeństwa i dostępu) Międzynarodowego Portu Lotniczego Katowice w...

Na Okęciu wylądował jeden z największych samolotów transportowych na świecie

Na Okęciu wylądował jeden z największych samolotów transportowych na świecie

DHL Global Forwarding - globalny lider frachtu lotniczego i morskiego, wchodzący w skład Deutsche Post...

Ostatnio na forum

Ogłoszenia

Brak aktywnych ogłoszeń.

 Instytut Logistyki i Magazynowania

Logowanie

LOGOWANIE

Rejestracja

Rejestracja użytkownika
lub Anuluj