The ongoing nuclear renaissance means the construction of new nuclear power units, and the upgrade for lifetime extension of existing units. The reliability and safety of the computer-based systems that implement safety functions is a critical issue, in particular due to the fact that software can usually not be proven to be completely defect-free. The differences in current safety justification p ...