Let's just say that the attitude of IEC 61508 towards software development in general and programming languages in particular is not very spirit-lifting.

At least us software guys have an advantage: the hardware guys will always have to live with failure rates.

But the standard happily declares software to be bug-free, as long as you do the required testing and stuff. ;-)