Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
In this specification a model of interlocking systems is presented,
and it is describe how the model may be validated by
simulation. Station topologies are modelled by graphs in which the
nodes denote track segments, and the edges denote connectivity for
train traffic. Points and signals are modelled by annotations on the
edges, thereby restricting the driving possibilities. We define the
safe station states as predicates on the graph, and present a first
step towards an implementation of these predicates. The model
development illustrates how concepts may be captured and validated for
a non-trivial system. This work was conducted by Kirsten Mark Hansen
work for the Danish State Railways. More about this work can be found

K.M. Hansen, Formalising Railway Interlocking Systems, 
Nordic Seminar on Dependable Computing Systems, Department 
of Computer Science, Technical University of Denmark, August 
1994, pp. 83-94.

Kirsten Mark Hansen. Linking Safety Analysis to Safety Requirements
- Exemplified by Railway Interlocking Systems. PhD thesis, 
Department of Information Technology, Technical University of 
Denmark, 1996. 

#AUTHOR=Kirsten Mark Hansen
#DOCUMENT= rail.tex
New to GrepCode? Check out our FAQ X