Анализируются таксономические, методологические и технологические аспекты гарантоспособных вычислений. Обсуждается парадигма "гарантоспособных систем из негарантоспособных компонент" и ее применение для различных приложений: от естественно надежных кристаллов до сложных инфраструктур. Анализируются принципы и методы оценки и обеспечения гарантоспособности, реализации многоверсионности и мультиреконфигурации при создании гарантоспособных систем. Обобщаются примеры применения парадигмы при разработке систем на программируемой логике, web-систем и др. Ключевые слова: гарантоспособность, компьютерные системы, инфраструктура, надежный кристалл, многоверсионность.
