ИМХО, аборта не должно быть в корректно работающей программе. Это исключение нужно обрабатывать очень особенно и, ИМХО, в тесной связи со средствами операционки, иначе - заглушку while(1) для дебага или переход на ресет (если считать, что ничего сильно страшного не произошло)