Your question is Automated Testing for Safety-Critical Code. Take a moment with it on the right.
Talk me through your thinking if you like. When you're confident, submit your answer and I'll grade it like a real screen (7/10 or better passes).
How would you design an automated testing framework for a safety-critical software module at Zenix Aerospace?