Badanie funkcjonalne systemu automatyki kolejowej przy użyciu system ekspertowego

Podstawową funkcjonalnością systemów automatyki kolejowej jest zapewnienie sprawnego i bezpiecznego ruchu kolejowego. Współczesna technika, w szczególności elektronika i informatyka, pozwala zautomatyzować coraz więcej czynności w procesie transportowym. Niezależnie jednak od technologii, w jakiej wykonane są systemy automatyki kolejowej, muszą one spełniać określone wymagania dotyczące bezpieczeństwa. Powoduje to zaliczanie ich do grupy systemów krytycznych (ang. safety-critical systems), określanych również mianem systemów związanych z bezpieczeństwem (ang. safety-related systems). Dlatego też proces projektowania, budowania i dopuszczania do eksploatacji systemów automatyki kolejowej zawsze kończy się oceną poprawności każdego z tych etapów. Należy podkreślić, że jest to proces skomplikowany i wymagający od osób w nim uczestniczących dużego doświadczenia zawodowego. Można w tym celu zastosować specjalizowane oprogramowanie nazywane systemem ekspertowym. Autorzy artykułu, korzystając ze środowiska ExSys Corvid, zbudowali system ekspertowy do weryfikacji i walidacji systemu samoczynnej sygnalizacji przejazdowej. Przeprowadzone badania potwierdziły dużą przydatność tej technologii, a zarazem potrzebę rozszerzenia badań na inne rodzaje systemów automatyki kolejowej.

The major functionality of railway traffic control system is to ensure efficient and safe railway traffic. Contemporary technique, electronics and informatics in particular, allows for automation of more and more tasks in transportation processes. Irrespective of the manufacturing technology, railway traffic control systems have to meet specific safety requirements. Because of this, these systems belong to group of safety-critical systems, also called safety-related systems. Due to these requirements, development, building and verification processes of railway traffic control systems always end with the assessment of correctness of each process. It should be pointed out that these processes are compound and require high skills level for persons involved in it. Because of this, an environment for an expert system (ExSys Corvid) can be used to automation of these processes. Authors used ExSys Corvid environment to build the expert system for verification and validation of Level Crossing Protection System (LCPS). Research conducted by authors confirmed high usefulness of this technology and showed the need for the usage of it in other railway traffic control systems.