Abstract
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.
Highlights
Systemy automatyki kolejowej są systemami związanymi z bezpieczeństwem, a tym samym niezbędne jest zapewnienie przez nie dużego poziomu bezpieczeństwa [13, 18, 19]
Because of this, these systems belong to group of safety-critical systems
These systems belong to group of safety-critical systems
Summary
Nazwa systemy ekspertowe pochodzi od słowa „ekspert”, oznaczającego człowieka dysponującego specjalistyczną wiedzą w pewnej dziedzinie i umiejącego ją wykorzystać do rozwiazywania problemów z tej dziedziny. Podstawowymi elementami systemu ekspertowego są [12]: – baza wiedzy Knowledge base editor), który pozwala na modyfikację wiedzy zawartej w systemie, umożliwiając tym samym jego rozbudowę. Kluczowym elementem systemu ekspertowego jest jego baza wiedzy (rysunek 1). Najpopularniejszym sposobem reprezentacji wiedzy wykorzystywanym w systemach ekspertowych jest reprezentacja wiedzy za pomocą reguł [3]. Zastosowanie takiego sposobu reprezentacji wiedzy umożliwia uzyskanie modularności bazy wiedzy, ułatwia przyrostową jej rozbudowę, a także pozwala przedstawić wiedzę eksperta w sposób intuicyjny, jasny i przejrzysty oraz łatwy do zweryfikowania. Zasadniczo wyróżnia się trzy podstawowe rodzaje wnioskowania [9]: – wnioskowanie „w przód” Wnioskowanie „w przód” charakteryzuje się tym, że na podstawie dostępnych reguł i faktów generowane są nowe fakty, a w efekcie końcowym można oszacować te aspekty problemu, na które pozwalają warunki. Dzięki temu może być uruchomiony na dowolnym urządzeniu mobilnym z zainstalowaną przeglądarką internetową
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
