Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen  Home/Search
Context Related
| swan.ac.uk/compsci/All...safecomp.ps.gz compsci.swan.ac.uk/~cs...safecomp.ps.gz cwi.nl/~wan/WJFmore/safecomp.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: swan.ac.uk/compsci/AllStaff...WJF (more) From: compsci.swan.ac.uk/~cswillem/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. 1 Introduction The control and management of a railway system consists of three separate tasks. First, control instructions for the railway yard have to be devised in the logistic layer. Second, control instructions have to be passed on to ... (Update)
Context of citations to this paper: More
.... [2,20] ffl a code generator for the UML design notation; ffl tool support for a specification language for railway safety [27,25]. An overview of industrial applications of the Asf Sdf Meta Environment can be found in [9] Other large, non commercial, applications of...
Cited by: More
Term Rewriting for Sale - van den Brand, al. (1998) (Correct)
Active bibliography (related documents): More All
1.0: Verification of Interlockings: from Control Tables to.. - Fokkink, Hollingshead (1998) (Correct)
0.7: Syntax and Static Semantics of the Interlocking Design .. - Bol, Koorn, Oei, van.. (Correct)
0.5: Test Case Extraction from Correctness Proofs Case for Support - Previous Track Record (Correct)
Similar documents based on text: More All
0.5: The Safety Guaranteeing System at Station Hoorn-Kersenboogerd - Groote, van Vlijmen, Koorn (1995) (Correct)
0.4: Safety criteria for the vital processor interlocking at.. - Fokkink (1996) (Correct)
0.4: Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (1995) (Correct)
BibTeX entry: (Update)
F. van Dijk, W.J. Fokkink, G.P. Kolk, P. van de Ven, and S.F.M. van Vlijmen. EURIS: a specification method for distributed interlockings (extended abstract). In Proceedings of SAFECOMP '98, LNCS. Springer-Verlag, 1998. To appear. http://citeseer.ist.psu.edu/vandijk98euris.html More
@article{ vandijk98euris,
author = "Fokko van Dijk and Wan Fokkink and Gea Kolk and Paul van de Ven and Bas van Vlijmen",
title = "{EURIS}, a Specification Method for Distributed Interlockings",
journal = "Lecture Notes in Computer Science",
volume = "1516",
pages = "296--??",
year = "1998",
url = "citeseer.ist.psu.edu/vandijk98euris.html" }
Citations (may not include all citations):100 Discrete time process algebra (context) - en, Bergstra - 1996
32 The safety guaranteeing system at station Hoorn-Kersenbooger.. - Groote, Koorn et al. - 1995
9 European railway interlocking specification (context) - Berger, Middelraad et al. - 1992
2 Quaestiones Infinitae XXII (context) - Bergstra, Fokkink et al. - 1997
2 language for railway interlocking specification (context) - Groote, Hollenberg et al. - 1998
2 Safety criteria for the vital processor interlocking at Hoor.. - Fokkink - 1996
2 interlocking design and application language guide and refer.. (context) - Makkinga - 1994
1 Ablauf Plane: introduction to a specification method (context) - Beljaars - 1992
1 NS Railinfrabeheer (context) - van der Meij, Middelraad - 1996
1 a specification method for distributed interlockings (context) - van Dijk, Fokkink et al. - 1998
1 EURIS-simulation tutorial reference (context) - Makkinga, van Dijk - 1995
Documents on the same site (http://www.swan.ac.uk/compsci/AllStaff/WJF.html): More
Basic Process Algebra with Iteration: Completeness of its.. - Fokkink, Zantema (1999) (Correct)
Simulation as a Correct Transformation of Rewrite Systems - Wan Fokkink (1997) (Correct)
Axiomatizing Prefix Iteration with Silent Steps - Aceto, van Glabbeek.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC