Разработка методов синтеза информационно-управляющих систем специального назначения со структурным резервированием тема диссертации и автореферата по ВАК РФ 05.13.15, кандидат технических наук Глухих, Михаил Игоревич

• Глухих, Михаил Игоревич
• кандидат технических наук
• 2006

Оглавление диссертации кандидат технических наук Глухих, Михаил Игоревич

СПИСОК ИСПОЛЬЗУЕМЫХ ТЕРМИНОВ И ОБОЗНАЧЕНИЙ.

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ ПРОБЛЕМЫ НАДЕЖНОСТИ И БЕЗОПАСНОСТИ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ.

1.1. Анализ требований к надежности и безопасности систем.

1.1.1. Терминология надежности и безопасности.

1.1.2. Основные показатели качества резервированных вычислительных систем.

1.2. Основные методы повышения надежности вычислительных систем.

1.2.1. Классификация методов резервирования.

1.2.2. Методы структурного резервирования.

1.2.3. Методы голосования.

1.3. Основные методы анализа надежности вычислительных систем и устройств.

1.3.1. Потоки отказов, используемые при анализе надежности.

1.3.2. Логико-вероятностные методы расчета показателей надежности.

1.3.3. Определение показателей надежности с использованием теории случайных процессов.

1.4. Архитектуры вычислительных систем со структурным резервированием.

1.4.1. Отказоустойчивый вычислительный кластер.

1.4.2. Архитектура с раздельным резервированием процессора.

1.5. Основные методы решения задачи синтеза вычислительной системы.

1.5.1. Применение точных методов для решения задачи синтеза.

1.5.2. Применение эвристических методов для решения задачи синтеза.

1.6. Этапы решения задачи синтеза вычислительной системы с резервированием.

Выводы.

ГЛАВА 2. ФОРМАЛИЗОВАННАЯ МОДЕЛЬ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ

СИСТЕМ СО СТРУКТУРНЫМ РЕЗЕРВИРОВАНИЕМ.

2.1. Анализ функциональной организации системы.

2.1.1. Основные задачи информационно-управляющей системы со структурным резервированием.

• 2.1.2. Функциональный состав системы и ее окружения.

2.1.3. Принципы функционирования подсистемы коммутации и контроля.

2.2. Основные предпосылки и примципы построения модели структуры информационно-управляющей системы со структурным резервированием в виде динамического типизированного графа.

2.2.1. Идея использования модели. Требования к модели, основные принципы ее построения.

2.2.2. Иллюстрация представления структуры вычислительной системы графом.

2.2.3. Разбиение вершин па классы и типы.

2.2.4. Изменение состояний вершин и графа.

2.3. Правила построения и модификации динамического типизированного графа.

2.3.1. Правила представления системы в виде динамического типизированного графа (группа I).

2.3.2. Правила соединений вершин динамического типизированного графа (группа II)

2.3.3. Правила введения типов вершин (группа III).

1> 2.3.4. Правила изменения состояний вершин (группа IV).

2.3.5. Правила распространения отказа (группа V).

2.3.6. Правила изменения состояния динамического типизированного графа (группа VI).

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

2.4.1. Общая постановка задачи синтеза.

2.4.2. Представление задачи синтеза в терминах динамических типизированных графов.

2.4.3. Необходимость упорядочения динамических типизированных графов при синтезе.

Выводы.

ГЛАВА 3. УПОРЯДОЧЕНИЕ МНОЖЕСТВА ДИНАМИЧЕСКИХ ТИПИЗИРОВАННЫХ ГРАФОВ ПО КРИТЕРИЯМ НАДЕЖНОСТИ, БЕЗОПАСНОСТИ И СТОИМОСТИ.

ДОМЕННЫЕ СТРУКТУРЫ РЕЗЕРВИРОВАННЫХ СИСТЕМ.

3.1. Отношения порядка на множестве динамических типизированных графов.

3.1.1. Отношения порядка па множестве типов вершин.

3.1.2. Принципы построения графов состояний системы но динамическому типизированному графу.

3.1.3. Определение отношений порядка на множестве динамических типизированных графов.

3.2. Упорядочение множества динамических типизированных графов по критерию безопасности.

3.2.1. Распространение отказа из решающих вершин, лемма.

3.2.2. Состояние динамического типизированного графа при аварии решающей вершины, лемма.

3.2.3. Распространение отказа из формирующих вершин, лемма.

3.2.4. Максимальные элементы по критерию безопасности, теорема.

3.2.5. Динамические типизированные графы с несколькими решающими вершинами

3.3. Упорядочение множества динамических типизированных графов по критериям надежности и стоимости.

3.3.1. Устранение избыточных дуг, лемма.

3.3.2. Устранение связей между однотипными вершинами, лемма.

3.3.3. Устранение связей между независимыми участками графа, лемма.

3.3.4. Разбиение на узлы доменов, теорема.

3.3.5. Параметризация доменных структур.

3.3.6. Распространение отказа из парных вершин, лемма.

3.3.7. Распространение отказа из вершин одного типа, теорема.

3.3.8. Варианты оптимальных структур.

3.3.9. Упорядочение множества динамических типизированных графов по комбинированному критерию.

Выводы.

ГЛАВА 4. АНАЛИЗ НАДЕЖНОСТНЫХ ХАРАКТЕРИСТИК ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С ДОМЕННОЙ СТРУКТУРОЙ. МЕТОДИКА СИНТЕЗА СТРУКТУР

РЕЗЕРВИРОВАННЫХ СИСТЕМ.

4.1. Программа расчета вероятности безотказной работы по динамическому типизированному графу.

4.1.1. Принцип автоматизированного расчета вероятности безотказной работы.

4.1.2. Краткое описание программы расчета.

4.1.3. Расчет показателей надежности варианта масштабируемой системы с резервированием.

4.1.4. Расчет показателей надежности двухдоменной системы.

4.2. Сравнительный анализ вариантов доменной организации резервированных систем

4.2.1. Зависимость показателей надежности и стоимости устройств коммутации и контроля от числа их входов.

4.2.2. Сравнительный анализ структур с изменяющейся устойчивостью доменов.

4.2.3. Сравнительный анализ структур с изменяющимся размером доменов.

4.2.4. Сравнительный анализ структур с изменяющимся числом доменов.

4.2.5. Сравнительный анализ структур с различным распределением устройств между доменами.

4.3. Синтез структуры системы с доменной организацией.

4.3.1. Сводка полученных при анализе рекомендаций.

4.3.2. Методика синтеза структур вычислительных систем с доменной организацией

Выводы.

ГЛАВА 5. РЕАЛИЗАЦИЯ СТРУКТУРНОГО МЕТОДА ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ НА ПРИМЕРЕ СИСТЕМЫ-ПРОТОТИПА.

5.1. Функциональный состав и надежностные характеристики узлов системы-прототипа

5.1.1. Относительные надежностные характеристики компонентов вычислительной системы.

5.1.2. Функциональный состав системы-прототипа.

5.1.3. Подсистема коммутации и контроля.

5.1.4. Функциональный состав высоконадежной платы.

5.2. Синтез структуры системы с использованием разработанного подхода.

5.2.1. Выбор количества доменов в системе.

5.2.2. Распределение устройств между доменами.

5.2.3. Структура системы с одним доменом.

5.2.4. Структура системы с двумя доменами.

5.2.5. Обобщенная структура системы с большим количеством доменов.

5.2.6. Структурная схема системы-прототипа.

5.3. Требования к устройствам системы-прототипа.

5.3.1. Доменная шина.

5.3.2. Доменный коммутатор.

I 5.3.3. Контроллер связи.

5.4. Основные проблемы доменной организации системы и подходы к их решению.

5.4.1. Проблема синхронизации вычислений.

5.4.2. Проблема конфигурации и реконфигурации системы.

Выводы.

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

Актуальность темы. Информационно-управляющие системы специального назначения (ИУССН) используются для автоматизации контроля и управления в сложных технических системах различного назначения: космических комплексах, летательных аппаратах разного класса, наземных станциях контроля и управления, судах различного назначения, энергетических комплексах и др.

Важнейшей характеристикой ИУССН является надежность. Надежность системы зависит от большого числа факторов: от ее функциональной организации, от технологии изготовления элементов, узлов и соединений между узлами, от окружающей среды и др. fc Основой создания узлов вычислительных систем в настоящее время стали СБИС, изготовленные по субмикронной технологии (в последнее время - и по нанотехнологии). С уменьшением проектной нормы быстро возрастает уровень интеграции СБИС, и все большее число соединений реализуется внутри кристалла. При переходе в область нанотехнологии появляются дополнительные виды сбоев и отказов внутри кристалла из-за влияния элементарных частиц космического излучения. Это обуславливает потребность резервирования узлов и устройств внутри кристалла. При использовании СБИС, выполненных по наиболее освоенной сейчас субмикронной технологии, возможно применение резервирования и на более высоких уровнях (уровень отдельных СБИС, уровень плат).

Проблема повышения надежности вычислительных систем изучается довольно давно. Первая работа на эту тему датируется 1952 годом и принадлежит Джону фон Нейману [38]. Сейчас широко разработанными I являются задачи, связанные с повышением надежности отдельных компонент системы (работы У. Пирса, Д. Трайона, Э. Мура [29, 37, 46, 49, 57, 84, 85, 86]), с повышением надежности передачи данных (работы К.

Шеннона, М. Голея, Р. Хэмминга [26, 59, 65, 70, 72, 74, 75]), с определением надежностных характеристик вычислительных систем (работы И. А. Рябинина, Г. Н. Черкесова, А. М. Половко [20, 22, 30, 47, 51, 55, 61, 62, 63]). Разработан ряд стандартов и рекомендаций, связанных с надежностью систем и их элементов [1,4].

ИУССН относятся к вычислительным системам, ошибка на выходе которых может иметь критические последствия для их окружения - иначе говоря, к системам высокой достоверности (ultradependable systems) [87]. При проектировании такого рода систем следует учитывать не только их надежность, но и их безопасность. Теория безопасности по сравнению с теорией надежности изучается не так давно, в этой области могут быть названы работы [51, 77] и стандарты [2, 3].

По этой причине в ИУССН крайне важно своевременное обнаружение отказа. Механизмы контроля надежности, применяющиеся в типовых элементах системы, обычно недостаточны или отсутствуют. В этом случае необходимо применение структурного резервирования, контроль надежности осуществляется на системном уровне с помощью решающих элементов [30, 38,46,51,61,77, 87].

При проектировании вычислительной системы с применением решающих элементов встает задача выбора структуры системы. Используемые готовые элементы и инструментарий проектирования постоянно и весьма динамично развиваются. С учетом этих факторов, актуально обеспечение надежности и безопасности системы на этапе ее проектирования.

При эвристическом подходе к проектированию вычислительной системы основными источниками информации при синтезе служат сведения о системе-прототипе и ее недостатках, новые требования к вычислительной системе, новые средства реализации системы. По мере развития средств вычислительной техники, увеличения сложности вычислительных систем и ужесточения требований к ним число возможных вариантов функциональной организации резервированных систем быстро возрастает.

Существующие автоматизированные подходы связаны с выбором оптимальной структуры из множества некоторого узкого класса - в частности, из множества последовательно-параллельных систем [78, 79, 80, 89] с различной кратностью. Недостаток такого подхода состоит в том, что оптимальная структура может не принадлежать выбранному множеству.

Поэтому требуется разработка модели вычислительных систем, обладающей полнотой порождения множества вариантов структуры ИУССН. В модели должна существовать возможность на уровне функциональной организации рассматривать процессы распространения отказов и определять условия, обеспечивающие свойства надежности и безопасности. Модель

• должна позволять осуществлять сравнительную оценку характеристик систем при ограниченной информации (без детальной проработки вариантов) и обоснованно уменьшать многообразие вариантов, требующих детальной проработки. На базе такой модели можно разработать методику синтеза структур вычислительных систем с требуемыми свойствами.

Объектом исследования является информационно-управляющая система специального назначения (ИУССН). В соответствии с распределенностью в пространстве оборудования технических систем ИУССН строятся как системы распределенной обработки данных, реализуемые в виде локальной вычислительной сети. Обычно сеть содержит пульт управления, приборы, распределенные по отдельным объектам, и, возможно, встраиваемые системы (интеллектуальные датчики и исполнительные устройства).

Особенностью многих ИУССН являются сравнительно умеренные

Щ требования к производительности в сравнении с суперкомпьютерами и системами с массовым параллелизмом [28, 33]. Как правило, производительности современного процессора вполне достаточно для решения задач, определенных для одного прибора. Это ограничивает класс рассматриваемых в данной работе вычислительных систем. Рассматриваются следующие свойства системы.

1. Безопасность. Вероятность возникновения необнаруженного отказа должна быть не выше определенного уровня (поскольку наличие необнаруженного отказа может привести к ошибкам в результатах на выходе системы и, как следствие - к критическим последствиям для окружения системы).

2. Безотказность. Система должна обеспечивать требуемый уровень безотказности.

3. Типовые элементы. В составе системы могут быть использованы типовые (готовые) элементы с недостаточными характеристиками по надежности и безопасности.

4. Невосстанавливаемость элементов. Во время работы системы, отказавшие элементы не могут быть восстановлены.

Цель работы. Сокращение времени проектирования и повышение качества разработки системы со структурным резервированием путем автоматизации синтеза.

Задачи исследования.

1. Разработка модели для представления произвольных вариантов структуры системы с резервированием, позволяющей анализировать процессы распространения отказов. Разработка правил построения и модификации модели.

2. Разработка методики сравнительного анализа характеристик ИУССН по предложенной модели и отбрасывания заведомо бесперспективных структур с последующей параметризацией оставшихся структур.

3. Создание методики поиска наилучшей структуры из ограниченного множества вариантов.

4. Разработка функциональной схемы системы-прототипа с целью иллюстрации методики и решения последующих задач.

Методы и средства исследования. Для теоретических исследований применяются методы теории отношений, теории графов, теории надежности, логико-вероятностные методы, теории случайных процессов, математического моделирования, математического программирования. Для построения моделей устройств использовались системы автоматизированного проектирования MAX+PLUS И, Quartus II и среда программирования Microsoft Visual Studio.

Положения, выносимые на защиту.

1. Модель структуры ИУССН на основе введенных в работе динамических типизированных графов, обладающая возможностью рассмотрения процессов распространения отказов и полнотой представления множества вариантов структуры.

2. Выделение подмножества структур ИУССН, оптимальных по комбинированному критерию надежности, безопасности и стоимости -доменных структур, включающих множество независимых узлов доменов с голосующим устройством на входе каждого.

3. Методика синтеза структур ИУССН с доменной организацией.

Научная новизна работы.

1. Разработана модель структуры ИУССН - динамический типизированный граф. Модель обладает возможностью рассматривать на функциональном уровне процессы распространения отказов и полнотой представления множества вариантов структуры ИУССН. Разработана программа расчета вероятности безотказной работы системы по динамическому типизированному графу.

2. Предложена методика упорядочения структур по комбинированному показателю, учитывающему свойства надежности, безопасности и стоимости, с использованием динамических типизированных графов.

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

3. С применением методики упорядочения структур выделено подмножество оптимальных структур и доказана возможность разделения структуры из данного множества на домены - наборы не связанных друг с другом узлов с голосующим устройством на входе и ациклической структурой.

4. Выделен новый класс из множества доменных структур ИУССН -масштабируемые структуры с резервированием. Главное преимущество данного класса структур заключается в возможности увеличения надежности системы путем увеличения числа однотипных устройств без изменения структуры голосующих устройств.

5. Разработана методика синтеза структуры ИУССН с доменной организацией, позволяющая осуществить обоснованный выбор числа доменов в системе, распределения устройств между доменами, числа однотипных устройств в системе и числа входов используемых голосующих устройств.

Достоверность результатов. Достоверность методики упорядочения структур и тезис о возможности разбиения оптимальной структуры на домены подтверждается доказательствами утверждений, положенных в основу методики, а также включением в полученное множество оптимальных структур известного множества последовательно-параллельных систем.

Достоверность зависимостей вероятности безотказной работы системы от характеристик доменной структуры подтверждается получением некоторых результатов двумя различными методами, совпадением результатов с известными частными случаями и использованием автоматизированного подхода при их получении.

Практическая значимость работы. Полученные в диссертационной работе методики синтеза и анализа структур позволяют снизить трудоемкость и повысить качество проектирования, а также обосновать t правильность принятых решений на системном этапе проектирования. С использованием предложенных методик разработан прототип ИУССН на основе СБИС ПЛ. Он позволяет проводить экспериментальные исследования в системном окружении и трансформировать разработанные блоки на отечественную базу БМК. Результаты диссертационной работы могут быть использованы в проектных организациях при создании отказоустойчивых вычислительных систем, а также в соответствующих дисциплинах при обучении студентов.

Реализация результатов работы. Результаты, полученные в диссертации, используются в учебном процессе на кафедре автоматики и вычислительной техники ГОУ ВПО «СПбГПУ» при чтении лекций по курсу * «Проектирование аппаратных средств вычислительных систем», а также при выполнении практических занятий на экспериментальной установке системы-прототипа, спроектированной с использованием теоретических результатов работы.

Научно-исследовательские работы. Результаты диссертации были получены в ходе выполнения научно-исследовательских работ по следующим проектам.

1. Разработка методики и инструментария для проектирования и верификации высоконадежных специализированных процессоров на базе СБИС ПЛ. Программа министерства образования РФ, подпрограмма «Международное научно-образовательное сотрудничество», проект №1283 за 2003 год.

2. Разработка методики и инструментария для проектирования и верификации высоконадежных специализированных процессоров на базе

Р СБИС ПЛ. Программа министерства науки и образования РФ, федерального агентства но образованию «Федерально-региональная политика в науке и образовании», подпрограмма «Международное t научно-образовательное сотрудничество», проект №1647 за 2004 год.

3. Создание центра по коммерциализации разработок Санкт-Петербургского государственного политехнического университета в области проектирования радиоэлектронной аппаратуры с использованием технологий FPGA и ASIC. Программа министерства науки и образования РФ, федерального агентства по образованию «Развитие научного потенциала высшей школы», подпрограмма 3 «Развитие инфраструктуры научно-технической и инновационной деятельности высшей школы и ее кадрового потенциала» на 2005 год.

4. Развитие центра трансфера технологий проектирования AS1C/FPGA на базе Санкт-Петербургского государственного политехнического университета для промышленности региона. Программа и подпрограмма п. 3, 2005 год.

5. Развитие международного центра трансфера технологий проектирования ASIC на базе Санкт-Петербургского государственного политехнического университета. Программа и подпрограмма п. 3,2005 год.

Апробация работы. Результаты работы докладывались и обсуждались на VIII Всероссийской конференции «Фундаментальные исследования в технических университетах» (2004 год) и на ежегодной конференции «Практические аспекты разработки отечественных СБИС класса «система на кристалле»» (2006 год).

Публикации. По результатам диссертационной работы опубликовано шесть печатных работ, в том числе в журнале «Научно-технические ведомости СПбГТУ» (входит в «Перечень ведущих рецензируемых научных журналов и изданий, выпускаемых в Российской Федерации»). Всего I опубликовано три журнальных статьи и три тезиса конференций.

Структура и объем работы. Диссертационная работа состоит из введения, пяти глав, заключения, списка используемых источников. Общий

Заключение диссертации по теме «Вычислительные машины и системы», Глухих, Михаил Игоревич

Основные результаты диссертационной работы заключаются в следующем.

1. Проведена функциональная декомпозиция вычислительной системы с резервированием, выделены подсистемы, решающие отдельные задачи, обоснована структура связей между подсистемами. Предложена модель для представления структур информационно-управляющих систем с резервированием, позволяющая анализировать процессы распространения отказов в вычислительной системе и выявлять условия, необходимые для обеспечения надежности и безопасности. Модель построена в виде динамического типизированного графа (раздел 2.2), имеющего вершины, принадлежащие различным классам и типам, помеченные символом состояния вершины из определенного множества возможных состояний. Разработана система правил построения и модификации динамических типизированных графов (раздел 2.3), позволяющая решать задачу синтеза структуры информационно-управляющей системы специального назначения.

2. На множестве динамических типизированных графов определено отношение порядка по комбинированному критерию надежности, безопасности и стоимости (раздел 3.1). Доказано, что динамические типизированные графы из множества максимальных элементов для данного отношения могут быть разбиты на непересекающиеся узлы доменов - ациклические связные подграфы без однотипных начальных вершин, связанные друг с другом начальными и конечными вершинами и обладающие возможностью сдерживать процессы распространения отказов (разделы 3.2,3.3).

3. В множестве доменных структур выделен класс новых структур -масштабируемые структуры с резервированием, позволяющие повышать уровень надежности без изменения используемых блоков (подраздел 3.3.8).

4. Разработана программа расчета вероятности безотказной работы системы по динамическому типизированному графу. На примерах показана простота применения программы и корректность ее результатов (раздел 4.1). Проанализировано влияние количества доменов, варианта разбиения системы на домены, характеристик доменов на показатели надежности системы, сформулированы основные правила разбиения системы на домены (раздел 4.2). Сформулирована методика синтеза вычислительных систем с доменной структурой и рассмотрены условия ее применимости (раздел 4.3).

5. Разработана структура прототипа информационно-управляющей системы * специального назначения и определены функциональные спецификации к ее блокам. Обоснован—функциональный" состав системы-прототипа, предназначенной для экспериментальной проверки теоретических положений по синтезу структур вычислительных систем с резервированием (разделы 5.1, 5.2).

Определены ближайшие задачи дальнейшей работы. Дальнейшее развитие диссертационной работы предполагает.

1. Синтез отдельных устройств системы-прототипа, сборку системы-прототипа и последующее экспериментальное исследование. Решение сформулированных в разделе 5.4 проблем. Анализ основных проблем доменной организации, указанных выше, исследование эффективности различных способов их разрешения на базе системы-прототшта. Исследование возможности использования устройств системы-прототипа в составе информационно-управляющей системы специального

I назначения.

2. Обобщение результатов теоретического исследования доменных структур вычислительных систем с резервированием. Рассмотрение различных вариантов масштабируемых структур с резервированием, определение наиболее эффективных из них. Уточнение разработанной методики синтеза для многодоменных систем. Учет возможности восстановления отдельных устройств вычислительной системы в ходе ее работы. Распространение результатов диссертационной работы на высокопроизводительные системы.

ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования кандидат технических наук Глухих, Михаил Игоревич, 2006 год

1. ГОСТ 27.002-89. Надежность в технике. Основные понятия, термины и определения. М.: Изд-во стандартов, 1989. - 39 с.

2. ГОСТ ЕН 1070-2003. Межгосударственный стандарт. Безопасность оборудования. Термины и определения. М.: Изд-во стандартов, 2003. -23 с.

3. ГОСТ ИСО/ТО 12100-1-2001. Межгосударственный стандарт. Безопасность оборудования. Основные понятия, общие принципы конструирования. Часть 1. Основные термины, методика. М.: Изд-во стандартов, 2001. - 17 с.

4. Надежность в технике. Выбор способов и методов резервирования. * Рекомендации Р50-54-82-88. М.: Изд-во стандартов, 1988. - 94 с.

5. Авен О.И., Гурин Н.Н., Коган А.Я. Оценка качества и оптимизация вычислительных систем. М.: Наука, 1982.-464 с.

6. Акимов О.Е. Дискретная математика: логика, группы, графы. М.: Лаборатория базовых знаний, 2003. - 376 с.

7. Алексеев В.Б., Ложкин С.А. Элементы теории графов, схем и автоматов: Учебное пособие. М.: МГУ, 2000. - 59 с.

8. Антонов А.П. Язык описания цифровых устройств AlteraHDL. СПб.: Радиософт, 2001.-224 с.

9. Антонов А.П., Мелехин В.Ф., Филиппов А.С. Обзор элементной базы фирмы Altera. СПб.: ЭФО, 1997. - 142 с.

10. Ю.Артамонов Г.Т., Тюрин В.Д. Топология сетей ЭВМ и микропроцессорных систем. М.: PC, 1991.-248 с.

11. Берж К. Теория графов и ее применения: Пер. с франц. М.: ИЛ, 1962. -( 320 с.

12. Воеводин В.В., Воеводин Вл.В. Параллельные системы. СПб.: БХВ-Петербург, 2002. - 600 с.

13. Ганнетт Дж., Томич А., Катевенис М. и др. Электроника СБИС. Проектирование микроструктур: Пер. с англ. / Под ред. Н. Айспрука. М.: Мир, 1989.-256 с.

14. М.Глухих М.И. Расчет показателей надежности по модели структуры вычислительной системы // Вычислительные, измерительные и управляющие системы: сборник научных трудов / под ред. Ю.Б. Сениченкова. СПб.: СПбГПУ, 2005. - С. 57-64.

15. Глухих М.И., Максименко С.Л., Мелехин В.Ф. Методология и инструментальные средства создания специализированных процессоров // XXIX неделя науки СПбГТУ. Часть V: Материалы межвузовской научной конференции. СПб.: СПбГТУ, 2000. - С. 36-38.

16. Глухих М.И., Мелехин В.Ф. Разработка и исследование * специализированного процессора для отказоустойчивой системы // XXXюбилейная неделя науки СПбГТУ. Часть VII: Материалы межвузовской научной конференции. СПб.: СПбГТУ, 2001. - С. 152.

17. Глухих М.И., Мелехин В.Ф. Методика анализа эффективностиархитектуры процессора // XXXII неделя науки СПбГПУ. Часть V:

18. Материалы межвузовской научно-технической конференции. СПб.: СПбГПУ, 2003.-С. 76-78.

19. Гнеденко Б.В., Беляев Ю.К., Соколов А.Д. Математические методы теории надежности. М.: Наука, 1965. - 524 с.

20. Головкин Б.А. Вычислительные системы с большим числом процессоров. М.: PC, 1995.-320 с.

21. Горский JI.K. Статистические алгоритмы исследования надежности. М.: Наука, 1970.-400 с.

22. Евстигнеев В.Н., Касьянов В.А. Толковый словарь по теории графов. -Новосибирск: НГУ, 1996.-291 с.

23. Иванова А.П., Сигал И.Х. Введение в прикладное дискретное программирование. М.: Физматлит, 2002. - 240 с.

24. Иыуду К.А. Оптимизация устройств автоматики по критерию надежности. -М.: Энергия, 1966.

25. Колесников Е.Д., Мирончиков Е.Т. Декодирование циклических кодов. -М.: Связь, 1968.-251 с.

26. Колмогоров А.Н. Об аналитических методах в теории вероятностей // УМН.- 1938. №5.-С. 5-41.

27. Колосов В.Г., Мелехин В.Ф. Проектирование узлов и систем автоматики и вычислительной техники. JL: Энергоатомиздат, 1983. - 256 с.

28. Кузьмин Ф.И. Задачи и методы оптимизации показателей надежности. -М.: Сов. радио, 1972. 224 с.

29. Курочкин Ю.А., Смирнов А.С., Степанов В.А. Надежность и диагностирование цифровых устройств и систем. СПб.: Издательство СПбГТУ, 1993.-320 с.

30. Макаров С.В. Вероятностные расчеты однотактных схем // * Вычислительные системы. 1962. Вып. 4.

31. Марков А.А. Исследование замечательного случая зависимых испытаний // Известия Петербургской академии наук. 1907. Том 1. №3. С. 61-80.

32. Мелехин В.Ф. Вычислительные машины, системы и сети: Учебник для вузов / В.Ф. Мелехин, Е.Г. Павловский. М.: Издательский центр «Академия», 2006. - 555 с.

33. Мерекин Ю.В. Решение задач вероятностного расчета однотактных схем методом ортогонализации // Вычислительные системы. 1962. Вып. 5.

34. Алгоритмы и программы решения задач на графах и сетях / Под ред. Нечепуренко М.И. Новосибирск: Наука, 1990. - 520 с.

35. Нечипоренко В.И. Структурный анализ систем. М.: Сов. радио, 1977. -216с.

36. Новиков Ф.А. Дискретная математика для программистов. СПб.: Питер, ► 2000.-301 с.

37. Носов В.А. Комбинаторика и теория графов: Учебное пособие. М.: МГТУ, 1999.- 116 с.

38. Ope О. Теория графов: Пер. с англ. М.: Наука, 1980. - 336 с.44.0ре О. Графы и их применение: Пер. с англ. М.: Мир, 1965. - 175 с.

39. Парфенов Ю.М. Надежность, живучесть и эффективность корабельных энергетических систем. Л.: ВМА, 1989. - 324 с.

40. Пирс У. Построение надежных вычислительных машин. М.: Мир, 1968. -270 с.

41. Половко A.M. Основы теории надежности. М.: Наука, 1964. - 447 с.

42. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1964.-368 с.

43. Поспелов И.Г. Разработка и исследование методов анализа и обеспечения отказоустойчивости управляющих иерархических вычислительных систем реального времени. Дис. . канд. техн. наук. М.: 2002. - 156 с.

44. Рудометов Е., Рудометов В. Архитектура ПК, комплектующие,мультимедиа. СПб.: Питер, 2000. - 416 с.

45. Рябинин И.А. Надежность и безопасность структурно-сложных систем. -СПб.: Политехника, 2000. 248 с.

46. Рябинин И.А. Основы теории и расчета надежности судовых энергетических систем. Л.: Судостроение, 1967. - 362 с.

47. Рябинин И.А., Парфенов Ю.М. Определение «веса» и «значимости» * отдельных элементов при оценке надежности сложной системы // Изв. АН СССР. Энергетика и транспорт. - 1978. №6. - С. 22-32.

48. Рябинин И.А., Смирнов А.С. Схемно-логический метод исследования структурной надежности сложных невосстанавливаемых систем // Электричество. 1971. №5.

49. Рябинин И.А., Черкесов Г.Н. Логико-вероятностные методы исследования надежности структурно-сложных систем. М.: Радио и связь, 1981. - 264с.

50. Сенин Д. Использование технологии кластеризации в сетях хранения данных // RM magazine. 2004. #4/5. - С. 66-69.

51. Трайон Д. Четырехкратная логика / Методы введения избыточности для вычислительных систем: Пер. с англ. / Под ред. В. С. Пугачева. М.: Сов. радио, 1966.-С. 241-265.

52. Федотов Я. Проблемы интегральной электроники // Электронные компоненты. 2000. №3. - С. 8-11.

53. Финк JT.M. Теория передачи дискретных сообщений. М.: Сов. радио, 1963.-576 с.бО.Французов Д. Оценка производительности вычислительных систем // Открытые системы. 1996. №2. - С. 58-66.

54. Черкесов Т.Н. Надежность аппаратно-программных комплексов. СПб.: Питер, 2005.-480 с.

55. Черкесов Т.Н., Можаев А.С. Логико-вероятностные методы расчета надежности структурно-сложных систем // Качество и надежность изделий. Вып. 3 (15).-М.: Знание, 1991.-С. 3-65.

56. Черкесов Т.Н., Степанов Ю.В. Логико-вероятностный анализ надежности сложных систем на основе общего решения систем логических уравнений // Научно-технические ведомости СПбГТУ. 2003. №2. - С. 149-158.

57. Черноруцкий И.Г. Методы принятия решений. СПб.: БХВ-Петербург, 2005.-416 с.

58. Шеннон К. Математическая теория связи // Работы по теории информации и кибернетике: Пер. с англ. / Под ред. Р.Л. Добрушина и О.В. Ляпунова. -М.: ИЛ, 1963.-С. 243-332.

59. Avalon bus interface // Altera corporation, 2005. 90 p.

60. Nios development board. Reference manual, Stratix edition // Altera corporation, 2004. 52 p.

61. Nios II processor reference handbook // Altera corporation, 2004. 212 p.

62. Stratix device handbook (complete two-volume set) // Altera corporation, 2004.- 866 p.

63. Armstrong D.B. A General Method of Applying Error Correction to Synchronous Digital Systems // Bell Systems Technical Journal. 1961. #40. Pp. 577-593.

64. Chatelet E., Chu C., Yalaoui A. A new dynamic programming method for reliability and redundancy allocation in a parallel-series system // IEEE Transactions on Reliability, Vol. 54, #2, Jun. 2005. Pp. 254-261.

65. Forney G.D., Jr. Convolutional codes I: Algebraic structure // IEEE Trans. Inform. Theory. Vol. IT-16, Sept, 1970. - Pp. 720-738.

66. Glover F., Laguna M. Tabu search // Kluwer Academic Publishers, Boston, Hardbound. July 1997. - 408 pp.

67. Golay, Marcel J.E. Notes on Digital Coding // Proceedings of the IRE. Vol. 37, June, 1949.-Pp. 657.

68. Hamming R.W. Error Detecting and Error Correcting Codes // The Bell System

69. Technical Journal. 1950. #29. - Pp. 147-161.

70. Heimendinger W., Weinstock C. A conceptual framework for system fault tolerance. Pittsburgh (PA): Carnegie Melon University, 1992. - 36 p.

71. Johnson Y. The analysis of two fault-tolerant architectures using safety related metrics // International conference on dependable systems and networks. -2003.

72. Kuo W., Rajendra Prasad V. An Annotated Overview of System-Reliability Optimization // IEEE Transactions on Reliability, Vol. 49, #2, Jun. 2000. Pp. 176-187.

73. Levitin G. Consecutive k-Out-of-r-From-n Systems With Multiple Failure Criteria // IEEE Transactions on Reliability, Vol. 53, #3, Sep. 2004. Pp. 394400.

74. Levitin G., Lisnianski A., Ben-Haim H., Elmakis D. Redundancy Optimization I for Series-Parallel Multi-State Systems // IEEE Transactions on Reliability,

75. Vol. 47, #2, Jun. 1998. Pp. 165-172.

76. Liang Y., Smith A. An ant colony optimization algorithm for the redundancy allocation problem // IEEE Transactions on Reliability, Vol. 53, #3, Sep. 2004. -Pp. 417-423.

77. Single/dual LVDS line receivers with in-path fail-safe // Maxim integrated products. 2002. - 11 p.

78. A general design guide for national's low voltage differential signaling (LVDS) and bus LVDS products: LVDS owner's manual, 2nd edition // National semiconductor, 2000.- 101 p.

79. Pierce W.H. A Proposed System of Redundancy to Improve the Reliability of Digital Computers: Technical Report #1552-1 // Stanford University, Stanford Electron. Labs. 1960.

80. Pierce W.H. Improving Reliability of Digital Systems by Redundancy and Adaptation. PhD thesis. Electrical Engineering, Stanford University. 1961.

81. Pierce W.H. Interwoven Redundant Logic // J. Franklin Institute. 1964. #277. -Pp. 55-85.

82. Rennels D. Fault-Tolerant Computing Concepts and Examples // IEEE Transactions on Computers C-33. #12. Dec. 1984. - Pp. 1116-1129.

83. Rodrig M., LaMarca A. Decentralized weighted voting for P2P data management // MobiDE, 2003. Pp. 85-92.

84. Scheuer E.M. Reliability of an m-out-of-n System When Component Failure Induces Higher Failure Rates in Survivors // IEEE Transactions on Reliability, Vol. 37, #1, Apr. 1988.-Pp. 73-74.