Training programs | Properties (verification/synthesis/design/innovation) | Hours |
Route control experiment | Synthesis | 8 |
Train control experiment | Synthesis | 8 |
Switch control experiment | Synthesis | 8 |
Schedule function test experiment | Synthesis | 8 |
Platform control experiment | Synthesis | 8 |
LMA experiment | Synthesis | 8 |
Fault simulation experiment | Synthesis | 12 |