J.F. Groote, S.F.M. van Vlijmen, J.W.C. Koorn  Home/Search
Context Related
| phil.uu.nl/pub/logic...preprint121.ps.Z 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: phil.uu.nl/preprints (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. The computer equipment can be divided in two layers. A top layer offering an interface and means to help a human operator in scheduling train movement. And a bottom layer which checks whether commands issued by the top layer can safely be executed by the rail hardware and which acts appropriately on detection of a hazardous situation. The bottom layer is implemented with a... (Update)
Context of citations to this paper: More
...model. There is extensive previous work on the application of model checking to the source code of railway interlocking software [25, 33, 10, 11, 18, 17]. While technically a railway interlocking is a piece of software, the semantics of railway interlocking languages are...
...deal with these problems. In the last decade many industries, like Ansaldobreda Segnalamento Ferroviario (ASF) started pilot projects [11, 15, 16, 6] directed to evaluate the impact of FM on their production costs. As a result, positive experiences [4, 7] have shown how, for...
Cited by: More
A Formal Specification and Verification of a.. - Gnesi, Latella.. (2000) (Correct)
Using Symbolic CTL Model Checking to Verify the Railway Stations.. - Eisner (Correct)
Pruning Techniques for the SAT-based Bounded Model Checking.. - Shtrichman (2001) (Correct)
Active bibliography (related documents): More All
3.9: Syntax and Static Semantics of the Interlocking Design .. - Bol, Koorn, Oei, van.. (Correct)
1.0: The FME Rail Annotated Rail Bibliography - Bjørner (1998) (Correct)
0.7: Simulating and Analyzing Railway Interlockings in ExSpect - Basten, Bol, Voorhoeve (1994) (Correct)
Similar documents based on text: More All
0.5: Using Symbolic Model Checking to Verify the Railway Stations of.. - Eisner (1999) (Correct)
0.3: A Tool to Calculate Mechanical Forces on Railway Catenary - Benet, Cuartero, Rojo (2000) (Correct)
0.3: Integrating Automatic Verification of Safety.. - Dipoppa.. (2001) (Correct)
Related documents from co-citation: More All
10: Graph-based algorithms for boolean function manipulation - Bryant - 1986
10: Prentice-Hall International (context) - Spivey, Notation - 1989
7: Modelling and verifying systems and software in propositional logic (context) - Stalmarck, Saflund - 1990
BibTeX entry: (Update)
J.F. Groote, J.W.C. Koorn and S.F.M. van Vlijmen. The safety guaranteeing system at station Hoorn-Kersenboogerd (Extended abstract). In proceedings 10th Annual Conference on Computer Assurance (COMPASS'95), pp. 57-68, Gaithersburg, Maryland, 1995. http://citeseer.ist.psu.edu/groote95safety.html More
@inproceedings{ groote95safety,
author = "J. F. Groote and J. W. C. Koorn and S. F. M. van Vlijmen",
title = "The Safety Guaranteeing System at Station Hoorn-Kersenboogerd",
booktitle = "Compass '95: 10th Annual Conference on Computer Assurance",
publisher = "National Institute of Standards and Technology",
address = "Gaithersburg, Maryland",
pages = "57--68",
year = "1995",
url = "citeseer.ist.psu.edu/groote95safety.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
272 Argonne National Laboratory (context) - McCune, Users et al. - 1990
272 Argonne National Laboratory (context) - McCune, in et al. - 1991
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
259 A survey of program slicing techniques - Tip - 1994
191 A meta-environment for generating programming environments (context) - Klint - 1993
60 Logic and structure (context) - van Dalen - 1989
57 An International Survey of Industrial Applications of Formal.. - Craigen, Gerhart et al. - 1993
29 A correctness proof of a one-bit sliding window protocol in .. - Bezem, Groote - 1993
27 Syntax and semantics of ¯CRL (context) - Groote, Ponse - 1994
27 The syntax and semantics of ¯CRL (context) - Groote, Ponse - 1990
24 CRL: a language for processes with data (context) - Groote, Ponse et al. - 1994
19 The syntax definition formalism SDF (context) - Heering, Klint - 1989
17 Modelling and verifying systems and software in propositiona.. (context) - Stalmark, Saflund - 1990
14 A case study in safety-critical design (context) - Bruns - 1992
13 Hiding propositional constants in BDDs - Groote - 1994
13 The ToolBus -- a component interconnection architecture - Bergstra, Klint - 1994
9 The European Railway Interlocking Specification (context) - Berger, Middelraad et al. - 1993
9 European Railway Interlocking Specification (context) - Berger, Middelraad et al. - 1992
8 Modelling British Rail's Interlocking logic: Geographic data.. (context) - Morley - 1991
8 Syntax and static semantics of the interlocking design and a.. - Bol, Koorn et al. - 1994
8 A train set as a case study for the requirements analysis of.. (context) - de Lemos, Saeed et al. - 1992
7 Proof theory for ¯CRL (context) - Groote, Ponse - 1991
7 Pruning the search tree of interlocking design and applicati.. (context) - Oei - 1994
7 Towards a Derivational Style of Distributed System Design - .. (context) - Feather - 1994
6 Notations for Software Design (context) - Feijs, Jonkers et al. - 1994
5 al logic for ¯CRL. Technical Report 114, Logic Group Preprin.. (context) - Groote, van Vlijmen et al. - 1994
4 Process specification in a UNITY format - Brunekreef - 1993
4 Personal communication (context) - Fokkink - 1994
3 Simulating and analyzing railway interlockings in ExSpect - Basten, Bol et al. - 1994
3 Logical methods in the formal verification of safety-critica.. (context) - Conroy, Pulley - 1993
3 Specification of a railway system (context) - Broy - 1987
2 Proving safety of a railway signaling system incorporating g.. (context) - Ingleby, Mitchell - 1992
2 Formal approaches to safety in programmable electronic syste.. (context) - Anderson, Cleland - 1993
2 Safety in railway signaling data: A behavioural analysis (context) - Morley - 1993
2 A Formal Theory of Railway Track Networks in Higher-order Lo.. (context) - Wong - 1991
2 The Merlin-Randell problem of train journeys (context) - Koutny - 1986
1 VPI Beschrijving van volgordedwang (context) - Th - 1993
1 OV 220 (context) - Electronische, VPI - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.phil.uu.nl/preprints.html): More
Binary Decision Diagrams for First Order Predicate Logic - Groote (Correct)
An Axiomatisation of Strong Negation and Relational Composition - Hollenberg (Correct)
Safety Criteria for Hoorn-Kersenboogerd Railway Station - Fokkink (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