Here you can find links to my articles about safety-critical systems in English published outside this blog.

V-model – development process for safety-critical systems

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.

Guidelines for developing safety-critical systems

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.