EURIS, a Specification Method for Distributed Interlockings

Authors:
Fokko van Dijk;Wan Fokking;Gea Kolk;Paul van de Ven;Bas van Vlijmen
Affiliations:
-;-;-;-;-
Venue:
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Year:
1998

Citing 0
Cited 2

Modeling the railway control domain rigorously with a UML 2.0 profile

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Simulated time for testing railway interlockings with TTCN-3

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

Quantified Score

Hi-index	0.00

Visualization

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.