Skip to main content
SpringerLink
Log in

EURIS, a Specification Method for Distributed Interlockings

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1516))

Included in the following conference series:

Abstract

Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an object-oriented method for the specification of interlocking logics.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.C.M. Baeten en J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 8(2):188–208, 1996.

    Article  MATH  Google Scholar 

  2. J.W.F.M. Beljaars. Proze\ Ablauf Pläne: introduction to a specification method. Report 1992/JBe/3, IB ETS-T&K, 1992. In Dutch.

    Google Scholar 

  3. J. Berger, P. Middelraad, and A.J. Smith. EURIS, European railway interlocking specification. UIC, Commission 7A/16, May 1992.

    Google Scholar 

  4. J.A. Bergstra, W.J. Fokkink, W.M.T. Mennen, and S.F.M. vanVlijmen. Railway Logic via EURIS. Quaestiones Infinitae XXII, Zeno Institute of Philosophy, 1997.

    Google Scholar 

  5. W.J. Fokkink. Safety criteria for the vital processor interlocking at Hoorn-Kersenboogerd. In Proceedings 5th Conference on Computers in Railways (COMP-RAIL’96), Berlin, pp. 101–110. Computational Mechanics Publications, 1996.

    Google Scholar 

  6. F.J. van Dijk, W.J. Fokkink, G.P. Kolk, P.H.J. van de Ven, and S.F.M. van Vlijmen. EURIS, a specification method for distributed interlockings. Technical Report, Department of Computer Science, University of Wales Swansea, 1998.

    Google Scholar 

  7. J.F. Groote, M. Hollenberg, and S.F.M. van Vlijmen. LARIS 1.0: language for railway interlocking specification. Report, CWI, Amsterdam, 1998, To appear.

    Google Scholar 

  8. J.F. Groote, J.W.C. Koorn, and S.F.M. vanVlijmen. The safety guaranteeing system at station Hoorn-Kersenboogerd. In Proceedings 10th IEEE Conference on Computer Assurance (COMPASS’95), Gaithersburg, pp. 131–150. IEEE, 1995.

    Google Scholar 

  9. F. Makkinga. IDEAL, interlocking design and application language guide and reference. Holland Railconsult, 1994.

    Google Scholar 

  10. F. Makkinga and F.J. van Dijk. EURIS-simulation tutorial reference. Holland Rail-consult, 1995.

    Google Scholar 

  11. D. van der Meij and P. Middelraad. UniSpec. NS Railinfrabeheer, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Holland Railconsult, PO Box 2855, 3500, GW, Utrecht, The Netherlands

    Fokko van Dijk, Gea Kolk & Paul van de Ven

  2. University of Wales Swansea, Singleton Park Swansea SA2 8PP, Wales

    Wan Fokkink

  3. Utrecht University, Heidelberglaan 8, 3584, CS, Utrecht, The Netherlands

    Bas van Vlijmen

Authors
  1. Fokko van Dijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wan Fokkink
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gea Kolk
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paul van de Ven
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bas van Vlijmen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Angewandte Informatik, Fachhochschule Fulda, Postfach 12 69, D-36012, Fulda, Germany

    Wolfgang Ehrenberger

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg

About this paper

Cite this paper

van Dijk, F., Fokkink, W., Kolk, G., van de Ven, P., van Vlijmen, B. (1998). EURIS, a Specification Method for Distributed Interlockings. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-49646-7_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65110-9

  • Online ISBN: 978-3-540-49646-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation