Рассматриваются подходы, лежащие в основе проектирования систем обеспечения гарантоспособности, и нашедшие применение в практике для критических приложений. Эти подходы находят своё воплощение на различных иерархических уровнях представления системы. Рассмотрены три таких уровня: архитектура вычислительной среды, в которую погружается прикладная задача уровень операционной системы (ОС) или её эквивалентного монитора, реализующий системные методы отказоустойчивости уровень аппаратуры или управляющей памяти, в значительной мере остающиеся “прозрачными” не только для пользователя, но и для ОС. Анализируется необходимость комбинации этих методов.