Skip to main content

Verification and Validation of Railway Control Systems Using an Expert System

  • Conference paper
  • First Online:
Intelligent Transport Systems – From Research and Development to the Market Uptake (INTSYS 2017)

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 (European Committee for Electrotechnical Standardization) norms include RAMS (Reliability, Availability, Maintainability, Safety) 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Kornaszewski, M., Bojarczak, P., Pniewski, R.: Introduction of world innovative technologies to railway transport in Poland. In: Proceedings of the 16th International Scientific Conference Globalization and Its Socio-Economic Consequences, Part II, pp. 962–969 (2016)

    Google Scholar 

  2. Nowakowski, W., Łukasik, Z., Bojarczak, P.: Technical safety in the process of globalization. In: Proceedings of the 16th International Scientific Conference Globalization and Its Socio-Economic Consequences, Part IV, pp. 1571–1578 (2016)

    Google Scholar 

  3. Lewiński, A., Perzyński, T.: The Reliability and safety of railway control systems based on new information technologies. In: Mikulski, J. (ed.) TST 2010. CCIS, vol. 104, pp. 427–433. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16472-9_47

    Chapter  Google Scholar 

  4. Alibaba, H.Z., Ozdeniz, M.B.: A building elements selection system for architects. Build. Environ. 39(3), 307–316 (2004)

    Article  Google Scholar 

  5. Darvasi, D., Badescu, A., Dobritoiu, C., et al.: Accounting software using expert systems. In: 5th WSEAS International Conference on Business Administration (ICBA 2011), Puerto Morelos, Mexico, 2011, Recent Advances in Business Administration, pp. 97–102 (2011)

    Google Scholar 

  6. Fairuz, A.M., Sapuan, S.M., Zainudin, E.S.: Prototype expert system for material selection of polymeric-based composites for fishing boat components. J. Food Agric. Environ. 10(3–4), 1543–1549 (2012)

    Google Scholar 

  7. Ionita, L., Ionita, I.: Expert-GOSP-expert system for three-phase separator diagnosis. Stud. Inf. Control 24(3), 293–300 (2015)

    Google Scholar 

  8. Moise, M., Zingale, M.: Developing an expert system for invention patent examination. In: 20th International Danube-Adria-Association-for-Automation-and-Manufacturing Symposium, Vienna, Austria, 2009. Annals of DAAAM for 2009 & Proceedings of the 20th International DAAAM Symposium, vol. 20, pp. 1447–1448 (2009)

    Google Scholar 

  9. Jackson, P.: Introduction to Expert Systems. Addison-Wesley, England (1999)

    MATH  Google Scholar 

  10. Darlington, K.: The Essence of Expert Systems. Prentice-Hall, Imprint of Pearson Education, England (2000)

    Google Scholar 

  11. Giarratano, J.C.: Expert Systems: Principles and Programming, 4th edn. Thomson Learning, Singapore (2005)

    Google Scholar 

  12. Hauer, I., Butuza, A.: Competence and competitiveness with Exsys Corvid Expert System 5.2.1. In: 2nd Review of Management and Economic Engineering Management Conference (RMEE), Cluj Napoca, Romania, 2011. Review of Management and Economic Engineering International Management Conference, pp. 118–123 (2011)

    Google Scholar 

  13. Exsys Inc.: Exsys Corvid Knowledge Automation Expert System Development Manual. USA (2010)

    Google Scholar 

  14. Exsys Inc.: Exsys Corvid Advanced Tutorial. USA (2007)

    Google Scholar 

  15. Bester, L., Toruń, A.: Modeling of reliability and safety at level crossing including in polish railway conditions. In: Mikulski, J. (ed.) TST 2014. CCIS, vol. 471, pp. 38–47. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45317-9_5

    Chapter  Google Scholar 

  16. Łukasik, Z., Ciszewski, T., Młyńczak, J., Nowakowski, W., Wojciechowski, J.: Assessment of the safety of microprocessor-based semi-automatic block signalling system. In: Macioszek, E., Sierpiński, G. (eds.) Contemporary Challenges of Transport Systems and Traffic Engineering. LNNS, vol. 2, pp. 137–144. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-43985-3_12

    Chapter  Google Scholar 

Download references

Acknowledgments

This material is based upon work supported by National Centre for Research and Development under Grant No. PBS3/A6/29/2015 entitled „The system for maintenance data acquisition and analysis of reliability and safety of traffic control systems”.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Piotr Bojarczak .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nowakowski, W., Bojarczak, P., Łukasik, Z. (2018). Verification and Validation of Railway Control Systems Using an Expert System. In: Kováčiková, T., Buzna, Ľ., Pourhashem, G., Lugano, G., Cornet, Y., Lugano, N. (eds) Intelligent Transport Systems – From Research and Development to the Market Uptake. INTSYS 2017. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 222. Springer, Cham. https://doi.org/10.1007/978-3-319-93710-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-93710-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-93709-0

  • Online ISBN: 978-3-319-93710-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics