EURIS, a specification method for distributed interlockings

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

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings
Editors	Wolfgang Ehrenberger
Publisher	Springer - Verlag
Pages	296-305
Number of pages	10
ISBN (Print)	3540651101, 9783540651109
Publication status	Published - 1 Jan 1998
Event	17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998 - Heidelberg, Germany Duration: 5 Oct 1998 → 7 Oct 1998

Publication series

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

Conference

Conference	17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998
Country/Territory	Germany
City	Heidelberg
Period	5/10/98 → 7/10/98

Persistent URL (handle)

Persistent link

Cite this

van Dijk, F., Fokkink, W., Kolk, G., van de Ven, P., & van Vlijmen, B. (1998). EURIS, a specification method for distributed interlockings. In W. Ehrenberger (Ed.), Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings (pp. 296-305). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1516). Springer - Verlag.

van Dijk, Fokko ; Fokkink, Wan ; Kolk, Gea et al. / EURIS, a specification method for distributed interlockings. Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. editor / Wolfgang Ehrenberger. Springer - Verlag, 1998. pp. 296-305 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c2239b8835284f259752f54f5a34ab84,

title = "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 object-oriented method for the specification of interlocking logics.",

author = "{van Dijk}, Fokko and Wan Fokkink and Gea Kolk and {van de Ven}, Paul and {van Vlijmen}, Bas",

year = "1998",

month = jan,

day = "1",

language = "English",

isbn = "3540651101",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer - Verlag",

pages = "296--305",

editor = "Wolfgang Ehrenberger",

booktitle = "Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings",

note = "17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998 ; Conference date: 05-10-1998 Through 07-10-1998",

}

van Dijk, F, Fokkink, W, Kolk, G, van de Ven, P & van Vlijmen, B 1998, EURIS, a specification method for distributed interlockings. in W Ehrenberger (ed.), Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1516, Springer - Verlag, pp. 296-305, 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998, Heidelberg, Germany, 5/10/98.

EURIS, a specification method for distributed interlockings. / van Dijk, Fokko; Fokkink, Wan; Kolk, Gea et al.
Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. ed. / Wolfgang Ehrenberger. Springer - Verlag, 1998. p. 296-305 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1516).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - EURIS, a specification method for distributed interlockings

AU - van Dijk, Fokko

AU - Fokkink, Wan

AU - Kolk, Gea

AU - van de Ven, Paul

AU - van Vlijmen, Bas

PY - 1998/1/1

Y1 - 1998/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84948982091&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84948982091&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84948982091

SN - 3540651101

SN - 9783540651109

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 296

EP - 305

BT - Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings

A2 - Ehrenberger, Wolfgang

PB - Springer - Verlag

T2 - 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1998

Y2 - 5 October 1998 through 7 October 1998

ER -

van Dijk F, Fokkink W, Kolk G, van de Ven P, van Vlijmen B. EURIS, a specification method for distributed interlockings. In Ehrenberger W, editor, Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. Springer - Verlag. 1998. p. 296-305. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

EURIS, a specification method for distributed interlockings

Abstract

Publication series

Conference

Persistent URL (handle)

Other files and links

Fingerprint

Cite this