EURIS, a specification method for distributed interlockings

Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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.

Original languageEnglish
Title of host publicationComputer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings
EditorsWolfgang Ehrenberger
PublisherSpringer - Verlag
Pages296-305
Number of pages10
ISBN (Print)3540651101, 9783540651109
Publication statusPublished - 1 Jan 1998
Event17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998 - Heidelberg, Germany
Duration: 5 Oct 19987 Oct 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1516
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998
Country/TerritoryGermany
CityHeidelberg
Period5/10/987/10/98

Fingerprint

Dive into the research topics of 'EURIS, a specification method for distributed interlockings'. Together they form a unique fingerprint.

Cite this