Функционально-структурные вероятностные модели в задачах анализа надежности микропроцессорных систем тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Даниленко, Иван Николаевич

• Даниленко, Иван Николаевич
• кандидат технических наук
• 2004

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

Введение.

1. Надежность отказоустойчивых вычислительных систем.

1.1. Организация отказоустойчивости вычислительных систем.

1.2. Методы анализа надежности вычислительных систем.

Выводы.

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

2.1. Моделирование в задачах анализа надежности вычислительных систем.

2.2. Функционально-структурная модель процессора.

2.3. Функционально-структурная модель памяти.

• 2.4. Функционально-структурная модель механизмов повышения отказоустойчивости.

2.5. Модель вычислительного процесса.Г.

2.6. Модель отказоустойчивой микропроцессорной системы.:.

2.7. Организация вычислительного эксперимента.

Выводы.

3. Программная среда функционально-структурного моделирования. b 3.1. Назначение и функции программной среды функциональноструктурного моделирования.

3.2. Проектирование программной среды функционально-структурного моделирования.

3.3. Реализация программной среды функционально-структурного моделирования.

3.4. Верификация программной среды функционально-структурного моделирования.

Выводы.

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

4.1. Отказоустойчивые микропроцессорные системы с двунаправленным и однонаправленным голосованием.

4.2. Отказоустойчивые микропроцессорные системы с различными методами повышения надежности памяти.

Выводы.

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

Актуальность проблемы

Широкая автоматизация практически всех сфер человеческой деятельности с использованием вычислительной техники, робототехнических комплексов и высокопроизводительного прецизионного оборудования составляет одно из главных направлений научно-технического прогресса в настоящее время. Фундаментальной базой данной отрасли являются вычислительные средства различного назначения. Многолетний опыт разработки, производства и эксплуатации средств вычислительной техники привел к необходимости рассматривать в неразрывной связи вопросы конструирования средств вычислительной техники и их надежности. В настоящее время общепризнанно, что надежность является сложным неотъемлемым свойством любого ■Ъ промышленного изделия, а для таких устройств, которые участвуют в управлении технологическими процессами, объектами повышенной для человека опасности, дорогостоящими объектами, наземным, водным, воздушным транспортом и космическими аппаратами, надежность является наиважнейшим показателем.

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

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

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

Цель работы

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

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

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

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

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

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

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

Результаты работы, выносимые на защиту

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

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

Практическая ценность работы

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

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

Реализация результатов работы

Разработанные функционально-структурные модели и программные средства моделирования используются в Научно-производственном объединении Прикладной механики (НПО ПМ) имени академика М.Ф. Решетнева, г. Железногорск, для анализа показателей надежности отказоустойчивых бортовых комплексов управления (БКУ) космических аппаратов ретрансляции и связи в процессе их проектирования и последующей эксплуатации. Основные результаты диссертационной работы изложены в отчетах по НИР, выполненных институтом «Кибернетический центр» ТПУ в рамках хозяйственных договоров с НПО ПМ г. Железногорска и используются НПО ПМ при создании БКУ космических аппаратов ретрансляции и связи.

Апробация работы

Результаты диссертационной работы докладывались и обсуждались: на Третьем Российско-Корейском международном симпозиуме по науке и технологии KORUS'99, г.Новосибирск, Россия, 1999г.; на Четвертом Российско-Корейском международном симпозиуме по науке и технологии KORUS'2000, г. Ульсан, Корея, 2000 г.; на Пятом Российско-Корейском международном симпозиуме по науке и технологии KORUS'2001, г. Томск, Россия, 2001 г.; Третьей окружной конференции молодых ученых Ханты-Мансийского автономного округа «Наука и инновации Ханты-Мансийского автономного округа», г. Сургут, 2002 г.

Публикации

По теме диссертационной работы опубликовано 15 статей и тезисов докладов, отчет о НИР.

Структура и объем работы

Диссертационная работа состоит из введения, четырех глав и заключения, изложенных на 114 страницах машинописного текста, включает 27 рисунков, 15 таблиц, а также содержит список литературы из 118 наименований и 3 приложения. Общий объем работы - 145 страниц.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Даниленко, Иван Николаевич

Выводы

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

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

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

Заключение

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

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Даниленко, Иван Николаевич, 2004 год

1. Авижиенис, А.А. Отказоустойчивость — свойство, обеспечивающее постоянную работоспособность цифровых систем / А.А. Авижиенис // ТИИЭР. 1978. - Т. 66. №10.

2. Барлоу, Р. Статистическая теория надежности и испытания на безотказность / Р. Барлоу, Ф. Прошан. М.: Наука, 1984. - 328с.

3. Борисов, А.А. Надежность зарубежной элементной базы / А.А. Борисов, В.М. Горбачева Г.Д. Карташов, М.Н. Мартынов, С.Ф. Прытков // Зарубежная радиоэлектроника. 2000. - № 5. - С. 34-53.

4. Бусленко, Н.П. Моделирование сложных систем / Н.П. Бусленко. — М.: Наука, 1978.

5. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ / Г. Буч. М.: Бином, 2001. - 560с., ил.

6. Вероятностные методы в вычислительной технике: Учебное пособие. / Под ред. А.Н. Лебедева, Е.А. Чернявского. М.: ВШ, 1986. - 312с.

7. Гамма, Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э Гамма, Р. Хелм, Р. Джонсон, Дж. Влиссидес. СПб.: Питер, 2001. - 368 с.:ил.

8. Генинсон, Б.А. Отказоустойчивые методы обеспечения взаимной информационной согласованности в распределенных вычислительных системах / Б.А. Генинсон, Л.А. Панкова, Э.А. Трахтенгерц // АиТ — 1989.-№5.-С. 3-18.

9. Гобчанский, О. Проблемы создания бортовых вычислительных комплексов малых космических аппаратов / О. Гобчанский. // СТА. — 2001. — №4. -С.28-34.

10. Голинкевич, Т.А. Прикладная теория надежности: Учебник для вузов / Т.А. Голинкевич. — 2-е изд. перераб. и доп. — М.: ВШ, 1985. 168с. ил.

11. Головкин, Б.А. Параллельные вычислительные системы / Б.А. Головкин. М.: Наука, 1980. - 520с.

12. Гришмановский, П.В. Паттерны проектирования в разработке систем имитационного моделирования / П.В. Гришмановский, И.Н. Даниленко // Сб. трудов. Вып. 14. Сургут: Изд-во СурГУ, 2004. - С. 37-45.

13. Гришмановский, П.В. Построение полиморфных структур данных в режиме проектирования средствами визуального проектирования / П.В. Гришмановский, И.Н. Даниленко // Сб. трудов. Вып. 13 — Сургут: Изд-во СурГУ, 2003. С. 38-47.

14. Гройсберг, Л.Б. Алгоритм ускоренного вероятностного моделирования для оценки надежности сложных систем / Л.Б. Гройсберг, А.К. Нестерук // АиТ. 1995. - № 4. - С. 179-189.

15. Гройсберг,Л.Б. Показатели надежности отказоустойчивых систем/ Л.Б. Гройсберг // Надежность и контроль качества. 1989. — № 6. -С. 14-20.

16. Даниленко, И.Н. Применение Е-сетевого моделирования для анализа и разработки алгоритмов отказоустойчивых компьютерных систем / И.Н. Даниленко, Г.П. Цапко // Управляющие и вычислительные системы.

17. Новые технологии: Сб. материалов межвузовской научно-технической конференции. Вологда: Изд-во ВоГТУ, 2000. - С. 107-108.

18. Даниленко, И.Н. Функционально-структурный подход к построению вероятностных моделей надежности отказоустойчивых микропроцессорных систем / И.Н. Даниленко // Сб. трудов. Вып. 14. — Сургут: Изд-во СурГУ, 2004. С. 46-57.

19. Дэйтел, Х.М. Введение в операционные системы / Х.М. Дейтел — в 2 т., т.2 пер с англ. JI.A. Теплицкого и др.; под ред. B.C. Штаркмана. — М.: Мир, 1987. 398с.:ил. (359)

20. Ермаков, С.М. Метод Монте-Карло и смежные вопросы / С.М. Ермаков. М.: Наука. 1975. - 472с.

21. Журавлев, Ю.П. Надежность и контроль ЭВМ / Ю.П. Журавлев, JI.A. Котелюк, Н.И. Циклинский. — М.: Советское радио. 1978. — 416с.

22. Иыуду, К.А. Надежность, контроль и диагностирование вычислительных систем и машин / К.А. Иыуду. — М.: ВШ, 1989. 216с.

23. Кнут, Д.Э. Искусство программирования. / Д.Э. Кнут. — в Зт., т.2. Сортировка и поиск, 2-е изд.: пер. с англ.: Учеб. пос. — М.: Издательский дом «Вильяме», 2000. 832 с.

24. Коваленко, А.Е. Отказоустойчивые микропроцессорные системы /

25. B.В. Гула, А.Е. Коваленко. К.: Техника, 1986. — 150с.

26. Коваленко, И.Н. Об оценке надежности сложных систем / И.Н. Коваленко // Вопросы радиоэлектроники. 1965. — 12, № 9. —1. C. 50-68.

27. Коваленко, И.Н. Методы расчета высоконадежных систем / И.Н. Коваленко, Н.Ю. Кузнецов. М.: Радио и связь, 1988. - 176с.

28. Кодирование информации (двоичные коды) / Н.Т. Березюк, А.Г. Андрущенко, С.С. Мощицкий и др. Харьков: Вища школа, 1978. -252с.

29. Кузнецов, Н.Ю. Вычисление коэффициента оперативной готовности восстанавливаемых систем аналитико-статистическим методом / Н.Ю. Кузнецов // Кибернетика. 1985. - № 3. - С. 86-94.

30. Кузнецов, Н.Ю. Общий подход к нахождению вероятности безотказной работы структурно-сложных систем аналитико-статистическим методом / Н.Ю. Кузнецов // Кибернетика. 1985. - № 3. - С. 86-94.

31. Кузнецов, Н.Ю. Ускоренное моделирование вероятности отказа системы состоящей из элементов существенно различной надежности / Н.Ю. Кузнецов // Кибернетика и системный анализ. 1999. — №6. -С. 48-58.

32. Липаев, В.В. Надежность программных средств. Серия "Информатизация России на пороге XXI века" / В.В. Липаев. — М.: СИНТЕГ, 1998.-232с.

33. Лонгботтом, Р. Надёжность вычислительных систем. / Р. Лонгботтом. — Пер. с англ. -М.: Энергоатомиздат. 1985. 288с.

34. Майерс, Г. Надежность программного обеспечения /Г. Майерс. — пер. с англ. М.: Мир, 1980. - 360с.

35. Мамедли, Э.М. Метод локализации дружественных и враждебных неисправностей / Э.М. Мамедли, Р.Я. Самедов, Н.А. Соболев // АиТ -1992.-№5.-С. 126-138.

36. Мамедли, Э.М. Механизмы операционных систем, обеспечивающие отказоустойчивость в управляющих многомашинных вычислительных системах / Э.М. Мамедли, Н.А. Соболев // АиТ 1995. - №8. — С. 3-63.

37. Надежность технических систем: Справочник / Ю.К. Беляев, В.А. Богатырев, В.В. Болотин и др.; Под ред. И.А. Ушакова. -М.: Радио и связь, 1985. 608 с.

38. Основы имитационного и статистического моделирования: Учебное пособие / Ю.С. Харин и др. Минск: Дизайн Про, 1997. - 288с.

39. Погребинский, С.В. Проектирование и надежность многопроцессорных ЭВМ / С.В. Погребинский, В.П. Стрельников. М.: Радио и связь, 1988 -168 с.

40. Полляк, Ю.Г. Вероятностное моделирование на ЭВМ/ Ю.Г. Полляк М.: Советское радио, 1971. 400 с.

41. Проектирование отказоустойчивых микропроцессорных информационно-измерительных систем. / Б.Ю. Волочий, И.Д. Калашников, Р.Б. Мазепа, Б.А. Мандзий, Львов: Вища шк. Изд-во при Львов, ун-те, 1987. - 152 с.

42. Решение задач надежности и эксплуатации на универсальных ЭЦВМ / Б.П. Креденцер, М.М. Ластовченко, С.А. Сенецкий, Н.А. Шишонок; Под ред. Н.А. Шишонка. М.: Советское радио, 1967.

43. Сабинин, О.Ю. Планирование и организация ускоренного статистического моделирования сложных производственно-технических комплексов/ О.Ю. Сабинин // Известия АН Теория и системы управления. — 1997. №2. — С. 117-123.

44. Сабинин, О.Ю. Статистическое моделирование технических систем / О.Ю. Сабинин. СПб.: СПбГЭТУ. - 1994.

45. Сабинин, О.Ю. Ускоренное статистическое моделирование систем управления / Д.В. Васильев, О.Ю. Сабинин. — JL: Энергоатомиздат, 1987.

46. Согомонян, Е.С. Самопроверяемые устройства и отказоустойчивые системы / Е.С. Согомонян. М.: Радио и связь, 1989. - 208с.

47. Согомонян, Е.С. Аппаратное и программное обеспечение отказоустойчивости вычислительных систем / Е.С. Согомонян, И.В. Шагаев // АиТ 1988. - № 2. - С. 3-39.

48. Создание новых принципов обеспечения отказоустойчивости БКУ КА навигации: Отчет о НИР (заключительный) / ТПУ; Руководитель Г. П. Цапко; И.Н. Даниленко, Е.А.Дмитриева ГР№ 01990011127; Инв. № 02200003836; - М, 2000. - 67 с.

49. Страуструп, Б. Язык программирования С++ / Б. Страуструп. 3-е изд. СПб: М.: Невский диалект - Издательство БИНОМ, 1999. - 991 с.

50. Ушаков, И.А. Вероятностные модели надежности информационно-вычислительных систем / И.А. Ушаков. — М.: Радио и связь, 1991.-132с.

51. Уэнсли, Дж. SIFT: Проектирование и анализ отказоустойчивой вычислительной системы для управления полетом летательного аппарата / Дж. Уэнсли, Л. Лэмпорт, Дж. Голдберг // ТИИЭР. Т. 66. -№ 10.-С. 166-185.

52. Харченко, B.C. Оценка и обеспечение живучести информационно-вычислительных и управляющих систем технических комплексов критического использования / B.C. Харченко, И.В. Лысенко, В.А. Мельников // Зарубежная радиоэлектроника. — 1996. № 1. - С. 64-80.

53. Хопкинс, A.JI. FTMP — высоконадежный отказоустойчивый мультипроцессор для управления самолетом / A.JI. Хопкинс, Т.Б. Смит, Дж.Х. Лала//ТИИЭР. — Т. 66.-№ 10.-С. 142-165.

54. Хорошевский, В.Г. Инженерный анализ функционирования вычислительных машин и систем / В.Г. Хорошевский. — М.: Радио и связь, 1987.-256с.

55. Чернецкий, В.И. Математическое моделирование стохастических систем / В.И. Чернецкий. — Петрозаводск: Издательство Петрозаводского государственного университета, 1994. 488с.

56. Чернышев, А.А. Основы конструирования и надежности электронных вычислительных средств: Учеб. для вузов. / А.А. Чернышев. — М.: Радио и связь, 1998. 448с.

57. Шнитман В. Отказоустойчивые компьютеры компании Stratus / В. Шнитман //Открытые системы, №1, 1998, С. 13-22.

58. Agarwal, A. Memory-reference characteristics of multiprocessor applications under MACH / A. Agarwal, A. Gupta // The Sigmetrics Conference on Measurement and Modeling of Computer Systems: Proceedings, ACM. 1988. - pp. 215-225.

59. Arlat, J. Fault injection for dependability validation: A methodology and some applications / J. Arlat // IEEE Transactions on Software Engineering. -1990. vol. 16, № 2, pp. 166-182.

60. Aupperle, B.E. Evaluation of fault-tolerant systems with nonhomogeneous workloads / B.E. Aupperle, J.F. Meyer, L. Wei // Fault-Tolerant Computing: Proceedings. The 19th International Symposium, IEEE. 1989. — pp. 159-166.

61. Avizienis, A. Fault-tolerance experiments with the JPL STAR computer / A. Avizienis, D. Rennels // The 6th Annual International Computer Conference: Proceedings, IEEE. 1972. - pp. 321-324.

62. Ayache, J.M. A reliability model for error correcting memory systems/ J.M. Ayache, M.Diaz // IEEE Transactions on Reliability. 1979. -vol. R-28,№ 4, pp. 310-314.

63. Bavuso, SJ. Analysis of typical fault-tolerant architectures using HARP/ S.J. Bavuso, J.B. Dugan, K.S. Trivedi, E.M. Rothman, W.E. Smith // IEEE Transactions on Reliability. 1987. - vol. R-36, № 2, pp. 176-185.

64. Bernstein, P.A. Sequoia: A fault-tolerant tightly coupled multiprocessor for transaction processing / P.A. Bernstein // IEEE Computer. — 1988. — vol. 21, № 2, pp. 37-45.

65. Borg, A. Generation and analysis of very long address traces / A. Borg, RE. Kessler, D.W. Wall // Computer Architecture: Proceedings. The 17th Annual International Symposium, ACM.- 1990-pp. 270-279.

66. Bouricius, W.G. Reliability modeling techniques for self-repairing computer systems / W.G. Bouricius, W.C. Carter, P.R. Schneider // Proceedings. The 24th National Conference, ACM. 1969.-, pp. 295-309.

67. Bugge, H.O. Trace-driven simulations for a two-level cache design in open bus systems / H.O. Bugge, E.H. Kristiansen, B.O. Bakka, // Computer Architecture: Proceedings. The 17th Annual International Symposium, ACM. 1990. - pp. 250-259.

68. Bunt, R.B. The measurement of locality and the behaviour of programs/ RB. Bunt, J.M. Murphy // The Computer Journal. 1984. - vol. 27, № 3, pp. 238-245.

69. Butler, R.W. The SURE approach to reliability analysis / R.W. Butler // IEEE Transactions on Reliability. 1992. - vol. 41, № 2, pp. 210-218.

70. Castillo, X. Workload, performance and reliability of digital computer systems / X. Castillo, D.P. Siewiorek, // Fault-Tolerant Computing: Proceedings, The 11th International Symposium, IEEE. 1981. - pp. 84-89.

71. Chillarege, R. An experimental study of memory fault latency / R. Chillarege, R.K.Iyer // IEEE Transactions on Computers. 1989. -vol. 38, №6, pp. 869-874.

72. Choi, G.S. FOCUS: An experimental environment for fault sensitivity analysis / G.S. Choi, R.K. Iyer// IEEE Transactions on Computers. — 1992. -vol. 41, № 12, pp. 1515-1526.

73. Courtois, B. Some results about the efficiency of simple mechanisms for the detection of microcomputer malfunctions / B. Courtois // Fault-Tolerant Computing: Proceedings, The 9th International Symposium, IEEE. — 1979-pp. 71-74.

74. Cox, G.W. Reliability modeling and analysis of fault- tolerant memories / 4 G.W. Cox, B.D.Carroll // IEEE Transactions on Reliability. 1978.vol. R-27, № l,pp. 49-54.

75. Czeck, E.W. Effects of transient gate-level faults on program behavior / E.W. Czeck, D.P. Siewiorek // Fault-Tolerant Computing: Proceedings, The 20th International Symposium, IEEE. 1990. - pp. 236-243.

76. Danilenko, I.N. Informational Foundation of the Reaching Agreement in Distributed Computing Systems / I.N. Danilenko, E.A. Dmitrieva,

77. G.P. Tsapko // KORUS: Abstracts of The 4th Russian-Korean International Symposium on Science and Technology. Ulsan, 2000.

78. Danilenko, I.N. Object-Oriented Approach in E-Net Simulation / I.N. Danilenko, P.V. Grishmanovsky, G.P. Tsapko // KORUS: Proceedings of The Third Russian-Korean International Symposium on Science and Technology. Novosibirsk, 1999, - pp.227-230.

79. Davies, D. Synchronization and matching in redundant systems / D. Davies, J.F. Wakerly // IEEE Transactions on Computers. 1978. - vol. C-27, № 6, pp. 531-539.

80. Decouty, B. An evaluation tool of fault detection mechanisms efficiency / B. Decouty, G. Michel, C. Wagner // Fault-Tolerant Computing: Proceedings, The 10th International Symposium, IEEE. — 1980. -pp. 225-227.

81. Dunkel, J. On the modeling of workload dependent memory faults / J. Dunkel // Fault-Tolerant Computing: Proceedings, The 20th International Symposium, IEEE. 1990. - pp. 348-355.

82. Geelhoed, M.B. SOPHO S2500, the high-range communication switch / M.B. Geelhoed, M.J. Jordaan // Philips Telecommunication Review. — 1985. -vol. 43, №2,pp. 92-113.

83. Goswami, K.K. DEPEND: A design environment for prediction and evaluation of system dependability / K.K. Goswami, R.K. Iyer // Proceedings of the 9th Digital Avionics Systems Conference, IEEE. 1990. - pp. 87-92.

84. Heising, W.P. Note on random addressing techniques / W.P. Heising // IBM Systems Journal. 1963. - vol. 2, pp. 112-116.

85. Hennessy, J.L. Computer Architecture, A Quantitative Approach. / J.L. Hennessy, D.A. Patterson. — San Mateo, CA: Morgan Kaufmann, — 1990.

86. Hummel, R.A. Automated fault injection for digital systems / R.A. Hummel // Proceedings of the 1988 Annual Reliability and Maintainability Symposium, IEEE. 1988. - pp. 112-117.

87. Iyer, R.K. A measurement-based model for workload dependence of CPU errors / R.K. Iyer, D.J. Rossetti, // IEEE Transactions on Computers. — 1986. -vol. C-35, № 6, pp. 511-519.

88. Jewett, D. Integrity S2: A fault-tolerant Unix platform/ D. Jewett // Fault-Tolerant Computing: Proceedings of the 21st International Symposium,IEEE.- 1991.-pp. 512-519.

89. Kanawati, G.A. FERRARI: A tool for the validation of system dependability properties / G.A. Kanawati, N.A. Kanawati, J.A. Abraham, // Fault-Tolerant Computing: Proceedings of the 22nd International Symposium, IEEE. — 1992.-pp. 336-344.

90. Kobayashi,M. The stack growth function: Cache line reference models/ M. Kobayashi, M.H. MacDougall // IEEE Transactions on Computers. — 1989. vol. 38, № 6, pp. 798-805.

91. Koo, D.Y. Choosing a practical MTTF model for ECC memory chip / D.Y. Koo, H.B. Chenowith // Proceedings of the 1984 Annual Reliability and Maintainability Symposium, IEEE. — 1984. pp. 255-261.

92. Krol, T. The (4,2)-concept fault tolerant computer / T. Krol // Fault-Tolerant Computing: Proceedings of the 12th International Symposium, IEEE. — 1982.-pp. 49-54.

93. Lee, I. Error/failure analysis using event logs from fault tolerant systems / I. Lee, R.K. Iyer, D. Tang // Fault-Tolerant Computing: Proceedings of the 21 st International Symposium, IEEE. — 1991. — pp. 10-17.

94. Marston, D. Memory System Reliability with ECC. Intel Corporation, Application Note AP-73 / D. Marston. 1980.

95. McConnel, S.R. Synchronization and voting/ S.R McConnel, D.P. Siewiorek // IEEE Transactions on Computers. — 1981. — vol. С-ЗО, №2, pp. 161-164.

96. McGough, J.G. New results in fault latency modelling/ J.G. McGough,

97. F.L. Swern, and S. Bavuso // Proceedings of the 16th Annual Electronics and Aerospace Conference and Exposition, IEEE. 1983 - pp. 299-306.

98. Meyer, J.F. Influence of workload on error recovery in random access memories / J.F. Meyer, L. Wei // IEEE Transactions on Computers. 1988. -vol. 37, №4, pp. 500-507.

99. Miremadi, G. Two software techniques for on-line error detection/

100. G. Miremadi, J. Karlsson, U. Gunneflo, J. Torin // Fault-Tolerant Computing: Proceedings of the 22nd International Symposium, IEEE. -1992.-pp. 328-335.

101. Ohlsson, J. A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdog / J. Ohlsson, M. Rimen, U. Gunneflo // Fault-Tolerant Computing: Proceedings of the 22nd International Symposium, IEEE. 1992. - pp. 316-325.

102. Sahner,R.A. Reliability modeling using SHARPE/ R.A. Sahner, K.S. Trivedi // IEEE Transactions on Reliability. 1987. - vol. R-36, № 2, pp. 186-193.

103. Segall, Z. FIAT Fault injection based automated testing environment/ Z. Segall // Fault-Tolerant Computing: Proceedings of the 18th International Symposium, IEEE. - 1988. - pp. 102-107.

104. Shin,K.G. Measurement and application of fault latency/ K.G. Shin, Y.-H. Lee // IEEE Transactions on Computers. 1986. - vol. C-35, № 4, pp. 370-375.

105. Sieh, V. VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions / V. Sieh, O. Tschche, F. Balbach // Fault-Tolerant Computing: Proceedings of the 27 International Symposium, IEEE. -Seattle, 1997.-pp.32-3 6.

106. Siewiorek, D.P. Fault tolerance in commercial computers / D.P. Siewiorek // IEEE Computer. 1990. - vol. 23, № 7, pp. 26-37.

107. Smith, A.J. Cache evaluation and the impact of workload choice / A.J. Smith // Computer Architecture: Proceedings of the 12th Annual International Symposium, ACM. 1985. - pp. 64-73.

108. Soft Error in Electronic Memory White Paper / http://www.tezzaron.com/about/papers/SoftErrors 11 secure.pdf/Tezzaron Semiconductor Version 1.1, January 5th, 2004

109. Swern, F.L. The effects of latent faults on highly reliable computer systems / F.L. Swern, S.J. Bavuso, A.L. Martensen, P.S. Miner // IEEE Transactions on Computers. 1987. - vol. C-36, № 8, pp. 1000-1005.

110. Tang, D. Dependability measurement and modeling of a multicomputer system / D. Tang, R.K. Iyer // IEEE Transactions on Computers. — 1993. -vol. 42, № l,pp. 62-75.

111. Tang, D. Failure analysis and modeling of a VAX cluster system / D. Tang, R.K. Iyer, S.S. Subramani // Fault-Tolerant Computing: Proceedings of the 20th International Symposium, IEEE. 1990. - pp. 244-251.

112. Thiebaut, D.F. Synthetic traces for trace-driven simulation of cache memories / D.F. Thiebaut, J.L. Wolf, H.S. Stone // IEEE Transactions on Computers. 1992. - vol. 41, № 4, pp. 388-410.

113. Toy, W.N. Fault-tolerant design of local ESS processors/ W.N. Toy // Proceedings of the IEEE. 1978. - vol. 66, № 10, pp. 1126-1145.

114. Webber, S. The Stratus architecture / S. Webber, J. Beirne // Fault-Tolerant Computing: Proceedings of the 21 st International Symposium, IEEE. 1991. -pp. 79-85.