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.
| Original language | English |
|---|---|
| Pages (from-to) | 77-82 |
| Number of pages | 6 |
| Journal | IFAC-PapersOnLine |
| Volume | 1 |
| Issue number | PART 1 |
| Publication status | Published - 2013 |
| Event | 1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013 - Istanbul, Turkey Duration: 16 Sept 2013 → 17 Sept 2013 |
Keywords
- Interlocking
- PLC
- Railway signalling
- SCADA
- Software development
- UML design