Explore a novel approach to embedded software testing for regulated environments in this 44-minute conference talk. Learn how to leverage NASA's FRETish method for formally capturing requirements, generate automatic test cases using the Robot Framework, and utilize Zephyr's test harness with twister for automated test execution on real hardware. Discover the potential benefits of this streamlined testing approach, including reduced time and maintenance efforts, as well as accurate coverage metrics from early project stages. Gain insights into the implementation progress, challenges encountered, and potential solutions for deeper integration with the Zephyr project.