Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.:
A Railway Demonstrator Model for Experimental Investigation of Integrated Specification Techniques.
In: Ehrig, H.; Grosse-Rhode, M., Hrsg.: ETAPS 2002 - Integration of Software Specification Techniques, S. 84-93, Berlin, April 2002. TU Berlin, DFG.
In the paper conceptual and physical realisation of a railway demonstrator
model is presented. The main purpose of its design is a validation of different control
algorithms specified by different project groups in real operating conditions. Conceptual
tasks of the realisation are the specification of the target operational behaviour and the
derivation of functional structure of the railway model. According to the users requirements
several utilisation options are being considered. Furthermore the implementation concept is