| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 712405 | IFAC Proceedings Volumes | 2013 | 6 Pages |
Abstract
Signalling systems play a vital role for safe and efficient transportation on railways. In parallel, development of signalling systems requires a lot of attention. The relevant standards insist on using formal methods such as automata and Petri Nets in the design of software for such crucial systems. In this study, the Unified Modelling Language (UML) formalism is employed to design a railway signalling system simulator and a SCADA system. The developed simulator can also help to validate a formal design based on automata.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
