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