EURIS, a Specification Method for Distributed Interlockings

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 objectoriented method for the specification of interlocking logics.

• Type: Conference
• Year: 1998
• Where: SAFECOMP
• Authors: Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen
• Keywords: Computer-oriented Approaches, Electronic Relays, SAFECOMP 1998, Safety Systems, Security Privacy