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

• Волков, Василий Анатольевич
• кандидат технических наук
• 2007

Оглавление диссертации кандидат технических наук Волков, Василий Анатольевич

ВВЕДЕНИЕ.

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

1.1. Специфика программного обеспечения информационно-управляющих систем.

1.2. Мультиверсонная методология формирования гарантоспособного программного обеспечения информационно-управляющих систем.

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

2.1. Проблемы формирования подсистем и структур информационно-управляющих систем.

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

2.2.1. Формирование оптимального состава модулей однофункциональной мультиверсионной программной системы.

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

2.2.3. Формирование оптимального состава модулей многофункциональной мультиверсионной программной системы.

2.2.4. Формирование оптимального состава модулей многофункциональной мультиверсионной программной системы с избыточностью.

3. ПОДДЕРЖКА ПРИНЯТИЯ РЕШЕНИЙ ПРИ ВЫБОРЕ СОСТАВА МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ.

3.1. Комбинированная процедура поддержки принятия решений по составу структурно-сложного программного обеспечения информационно-управляющих систем.

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

3.3. Многоатрибутивные методы выбора состава мультиверсионного

ПО информационно-управляющих систем.

3.3.1. Линейный метод назначения.

3.3.2. Метод простого суммарного взвешивания.

3.3.3. Метод ELECTRE.

3.3.4. Метод упорядоченного предпочтения через сходство с идеальным решением.

4. СИСТЕМА ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПРИ ФОРМИРОВАНИИ СТРУКТУРНО-СЛОЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МУЛЬТИВЕРСИОННЫХ

ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ.

4.1. Программная реализация системы поддержки принятия решений.

4.1.1. Интерфейс программной системы.

4.1.2. Концептуальная схема.

4.1.3. Логическая структура системы.

4.1.4. Описание функционирования системы.

4.1.5. Руководство системного программиста.

4.1.6. Руководство программиста.

4.1.7. Руководство оператора.

4.1.8. Примеры решения задач и анализ результатов.

4.2. Формирование структурно-сложного программного обеспечения в системе обработки информации космического комплекса связи ГОНЕЦ-М.

4.2.1. Общие проблемы формирования структуры АСУ летательными аппаратами.

4.2.2. Выбор лучшего варианта формирования структурно-сложного программного обеспечения космического комплекса связи ГОНЕЦ-М.

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

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

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

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

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

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

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

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

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

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

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

Поставленная цель достигается путем решения следующих задач:

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

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

• исследования многоатрибутивных методов принятия решений и анализа возможности их применения при выборе состава структурно-сложного мультиверсионного программного обеспечения;

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

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

Методы исследования. Основные теоретические и прикладные результаты работы получены на основе методологии системного анализа, теории надежности и мультиверсионного проектирования программного обеспечения. Кроме того, использовались методы оптимизации и многоатрибутивного принятия решений.

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

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

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

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

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

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

Реализация результатов работы. Диссертационная работа выполнялась по проектам межотраслевых программ Минобразования России и Минатома России по направлению «Научно-инновационное сотрудничество» (проект VII-12), а также в рамках тематического плана НИР СибГТУ и НИР НИИ СУВПТ (2005-2006 гг.), финансируемых из средств федерального бюджета.

Программные средства поддержки принятия решений при формировании структурно-сложного программного обеспечения мультиверсионных информационно-управляющих систем были использована при проектировании АСУ космическим комплексом связи на базе космических аппаратов «Гонец-М» в НПО «Прикладная механика» (г. Железногорск).

В диссертационной работе были разработаны три программные системы, предназначенные для формирования оптимального состава программного обеспечения мультиверсионных информационно-управляющих систем. Программные системы прошли экспертизу и зарегистрированы в Отраслевом фонде алгоритмов и программ (ОФАП), что делает их доступными широкому кругу специалистов в области системного анализа и разработки программного обеспечения информационноуправляющих систем. Перечень зарегистрированных программных разработок приведен в конце автореферата.

Материалы диссертационной работы введены в учебные курсы и используются при чтении лекций для студентов кафедры Автоматизации производственных процессов Сибирского государственного технологического университета по дисциплине «Автоматизированные системы управления», кафедры ЮНЕСКО Сибирского федерального университета по дисциплинам «Многоатрибутивное принятие решений при формировании мультиверсионных программных средств» и «Методы принятия решений в сложных системах». На защиту выносятся:

1. Алгоритм отсева по ограничениям принципиально нереализуемых вариантов формирования программного обеспечения информационно-управляющих систем.

2. Компенсационная многоатрибутивная модель общего ранжирования альтернатив с учетом взаимосвязи и зависимости атрибутов.

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

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

Апробация работы. Основные положения и результаты работы прошли всестороннюю апробацию на международных и всероссийских научных и научно-практических конференциях. В том числе, на V Всероссийской научно-практической конференции «Информационные технологии и математическое моделирование» (Томск, 2006), II научной конференции с международным участием «Приоритетные направления развития науки, технологий и техники» (Египет, Шарм-эль-Шейх, 2006), Международной научно-практической конференции «Фундаментальные и прикладные исследования высшей школы» (Сингапур, 2007), Восьмой Всероссийской научно-технической конференции «Теоретические и прикладные вопросы современных информационных технологий» (Улан-Удэ, 2007), VI Всероссийской научно-практической конференции «Инновационные недра Кузбасса. 1Т-технологии» (Кемерово, 2007).

Диссертационная работа в целом обсуждалась на научных семинарах Сибирский государственный технологический университет, Сибирского государственного аэрокосмического университета, а также НИИ Систем управления, волновых процессов и технологий (2005-2007 гг.).

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

Выводы

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

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

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

4. Разработанная система поддержки принятия решений по выбору состава структурно-сложного программного обеспечения мультиверсионных информационно-управляющих систем была использована при формировании ПО в системе обработки информации космического комплекса связи ГОНЕЦ-М.

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Волков, Василий Анатольевич, 2007 год

1. Алимханов, A.M. Компьютерная поддержка мультиверсионных методов формирования программного обеспечения в интегрированных корпоративных системах / Вестник НИИ СУВПТ. № 8. - Красноярск: НИИСУВПТ, 2003. - С. 116-119.

2. Алимханов, A.M. Современные стратегии оптимального развития информационных технологий в интегрированных корпоративных структурах / Вестник НИИ СУВПТ «Адаптивные системы моделирования и управления». 4.2. - Красноярск: НИИ СУВПТ, 2000. - С. 12-15.

3. Богатырев, В. А. Отказоустойчивые многомашинные вычислительные системы динамического распределения запросов придублировании функциональных ресурсов / Изв. вузов. Приборостроение. 1996.-№4.

4. Вальков, В.М. Автоматизированные системы управления технологическими процессами / В.М. Вальков, В.Е. Вершин. 3-е изд., перераб. и доп. - Л.: Политехника, 1991. - 269 с.

5. Вахрамеев К. Защита данных от катастроф / «Открытые системы» .-№ 3.-2000.-С. 8-16.

6. Волик, Б.Г. Методы анализа и синтеза структур управляющих систем / Под ред. Б.Г.Волика. М.: Энергоатомиздат, 1988. - 296 с.

7. Волков, В. А. Комбинированная архитектура отказоустойчивого программного обеспечения / Р. Ю. Царев, М. Ю. Царев, В. А. Волков // Современные наукоемкие технологии. 2007. - № 3. - С. 34.

8. Волков, В. А. Многоатрибутивный выбор компонент отказоустойчивого программного обеспечения / В. А. Волков // Вестник университетского комплекса: Сб. научн. трудов. Вып. 8 (22). - Красноярск: ВСФ РГУИТП, НИИ СУВПТ, 2006. - С. 208-211.

9. Волков, В. А. Мультиверсионное программное обеспечение в системах управления и обработки информации / В. А. Волков, М. Ю. Царев // Современные наукоемкие технологии. 2006. - № 8. - С. 36.

10. Волков, В. А. Проблема выбора версий модулей мультиверсионного программного обеспечения / В.А. Волков // Вестник университетского комплекса: сб. научн. тр. Вып. 9 (23). - Красноярск: ВСФ РГУИТП, НИИ СУВПТ, 2007. - С. 68-72.

11. Волков, В. А. Система моделирования мультиверсионного программного обеспечения / Р. Ю. Царев, М. Ю. Царев, В. А. Морозов, В. А. Волков // Инновации в науке и образовании. 2006. - №11 (22). - С. 27.

12. Волков, В. А. Технологии программирования СОМ и СОМ+ для распределенных компьютерных систем / А. А. Чикизов, В. А. Волков //

13. Вестник университетского комплекса: сб. научн. тр. Вып. 9 (23). -Красноярск: ВСФ РГУИТП, НИИ СУВПТ, 2007. - С. 51-55.

14. Гир Дж. ван. Прикладная общая теория систем. М.: Мир, 1981.

15. Давыденко, О.В. Оценка надежности программного обеспечения бортового комплекса управления / О.В. Давыденко, И.В. Ковалев. Вестник КГТУ: Сб.научн.трудов; под ред. Б.П.Соустина. - Вып.5. - Красноярск, 1996.-С. 119-121.

16. Давыдов, И.Н. Технология надежностного программирования задач автоматизации управления в технических системах / И.Н. Давыдов, A.C. Привалов, А.А Ступина; Красноярск: НИИ СУВПТ, 2000. 207 с.

17. Ежеманская, С.Н. Надежность модульных структур N-вариантных программных систем / С.Н. Ежеманская. Вестник университетского комплекса: Сб. науч. трудов. Вып. 4(18). Красноярск: ВСФ РГУИТП, НИИ СУВПТ, 2005. С. 169-174.

18. Задорожный, В. Надежная система из ненадежных элементов / В. Задорожный, И. Малиновская; «Открытые системы» . № 12. - 2000. - С. 1519.

19. Калинин В.Н., Резников Б.А. Теория систем и управление: (Структурно-математический подход). Л.: ВИКИ им. А.Ф. Можайского, 1979. 319 с.

20. Каста Дж. Большие системы: связность, сложность катастрофы. М.: Мир, 1982.

21. Клир Дж. Системология: Автоматизация решения системных задач. М.: Радио и связь, 1990.

22. Ковалев, И.В. Оптимальное проектирование мультиверсионных систем управления / И.В. Ковалев, A.A. Попов, A.C. Привалов. Доклады НТК с международным участием «Информационные технологии в инновационных проектах» . - Ижевск: ИжГТУ, 2000. - С. 24-29.

23. Ковалев, И. В. Параллельные процессы в информационно-управляющих системах. Формирование и оптимизация: монография / И. В. Ковалев, Р. Ю. Царев, Ю. Г. Шиповалов. Красноярск: НИИ СУВПТ, 2001. -143 с.

24. Кравец В.Г., Любинский В.Е. Основы управления космическими полетами. М.: Машиностроение, 1983. 224 с.

25. Лебедев, В.А. Параллельные процессы обработки информации в управляющих системах: Монография / В.А. Лебедев, H.H. Трохов, Р.Ю. Царев. Красноярск: НИИ СУВПТ, 2001.- 137 с.

26. Липаев, В.В. О проблемах оценивания качества программных средств / Информационные технологии. № 4. - 2002. - С. 19-23.

27. Малышев В.В., Красильщиков М.Н., Карлов В.И. Оптимизация наблюдения и управления летательных аппаратов. М.: Машиностроение, 1989.

28. Михалевич, B.C. Вычислительные методы исследования и проектирования сложных систем / B.C. Михалевич, В.Л. Волкович. Наука, 1982. 286 с.

29. Морозов, В.А. Голосование согласованным большинством в мультиверсионном ПО / В. А. Морозов // Вестник ТГУ. 2007. - № 1. - С. 136-137.

30. Морозов, В. А. Модификация алгоритма голосования NVP-CV для одного вида матриц согласования / В. А. Морозов // Вестник СибГАУ. -2007.-№ 1.-С. 81-87.

31. Орлов, С.А. Технологии разработки программного обеспечения: разработка сложных программных средств / СПб.: Питер, 2002. 464 с.

32. Поздняков, Д. А. Архитектуры программных систем с применением мультиверсионной методологии / Д.А. Поздняков; Вестник университетского комплекса. Вып. 6(20). - Красноярск: НИИ СУВПТ, ВСФ РГУИТП, 2005.-С. 111-118.

33. Поздняков, Д.А. Обеспечение независимости модулей мультиверсионного программного обеспечения на стадии исполнения / Д.А. Поздняков, М.Ю. Слободин; Вестник университетского комплекса. Вып. 6(20). - Красноярск: НИИ СУВПТ, ВСФ РГУИТП, 2005. - С. 185-196.

34. Поздняков, Д.А. Разработка и исследование среды мультиверсионного исполнения программных модулей / Д.А. Поздняков, И.С. Титовский, Р.В. Юнусов; Вестник НИИ СУВПТ. Вып. 13. -Красноярск: НИИ СУВПТ, 2003. - С. 155-170.

35. Попов, A.A. Бинарная модель отказоустойчивой системы программного обеспечения: Доклады НТК с международным участием «Информационные технологии в инновационных проектах» / A.A. Попов, A.C. Привалов. Ижевск: ИжГТУ, 2000. - С. 77-83.

36. Русаков, М. А. Современные методы надежностной оценки сложных программных систем: монография / М. А. Русаков, Р. Ю. Царев, С. А. Шаболин. СПб: Инфо-Да, 2005. - 203 с.

37. Слободин, М.Ю. Модели поддержки многоэтапного анализа надежности программного обеспечения автоматизированных систем управления / И.В. Ковалев, Р.Ю. Царев, М.А. Русаков, М.Ю. Слободин. Проблемы машиностроения и автоматизации, 2005, №2, С. 30-35.

38. Соколов Б.В. Комплексное планирование операций и управление структурами в АСУ активными подвижными объектами. M.: МОСССР, 1992.

39. Титовский, И.С. Краткий обзор методов повышения качества программных средств систем управления / Д.А. Поздняков, И.С. Титовский; Вестник НИИ СУВПТ. Вып. 12. - Красноярск: НИИ СУВПТ, 2003. - С. 5760.

40. Ханцифиров Ф.Р., Остроухов В.В. Моделирование космических систем изучения природных ресурсов Земли. М.: Машиностроение, 1989.

41. Царев, Р. Ю. Методология оценки и повышения надежности программно-информационных технологий и структур: Монография / И. В. Ковалев, Т. И. Семенько, Р. Ю. Царев. Красноярск: ИПЦ КГТУ, 2005. 160 с.

42. Царев, Р. Ю. Компьютерная поддержка многоатрибутивных методов выбора и принятия решения при проектировании корпоративных информационно-управляющих систем: монография / Р. Ю. Царев, М. Ю. Слободин. СПб: Инфо-Да, 2004. - 221 с.

43. Царев, Р. Ю. Многоатрибутивное принятие решений в мультиверсионном проектировании: монография / Р. Ю. Царев. -Красноярск: ИПЦ КГТУ, 2005. 156 с.

44. Царев, Р. Ю. Параллельные процессы обработки информации в управляющих системах: монография / В. А. Лебедев, Н. Н. Трохов, Р. Ю. Царев. Красноярск: НИИ СУВПТ, 2001. - 137 с.

45. Царев, Р. Ю. Программно-аппаратное обеспечение отказо- и катастрофоустойчивых систем управления и обработки информации: монография / А. В. Аниконов, М. Ю. Слободин, Р. Ю. Царев. М.: Макс-пресс, 2006.-244 с.

46. Царев, Р. Ю. Программно-информационные технологии формирования критичных по надежности систем управления: монография / О. И. Антамошкина, Р. Ю. Царев, С. А. Шабалин. СПб: Инфо-Да, 2005. -175 с.

47. Черняк, Л. Архитектура систем по Захману / «Открытые системы» . № 12. - 2001. - С. 28-29.

48. Энгель, Е. А. Распределенные информационно-управляющие системы: кластерная архитектура и мультиверсионное программное обеспечение: монография / Е. А. Энгель, В. А. Морозов, Р. Ю. Царев. -Красноярск: ИПЦ КГТУ, 2006. 160 с.

49. Юсупов P.M., Заболотский В.П. Научно-методические основы информатизации. СПб.: Наука, 2000.

50. Avizienis, A. Dependable Computing Depends on Structured Fault Tolerance, Proceedings of the 1995 6th International Symposium on Software Reliability Engineering, Toulouse, France, 1995, Pp. 158-168.

51. Avizienis, A. The N-Version approach to fault-tolerant software / IEEE Trans, on Software Engineering. Vol. SE11, № 12, December, 1985. P. 1491-1501.

52. Avizienis, A. Toward Systematic Design of Fault-Tolerant Systems, Computer, April 1977, Pp. 51-58.

53. Avizienis, Algirdas. The Methodology of N-Version Programming, in R. Lyu, ed itor, Software Fault Tolerance, John Wiley & Sons, 1995.

54. Boehm, B.W. Software Risk Management / IEEE CS Press Tutorial,1991.

55. Dhiraj K. Pradhan, Fault-Tolerant Computer System Design, Prentice-Hall, Inc., 1996.

56. Highsmith, J.A. Adaptive Software Development: A Collaborative Approach to Managing Complex Systems / Dorset House Publishing, 2000. 3921. P

57. Hwang, C.-L. A new approach for multiple objective decision making / C.-L. Hwang, Y.-J. Lai, T.-Y Liu.

58. Kovalev, I. Optimal Time Cyclograms of Spacecrafts Control Systems /1. Kovalev, O. Davydenko In: "Advances in Modeling and Analysis, C", Vol.48, №2-3, 1996, AMSE PRESS.-P. 19-23.

59. Kovalev, I. Optimization Reliability Model for Telecommunications Software Systems / I. Kovalev , A. Privalov, Ju. Shipovalov. In: Modelling, Measurement and Control. - AMSE Periodicals, Vol.4-5, 2000. - P. 47-52.

60. Kovalev, I. System of Multi-Version Development of Spacecrafts Control Software / Pro Universitate Verlag. Sinzheim, 2001. 77 p.

61. Oral, M. Modelling the process of multiattribute choice / M. Oral, O. Kettani. Res. Soc. 40,1989. P. 281-291.

62. Semenko, T. I. N-version Software Systems Design /1. M. Golubev, R. Ju. Tsarev, T. I. Semenko. The eleventh International Scientific and Practical Conference «Modern Techniques and Technologies», Tomsk, Tomsk Politechnic University, 2005. Pp. 147-149.

63. Sommerville, I. Software Engineering / 6th ed. Addison-Wesley, 2001.- 713 p.

64. Zahedi, F. Software reliability allocation based on structure, utility, price, and cost / F. Zahedi, N. Ashrafi. IEEE Trans, on Software Engineering, April 1991. Vol. 17, No. 4. Pp. 345-356.