Uniform Modeling of Railway Operations

@inproceedings{Kamburjan2016UniformMO,
  title={Uniform Modeling of Railway Operations},
  author={Eduard Kamburjan and Reiner H{\"a}hnle},
  booktitle={FTSCS},
  year={2016}
}
We present a comprehensive model of railway operations written in the abstract behavioral specification (ABS) language. The model is based on specifications taken from the rulebooks of Deutsche Bahn AG. It is statically analyzable and executable, hence allows to use static and dynamic analysis within one and the same formalism. We are able to combine aspects of micro- and macroscopic modeling and provide a way to inspect changes in the rulebooks. We illustrate the static analysis capability by… CONTINUE READING

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 11 CITATIONS