CSP Specification and Verification of a Relay-Based Railway Interlocking System
Case Study
Panneau SARAVL.
Diagram 01
The Ringbell Effect.
Diagram 02
Adding Junctions to Diagram 01.
Diagram 03
Levers and Lever Contacts.
Diagram 04
Two way monostable contacts.
Diagram 05
Capacitor and Resistor.
Diagram 06
Capacitor, charging and discharging.
Diagram 07
Bistable relay and contacts.
Diagram 08
Two way bistable contacts.
Diagram 09
Multiples bistable contacts.
Diagram 10
Timing Activation Block.
Diagram 10
Timing Deactivation Block.
Diagram 11
Active Lamps Test.