Abstract
We present the Unified Modeling Language (UML) and show how it can be applied to development of a new railway interlocking and signalling system. Using a simplified example of an interlocking system, we demonstrate principles of an object-oriented approach to specifying functional safety requirements. Starting from an informal specification we create a semi-formal specification based on the UML model. Within conclusions we resume advantages of the presented approach resulting from practical experiences gained in the project aimed at development of a new computer-based interlocking system.
This is a preview of subscription content, log in via an institution to check access.
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
OMG Unified Modeling Language Specification 1.3. Object Management Group, http://www.omg.org/cgi-bin/doc?formal/00-03-01
ISO/IEC DIS 19501-1: Information Technology - Unified Modeling Language (UML) - Part 1: Specification. Edition 1 , p. 1024 (2000)
Coad, P., Yourdon, E.: Object Oriented Analysis. Prentice-Hall, Englewood Cliffs (1990)
Monarchi, D.E., Puhr, G.I.: A Research Typology for Object-Oriented Analysis and Design. Communications of the ACM 35(9), 35–47 (1992)
TNŽ 34 2620: Predpisy pre staničné zabezpečovacie zariadenia (Regulations for railway interlocking apparatus), p. 23 (1996)
Janota, A., Rástočný, K., Zahradník, J.: UML – a Formal Method Usable in Development of Safety-related Systems. In: The 3rd Int. Workshop on Computer Science and Information Technologies, vol. 3, pp. 194–198. USATU Publishers, Ufa (2001)
Janota, A., Rástočný, K., Zahradník, J.: The Use of UML in Design of Railway Interlocking Systems. In: Int. Scientific Conference Transport in the 21st Century, Warszawa, pp. 93–100 (2001)
Rástočný, K., Zahradník, J., Janota, A.: An Object Oriented Model of Railway Safety- Related Control System. Communications (4), 32–39 (2002)
Rástočný, K., Janota, A., Zahradník, J.: The Use of UML to Development of a Railway Interlocking System. Advances in Electrical and Electronic Engineering 2(2), 48–54 (2003)
Zahradník, J., Rástočný, K., Janota, A.: UML - based Specification of a Railway Interlocking and Signalling System. In: Schnieder, E. (ed.) Workshop on “Software Specification of Safety relevant Transportation Control Tasks“, pp. 131–142. VDI-Report, Düsseldorf (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
Rástočný, K., Janota, A., Zahradník, J. (2004). The Use of UML for Development of a Railway Interlocking System. 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_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive