Abstract
We introduce the Railway Control Systems Domain (RCSD) profile of the Unified Modeling Language UML 2.0 as a domain specific modeling language for railway and tramway control systems. The RCSD profile covers the segments of the rail network, sensors, and control elements like signals and switches. Using these terms of the railway domain, it facilitates the communication between domain experts and specialists for embedded control system development. Defined as a profile for UML 2.0, the development of precise RCSD descriptions is supported by standard UML tools, visualizing railway networks in the same way as domain experts are used to. The static description of networks is complemented by the characterization of the dynamics within the network with trains running on predefined routes. This behaviour is provided by the semantics of a state transition system derived from the object diagram of a particular network model. This rigorous semantic approach constitutes a prerequisite for further tool-supported analysis of safety requirements, and generation of the actual control 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
Berkenkötter, K., Hannemann, U., Peleska, J.: The Railway Control System Domain. Draft, http://www.informatik.uni-bremen.de/agbs/research/RCSD/
Fokkink, W.J., Kolk, G.P., van Vlijmen, S.F.M.: EURIS, a specification method for distributed interlockings. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol. 1516, pp. 296–305. Springer, Heidelberg (1998)
Grötker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)
Gogolla, M., Ziemann, P.: Checking BART Test Scenarios with UML’s Object Constraint Language. In: Kordon, F., Lemoine, M. (eds.) Formal Methods for Embedded Distributed Systems- How to master the complexity, pp. 133–170. Kluwer, Boston (2004)
Haxthausen, A.E., Peleska, J.: A Domain Specific Language for Railway Control Systems. In: Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT 2002) Pasadena, California (2002)
Haxthausen, A.E., Peleska, J.: Automatic Verification, Validation and Test for Railway Control Systems based on Domain-Specific Descriptions. In: Proceedings of the 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd., Oxford (2003)
Haxthausen, A.E., Peleska, J.: Generation of Executable Railway Control Components from Domain-Specific Descriptions. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest/Hungary, May 15-16, pp. 83–90 (2003)
Haxthausen, A.E., Peleska, J., Große, D., Drechsler, R.: Automated Verification for Train Control Systems. In: Proceedings of Symposium FORMS/FORMAT 2004, Braunschweig, Germany, December 2-3 (2004)
Hungar, H.: UML-basierte Entwicklung sicherheitskritische Systeme im bahnbereich. In: Dagstuhl Workshop MBEES - Modellbasierte Entwicklung eingebetteter Systeme, Informatik Bericht, TU, Braunschweig, pp. 63–64 (January 2006)
Müller, W., Ruf, J., Rosenstiel, W.: SystemC – Methodologies and Applications, vol. 4, pp. 97–126. Kluwer Academic Publishers, Dordrecht (2003)
Object Management Group. Unified Modeling Language (UML) Specification: Infrastructure, version 2.0 (October 2004), http://www.omg.org/docs/ptc/04-10-14.pdf
Object Management Group. OCL 2.0 Specification, version 2.0 (June 2005), http://www.omg.org/docs/ptc/05-06-06.pdf
Object Management Group. Unified Modeling Language: Superstructure, version 2.0 (July 2005), http://www.omg.org/docs/formal/05-07-04.pdf
Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification (January 2006), http://www.omg.org/docs/formal/06-01-01.pdf
Pachl, J.: Railway Operation and Control. VTD Rail Publishing, Mountlake Terrace (USA) (2002) ISBN 0-9719915-1-0
Peleska, J., Baer, A., Haxthausen, A.E.: Towards Domain-Specific Formal Specification Languages for Railway Control Systems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, Braunschweig, Germany, June 13-15, 2000, pp. 147–152 (2000)
A grand challenge for computing science: Towards a domain theory of railways, http://www.railwaydomain.org
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language – Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berkenkötter, K., Hannemann, U. (2006). Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. In: Górski, J. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2006. Lecture Notes in Computer Science, vol 4166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875567_30
Download citation
DOI: https://doi.org/10.1007/11875567_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45762-6
Online ISBN: 978-3-540-45763-3
eBook Packages: Computer ScienceComputer Science (R0)