Ada has a set of High Integrity Restrictions that define pragmas that turn off exceptions: "No_Exceptions - Raise_statements and exception_handlers are not all

Ada has a set of High Integrity Restrictions that define pragmas that turn off exceptions: "No_Exceptions - Raise_statements and exception_handlers are not allowed. No language-defined run-time checks are generated; however, a run-time check performed automatically by the hardware is permitted." Source: http://www.ada-auth.org/standards/12rm/html/RM-H-4.html http://www.ada-auth.org/standards/12rm/html/RM-H-4.html If the underlying operating system or board support system have similar support then panic situations would be avoided entirely. While this is a highly-specialized case, it is defined and supported by high integrity Ada implementations / runtimes.