Skip to content

Repository files navigation

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.

About

Embedded C, ARM-cortex-m3, EBMC tool, uVision.

Topics

Resources

Stars

4 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages