Выбор технологии проектирования и базовых архитектур дефектоустойчивых цифровых управляющих и вычислительных систем реального времени

Харченко, ВС
Косм. наука технол. 1997, 3 ;(3):109–119
https://doi.org/10.15407/knit1997.05.109
Язык публикации: русский
Аннотация: 
Систематизируются технологии проектирования ЦУВС реального времени (РВ) с применением принципа многоальтернативности. Предлагается векторная характеристика технологий проектирования многоальтернативных дефектостойких ЦУВС и классифицируются их базовые архитектуры. Анализируются оценки надежности и стоимости ЦУВС, которые проектируются по различным технологиям. Дается общая методика выбора технологий проектирования и архитектур ЦУВС РВ с учетом требований к надежности и ограничений на габарито-массовые и энергетические характеристики.
Ключевые слова: космическая связь
References: 
А. с. 1732346 (СССР). Устройство для контроля и отладки многоальтернативных систем / В. С. Харченко, А. В. Бек, М. А. Чернышев и др.—Опубл. 07.05.92, Бюл. № 17.
А. с. 1753479 (СССР). Многоальтернативная вычислительная система / В. С. Харченко, Г. Н. Тимонькин, В. Л. Кукуруза и др.—Опубл. 07.08.92, Бюл. № 29.
Головкин Б. А. Многовариантное программирование и его при­менение // Автоматика и телемеханика.—1986.—№ 7.— С. 5—36.
Квирк У. Дж. (ред.) Проверка и утверждение программ реаль­ного времени. — Киев: Наук, думка, 1990.—216 с.
Кривоносов А. И., Байда Н. К., Харченко В. С. и др. Структур­но-алгоритмическая организация и модели надежности мажо­ритарно-резервированных систем // Косміч. наука і техно­логія.—1995.—1, № 1.—С. 71—76.
Мамедли Э. М., Соболев Н. А. Концепция обеспечения отказо­устойчивости СУ и безопасности экипажа «Шаттл» // Зарубеж. радиоэлектроника.—1986.—№ 8.—С. 19—32;—№ 9.— С. 21—34.
Пронин Е. Г., Шохат В. С. Проектирование технических средств бортовой ЭВА. — М.: Радио и связь, 1988.—С. 51 — 67.
Харченко В. С. Оперативная коррекция программ по результа­там отладки. Системы отладки микропроцессорных устройств. — Харьков, 1989.—С. 120—133.
Харченко В. С. Модели и свойства отказоустойчивых многоаль­тернативных систем // Автоматика и телемеханика.— 1992а.—№ 12.—С. 140—147.
Харченко В. С. Поиск оптимальных структур при двухальтернативном проектировании каналов УВС // Изв. ВУЗов. Прибо­ростроение.—19926.—№ 5.—С. 31—35.
Харченко В. С., Благодарний М. П. Організація багатоальтернативних обчислень у цифрових системах літальних апаратів і комплексів // Наука і оборона.—1994.—№ 3.—С. 153—161.
Харченко В. С., Кушнерук Ю. И., Гайворонский И. Я. Опти­мальное резервирование в базисе многоальтернативных архитектур, устойчивых к дефектам программно-аппаратных средств // Надежность, живучесть и безопасность летательных аппаратов: Тез. науч. техн. семинара. — Харьков, 1994.—С. 11.
Харченко В. С., Литвиненко В. Г. Модели парирования дефек­тов проектирования программно-аппаратных средств в необслуживаемых системах // Электронное моделирование.— 1992.—№ 3.—С. 34—39.
Харченко В. С., Литвиненко В. Г. Применение концепции многоальтернативного проектирования для построения высо­конадежных и безопасных систем // Приборы и системы управления.—1993.—№ 6.—С. 8—11.
Харченко В. С., Литвиненко В. Г., Краснобаев В. А. Методы и алгоритмы реконфигурации систолических матричных систем с фиксированной размерностью и деградацией структуры // Кибернетика и системный анализ.—1992а.—№ 4.—С. 72— 79.
Харченко В. С., Литвиненко В. Г., Терещенков С. В., Мельников В. А. Обеспечение устойчивости управляющих и вычислительных систем к физическим дефектам и дефектам проектирования программно-аппаратных средств // Зарубеж. радиоэлектроника.—19926.—№ 6.—С. 18—35.
Харченко В. С., Паршин В. В. Гарантоспособные УВС с последовательным и параллельным выполнением альтернативных версий. — Харьков, 1991.—41 с.—(Препринт / АН Украины. Ин-т проблем машиностроения; № 340).

Avizienis F., Laprie J.-C. Dependable computing from concepts to desing diversity // IEEE Trans. Comput—1986.—74.—№ 5.— P. 8—21.