Elektroniczna blokada na kolejach indyjskich: Z krytyczną analizą bezpieczeństwa

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 4 głosach.

Oryginalny tytuł:

Electronic Interlocking on Indian Railways: With a Safety-Critical Analysis

Zawartość książki:

Sterowana mikroprocesorem sygnalizacja kolejowa lub potocznie nazywana elektroniczną blokadą działa od końca lat 80. na kolejach światowych i została wprowadzona w Indiach w latach 90. ubiegłego wieku. Zastąpiła ona stopniowo starsze systemy przekaźnikowe i elektromechaniczne. Ponieważ oprogramowanie jest szeroko obecne w takich systemach, bezpieczeństwo jest głównym zmartwieniem użytkowników, oprócz wymagań niezawodności. W książce szeroko omówiono metody zapewniania bezpieczeństwa i zapobiegania zagrożeniom.

-Zilustrowano szczegóły wszystkich typów systemów elektronicznej blokady zainstalowanych na kolejach indyjskich.

-Omówiono zalety pojedynczego procesora z jednoczesnym wykrywaniem błędów w porównaniu do dwóch z dwóch i dwóch z trzech systemów modułowych pod względem niezawodności, bezpieczeństwa i oszczędności.

-Omówiono niektóre metody analizy zagrożeń istotne dla systemów elektronicznych, wraz z sugestiami dotyczącymi ulepszenia komponentów pod kątem bezpieczeństwa i niezawodności.

-Opisano weryfikację sprzętu i oprogramowania metodami wspomaganymi komputerowo wraz z symulacją.

-Wyjaśniono formalną weryfikację blokad kolejowych z zastosowaniem teoretycznej informatyki i narzędzi programowych.

-W osobnym rozdziale omówiono zastosowanie inżynierii systemów do obsługi i konserwacji elektronicznej blokady kolejowej w celu zwiększenia bezpieczeństwa.