Elevator safety controller

Safety-critical control platform work from a model-based design internship at Otis. Comprehensive testing framework with hardware-in-the-loop validation — "it works on my machine" doesn't fly when the machine carries people — plus redundancy systems for when one backup isn't paranoid enough.