|
Author: Kirsten Mark Hansen
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
at:
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.
Language Version: classic
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
