TU Braunschweig


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, 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 described.