Hänsel, F.; Poliak, J.; Slovak, R.; Schnieder, E.:
Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.
In Ehrig, H. et al., Hrsg.:
Integration of Software Specification Techniques for Applications in Engineering.
Bandnummer 3147 von Serie LNCS-Band. Springer Verlag GmbH, S. 96-119, 2004.
As domain modelling has been identied as a key issue for
putting formal specication techniques into engineering practice, two
reference case studies were elaborated within the research programme
\Integration of Software Specication Techniques for Applications in Engineering".
One of them, coming from the railway transportation control
domain and using an example of a radio based level crossing control
system, was developed at the Institute of Trac Safety and Automation
Engineering. A physical railway model demonstrator was designed
and developed as a means of comparison and validation for the formal
specications coming from partners involved in the research program.