P.H.J. van Eijk  Home/Search
Context
Related
| wwwtios.cs.utwente.nl/pu...narvpi.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: vaneyk.net/pve/scipub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: At the Dutch station Hoorn--Kersenboogerd, computer equipment is used for the safe and in time movement of trains. Part of this equipment is implemented with a programmable piece of equipment called a Vital Processor Interlocking 1 (VPI ). In [4] this particular VPI and its program are modelled in ¯CRL and an approach is developed for the verification of some correctness criteria. In this paper some alternatives to that verification are explored. As the VPI is modelled with an abstract data... (Update)
Active bibliography (related documents): More All
0.1: The Safety Guaranteeing System at Station Hoorn-Kersenboogerd - Groote, van Vlijmen, Koorn (1995) (Correct)
0.1: Model Checking for Interlocking Safety - Simpson (1998) (Correct)
0.0: A Simple Specification Language Combining Processes, Time and Data - Fokkink (1992) (Correct)
Similar documents based on text: More All
0.3: Routing in an ATM-Based Mobile Network - Irene Katzela (Correct)
0.3: ATM Switch Resource Abstractions - Adam, Lazar, Nandikesan (1999) (Correct)
0.3: Verifying Relay Circuits using State Machines - van Eijk (1996) (Correct)
BibTeX entry: (Update)
@misc{ eijk-applications,
author = "P.H.J. van Eijk",
title = "Applications of Narrowing in the Verification of VPI",
url = "citeseer.ist.psu.edu/90756.html" }
Citations (may not include all citations):32 The Safety guaranteeing system at station Hoorn--Kersenbooge.. - Groote, Koorn et al. - 1994
27 Syntax and semantics of ¯CRL (context) - Groote, Ponse - 1995
24 CRL: a language for processes with data (context) - Groote, Ponse et al. - 1994
1 University of Twente (context) - Simulation, the et al. - 1994
Documents on the same site (http://www.van-eyk.net/pve/sci-pub.htm): More
Yet another Yacc for Datatypes - van Eijk (1995) (Correct)
Tools for LOTOS Specification Style Transformation - van Eijk (1990) (Correct)
On the use of specification styles for automated.. - van Eijk, Kremer.. (1990) (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