Elektronické zabezpečovacie zariadenia na indických železniciach: S bezpečnostnou analýzou

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 4 hlasoch.

Pôvodný názov:

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

Obsah knihy:

Mikroprocesorom riadená železničná signalizácia alebo bežne označovaná ako elektronické zabezpečovacie zariadenie sa na svetových železniciach používa od konca 80. rokov a v Indii bola zavedená v 90. rokoch. Postupne nahradilo staršie reléové a elektromechanické systémy. Keďže v takýchto systémoch je vo veľkej miere prítomný softvér, okrem požiadaviek na spoľahlivosť je pre používateľov prvoradá bezpečnosť. V knihe sú podrobne rozpracované metódy zaistenia bezpečnosti a prevencie rizík.

-Uvádzajú sa podrobnosti o všetkých typoch elektronických zabezpečovacích systémov inštalovaných na indických železniciach.

-Rozoberá sa výhoda jedného procesora so súbežnou detekciou chýb v porovnaní s dvoma z dvoch a dvoma z troch modulárnych systémov z hľadiska spoľahlivosti, bezpečnosti a hospodárnosti.

-Boli spracované niektoré metódy analýzy nebezpečenstva relevantné pre elektronické systémy s návrhmi na zlepšenie komponentov z hľadiska bezpečnosti a spoľahlivosti.

-Bola opísaná verifikácia hardvéru a softvéru pomocou počítačom podporovaných metód spolu so simuláciou.

-Bolo vysvetlené formálne overovanie železničného zabezpečovacieho zariadenia s použitím teoretických informatických a softvérových nástrojov.

-V samostatnej kapitole sa uvádza aplikácia systémového inžinierstva na prevádzku a údržbu elektronického zabezpečovacieho systému na zvýšenie bezpečnosti.