Intelligent Transport Systems – From Research and Development to the Market Uptake. First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

Research Article

Verification and Validation of Railway Control Systems Using an Expert System

Download
227 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-93710-6_5,
        author={Waldemar Nowakowski and Piotr Bojarczak and Zbigniew Łukasik},
        title={Verification and Validation of Railway Control Systems Using an Expert System},
        proceedings={Intelligent Transport Systems -- From Research and Development to the Market Uptake. First International Conference, INTSYS 2017, Hyvink\aa{}\aa{},  Finland,  November 29-30, 2017, Proceedings},
        proceedings_a={INTSYS},
        year={2018},
        month={7},
        keywords={Railway traffic control systems Verification Validation Expert system},
        doi={10.1007/978-3-319-93710-6_5}
    }
    
  • Waldemar Nowakowski
    Piotr Bojarczak
    Zbigniew Łukasik
    Year: 2018
    Verification and Validation of Railway Control Systems Using an Expert System
    INTSYS
    Springer
    DOI: 10.1007/978-3-319-93710-6_5
Waldemar Nowakowski1,*, Piotr Bojarczak1,*, Zbigniew Łukasik1,*
  • 1: Kazimierz Pulaski University of Technology and Humanities in Radom
*Contact email: w.nowakowski@uthrad.pl, p.bojarczak@uthrad.pl, z.lukasik@uthrad.pl

Abstract

A basic requirement which needs to be fulfilled by railway traffic control systems is to ensure a high level of safety. That is why, CENELEC () norms include RAMS () requirements for these systems. The process of designing, building and approving for exploitation the railway traffic control systems is finished with the assessment of correctness of each of the stages. Verification and validation of a railway traffic control system is a complicated process which requires a necessary experience by the people participating in this process. That is why it is rational to use a custom software, called the expert system. The authors of this article, on the basis of the Exsys Corvid environment, have built an expert system for the verification and validation of level crossing protection systems. The conducted research has proven both a great usefulness of this technology and, at the same time, the need to broaden the research on other kinds of railway traffic control systems.