System Design with SystemC
EURIS, a Specification Method for Distributed Interlockings
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
SystemC: methodologies and applications
SystemC: methodologies and applications
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Checking BART test scenarios with UML's object constraint language
Formal methods for embedded distributed systems
Reliable UML Models and Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
OCL-based validation of a railway domain profile
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Information and Software Technology
| Hi-index | 0.00 |
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.