Elevator-simulation-in-ARM-Keil
Open the elevator-initial file and run the lab_env.uvprojx project file to setup the environment. Then you can simulate the elevator control. Also, two testcases are provided to verify the safety and environment criterion.