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...
详细信息
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.
暂无评论