求翻译：This safety-critical software development strategy combined with automatic code generation tools is based on theory of diverse design. It could be described as follows.是什么意思？