Wiarygodność komputerowych systemów automatyki kolejowej

Rozwój technologii informacyjnych powoduje, że znajdują one zastosowanie w różnych obszarach życia gospodarczego i społecznego. Przyczynia się to również do szybkiego rozwoju technologicznego systemów automatyki kolejowej, które obecnie są systemami komputerowymi. Postęp, jaki niewątpliwie należy odnotować, musi iść w parze z utrzymaniem przez te systemy wysokich standardów jakościowych, wynikających głównie z konieczności zapewnienia bezpieczeństwa. Stan taki można osiągnąć m.in. poprzez integrację prac związanych z niezawodnością i bezpieczeństwem, a więc poprzez dążenie do uzyskania wiarygodności (dependability) systemów. W artykule poruszony został problem wiarygodności systemów automatyki kolejowej rozumianej jako pewność ich działania, która pozwala mieć uzasadnione zaufanie do zadań, które te systemy realizują.

---

IT development contributes to the fact that this technology is used in many fields concerning the economic and social life. It also contributes to a fast technological development of railway automations systems that are computer systems nowadays. Progress that undoubtedly must be noted, has to be followed by maintaining by these systems high quality standards, resulting mainly from ensuring safety. Such condition can be achieved, among others, through integrating works connected with reliability and security, by aiming at achieving dependability of the systems. This article presents the problem of the dependability of railway automation systems understood as their operating reliability, which allows to trust tasks accomplished by these systems.