Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 3 2012 год

УДК: 004.414.2
Проектирование отказоустойчивого вычислительного комплекса с архитектурой 2 из 3 (2оо3)
С. А. Букашкин, д-р техн. наук, проф., директор ФГУП "НИИ автоматики", г. Москва, Б. Н. Кривошеий, директор департамента Радиоэлектронной аппаратуры ЗАО "Ланит-Терком", e-mail: Boris.Krivoshein@lanit-tercom.com, А. Н. Терехов, д-р физ.-мат. наук, проф., зав. каф. СПбГУ, ген. директор ЗАО "Ланит-Терком", e-mail: Andrey.Terekhov@lanit-tercom.com, Н. Ф. Фоминых, канд. физ.-мат. наук., главный конструктор программного обеспечения ЗАО "Ланит-Терком", г. Санкт-Петербург

Рассматриваются практические вопросы проектирования отказоустойчивых систем с аппаратной избыточностью на примере вычислительного комплекса ОВК с архитектурой 2 из 3. Приведены примеры оценки уровня функциональной безопасности, расчета интенсивности отказов, решения общих вопросов проектирования отказоустойчивых программно-аппаратных систем. Применение принципов проектирования отказоустойчивой аппаратуры продемонстрировано детальными описаниями алгоритмов, протоколов и других технических решений, используемых в ОВК.

Ключевые слова: отказоустойчивый вычислитель, мажорирование, тройная модульная избыточность, архитектура 2 из 3, функциональная безопасность, надежность
Стр. 12–20