[pjmlp]

Besides avionics already referred by others, there are train control systems and medical devices.

Basically many industries that fall under the High Integrity Computing umbrella.