Это я проверяю, найдется на мои слова убедительное возражение или нет. Пока не нашел.
есть такие ОС, для которых формально доказывается факт, например, возврата из ядра за ограниченное сверху время.

Извини, не поверю. Очевидный контрпример - если я выполняю ядро под [хардверным] отладчиком, я всегда могу поставить брекпойнт на команде возврата, и задержать исполнение на любое заданое время :-) Это пример самый очевидный, но отнюдь не единственный.

Вероятно, если там что и доказывается, то гораздо более слабые утверждения, касающиеся не компьютеризированной системы и даже не компьютера как такового - а его абстрактной математической модели.

В достаточно отвлеченной от реальности математической модели несложно доказать все что нужно.

(Reply to this) (Parent) (Thread)

Вероятно, если там что и доказывается, то гораздо более слабые утверждения, касающиеся не компьютеризированной системы и даже не компьютера как такового - а его абстрактной математической модели.

А что, бывает как-то иначе?

Да, анализ алгоритмов всегда происходит в рамках абстрактной модели. И эта модель обычно не предполагает, что компьютер сгорит, а программиста ударят по голове молотком.

Зато в ней сделаны предположения о скорости процессора, размере памяти, количестве задач, объёме данных и т.п. И исходя из этих данных, можно оценить время отклика, как для RT-системы, так и для обычной.

(Reply to this) (Parent)