"QA the requirements".

Safety-critical software does not commonly has bugs. The problem it faces, is incorrect requirements.