IEC 61508 suggests following a V-model development process, VectorCAST can help.