The RoboInsight (formerly AutoInsight) project utilizes advanced techniques in software security, control system modeling, and system replay to develop a new security analysis platform for modern robotic and autonomous systems, including robotic arms, mobile robots, and autonomous vehicles.