Automata-based railway signaling and interlocking system design

Keyphrases

• System Design 100%
• Automata 100%
• Railway Interlocking Systems 100%
• Railway Signalling System 100%
• Interlocking System 20%
• Programmable Logic Controller 20%
• Safety Standards 20%
• Formal Methods 20%
• High-speed Train 20%
• Railway Traffic 20%
• Software Design 20%
• Railway Model 20%
• Fail-safe 20%
• Railway Signaling 20%

Computer Science

• Signalling System 100%
• Automaton 100%
• Interlocking System 50%
• Decision-Making 25%
• Critical Element 25%
• Programmable Logic Controller 25%