Galip Cansever

Topology Based Automatic Formal Model Generation for Point Automation Systems

2015 · Information Technology And Control

Designing and developing a point automation system is a challenging task since railway transportation systems are required to be highly secure and safe systems. Nowadays point automation systems are usually designed manually, this result in …