Abstract
“Specification” is a very complex concept. This complexity results initially from the questions “What is the purpose of a specification? What is the subject of a specification?” and “Who writes a specification?”, which in turn lead to the questions “What methods and processes are used for specification?”. Answering these questions in detail and finding a definition for the term “specification” that encompasses the full extent and depth of this term represents an enormous academic challenge; it is also of great practical relevance. Because even if analytical deductions can be made from a specification that provide an understanding in retrospect, the actual milestones of a correct and efficient specification are in fact a goal-oriented synthesis of the subject of specification as a unit and its proper functioning in reality.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arabestani, S., Bitsch, F., Gayen, J.-T.: Precise Definition of the Singletrack Level Crossing in Radio-based Operation in UML Notation and Specification of Safety Requirements. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 119–144. Springer, Heidelberg (2004)
Berkenköter, S., Bisanz, S., Hannemann, U., Peleska, J.: Hybrid UML and its Application to Specification and Test of Train Control Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 145–173. Springer, Heidelberg (2004)
Boulanger, J.-L., Bon, P., Mariano, G.: From UML to B: a level crossing case study. In: 8th International Level Crossing Symposium, University of Sheffield, Rail Safety and Standards Board, Sheffield (2004)
Brill, M., Buschermöhle, R., Damm, W., Klose, J., Westphal, B., Wittke, H.: Formal Verification of LSCs in the Development Process. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 494–516. Springer, Heidelberg (2004)
Einer, S.: STOP - Specification Technique of Operational Processes. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 227–247. Springer, Heidelberg (2004)
Einer, S., Schrom, H., Slovák, R., Schnieder, E.: Experimental validation of train control systems by using a railway model. In: Allan, J., Hill, R.J., Brebbia, C.A., Sciutto, G., Sone, S. (eds.) Computers in Railways VIII, S. 925-934, Ashurst Lodge, Ashurst, Southampton, SO40 7AA, UK, 2002. 8th International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems (COMPRAIL 2002), Lemnos, Greece, WITPRESS (2002)
Einer, S., Schrom, H., Slovák, R., Schnieder, E.: A railway demonstrator model for experimental investigation of integrated specification techniques. In: Ehrig, H., Grosse-Rhode, M. (eds.) ETAPS 2002 - Integration of Software Specification Techniques, Berlin, April 2002, pp. 84–93 (2002), TU Berlin, DFG
Internet page of the “Formal Methods Europe”, http://www.fmeurope.org
Hänsel, F., König, S., Slovák, R., Schnieder, E.: A Railway demonstrator model for experimental Validation of integrated specification techniques. In: Schnieder, E. (ed.) Workshop on Software specification of safety relevant transportation control tasks, pp. 23–34 (2003)
Hänsel, F., Poliak, J., Slovák, R., Schnieder, E.: Reference Case Study ”Traffic Control Systems” for Comparison and Validation of Formal Specications Using a Model Demonstrator. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 96–118. Springer, Heidelberg (2004)
Hürlimann, D.: Objektorientierte Modellierung von Infrastrukturelementen und Betriebsvorgängen im Eisenbahnwesen. Dissertation, Technische Wissenschaften ETH Zürich, No. 14281 (2001)
Hürlimann, D.: RailML - ein generelles Austauschformat für Eisenbahndaten. Special edition in the DVWG series of publications on the occasion of the ”transport logistics” international specialist fair, pp. 22–26, DVWG, Berlin (2003)
Imastato, S.: Level Crossing Safety. In: 11th International Symposium Zel 2004, CETRA University of Zilina (2004)
Jansen, L., Schnieder, E.: Traffic Control Systems Case Study: Problem Description and a Note on Domain-based Software Specification. In: Ehrig, H., Große-Rhode, M., Orejas, F. (eds.) Hrsg.: INT 2000 Integration of Specification Techniques with Applications in Engineering, TU Berlin, July 2000, pp. 41–47 (2000)
Meyer, M.: zu Hörste: Methodische Analyse und generische Modellierung von Eisenbahnleit- und -sicherungssystemen. Dissertation, Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik (2004)
Rástočný, K., Janota, A., Zahradník, J.: The Use of UML for Development of a Railway Interlocking System. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 174–198. Springer, Heidelberg (2004)
Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 474–493. Springer, Heidelberg (2004)
Schnieder, E. (ed.): Forms 1998 - Formale Techniken für die Eisenbahnsicherung. Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig (1998)
Schnieder, E. (ed.): Forms 1999 - Formale Techniken für die Eisenbahnsicherung. Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig. In: Fortschritt-Berichte VDI (1999)
Schnieder, E. (ed.): Forms 2000 - Formale Techniken für die Eisenbahnsicherung. Institut für Regelungs- und Automatisierungstechnik, TU Braunschweig. In: Fortschritt-Berichte VDI (2000)
Schnieder, E. (Hrsg.): International Workshop on Software Specification of Safety Relevant Transportation Control Tasks. Düsseldorf, VDI Verlag (2003)
Internet page of the “TRain: The Railway Domain”, http://www.railwaydomain.org/
Thums, A., Schellhorn, G., Ortmeier, F., Reif, W.: Interactive Verification of Statecharts. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 355–373. Springer, Heidelberg (2004)
Tarnai, G., Schnieder, E. (eds.): Forms 2003 - Formal Methods for Railway Operation and Control Systems. L’Harmattan Budapest (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schnieder, E. (2004). Specification Methodology, Case Studies, and Experiments – An Introduction to the Subject Area of Traffic Control Systems. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive