Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile

  • Kirsten Berkenkötter
  • Ulrich Hannemann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4166)


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.


Class Diagram Object Management Group Track Network Meta Object Facility Object Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BHP]
    Berkenkötter, K., Hannemann, U., Peleska, J.: The Railway Control System Domain. Draft,
  2. [FKvV98]
    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)CrossRefGoogle Scholar
  3. [GLMS02]
    Grötker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  4. [GZ04]
    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)CrossRefGoogle Scholar
  5. [HP02]
    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)Google Scholar
  6. [HP03a]
    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)Google Scholar
  7. [HP03b]
    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)Google Scholar
  8. [HPG+04]
    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)Google Scholar
  9. [Hun06]
    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)Google Scholar
  10. [MRR03]
    Müller, W., Ruf, J., Rosenstiel, W.: SystemC – Methodologies and Applications, vol. 4, pp. 97–126. Kluwer Academic Publishers, Dordrecht (2003)MATHGoogle Scholar
  11. [OMG04]
    Object Management Group. Unified Modeling Language (UML) Specification: Infrastructure, version 2.0 (October 2004),
  12. [OMG05a]
    Object Management Group. OCL 2.0 Specification, version 2.0 (June 2005),
  13. [OMG05b]
    Object Management Group. Unified Modeling Language: Superstructure, version 2.0 (July 2005),
  14. [OMG06]
    Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification (January 2006),
  15. [Pac02]
    Pachl, J.: Railway Operation and Control. VTD Rail Publishing, Mountlake Terrace (USA) (2002) ISBN 0-9719915-1-0Google Scholar
  16. [PBH00]
    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)Google Scholar
  17. [Rai]
    A grand challenge for computing science: Towards a domain theory of railways,
  18. [RJB04]
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language – Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Kirsten Berkenkötter
    • 1
  • Ulrich Hannemann
    • 1
  1. 1.University of BremenBremenGermany

Personalised recommendations