Safety cases would normally be required for any system that needs to be certified by a regulator before it is used, for example Air traffic […]