Here you can find links to my articles about safety-critical systems in English published outside this blog.
Safety-critical systems need special development process to ensure that bugs doesn’t slip through to the final release. V-model is a structured process ensuring proper design and verification along with relevant documentation.
During development od safety-critical system specific techniques shall be followed to achieve required level of safety. Some of them are really restrictive and specific only for safety-critical system, but many are widely used also in normal software projects.