The RoboInsight (formerly AutoInsight) project leverages advanced techniques in program analysis, control-system modeling, and software hardening to develop a novel framework to enhance the safety and security of modern autonomous robotic systems, including robotic arms, mobile robots, and autonomous vehicles.