Actually working on safe brain surgery robots. It's marketed as safe, and the code is checked to be hard-realtime and safe.