Any company building safety critical stuff should be using a separate set of hardware to validate the CAD designs. Even with ECC memory and machine check exceptions, processors still corrupt stuff and make mistakes.
On a practical note, I've dealt with $$$ software that only runs on enterprise Linux or particular versions of Windows. Without fail, it has been buggy as hell, and crashed if there was a slight breeze outside or under gibbous moons.
Examples:
"When you boot the computer, first click this, then that, and finally this."
"We all need to share this one laptop. No one may use the laptop for anything but this one flow in this one program because the laptop's OS install is irreplacable, and the equipment it drives costs $250,000"
"Don't run anything in the background because their verification kernel was only tested with two cores, and we can't buy CPUs that old any more"
"Don't turn the printer on until after the UI is done booting up because if it sees an HP vendor ID on the USB bus it thinks it's a spectrophotometer or a license dongle or something"