it is not just about building software that needs to be perfect, but it is also necessary that whatever translations software, the compilers, etc. or the supporting software such as operating systems and interfaces including the hardware and the communications - they all need to be perfect as well....Another difficulty with these safety critical systems is that they tend to be long life systems....Y