IEC 61508 is a standard for electrical, electronic and programmableelectronic, safety-related systems. It is interesting because it spanshardware and software components. Therefore, with care, ...