关于stm 32仿真区间通过信号机

利用STM32设计区间通过信号机控制系统；
进行模型仿真，验证区间通过信号机控制的效果。
用proteus 该怎么搞