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

• Алимханов, Ахмет Минирович
• кандидат технических наук
• 2003

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

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

1.1. Обеспечение отказоустойчивости и доступности ресурсов программно-информационных технологий l.i.i Адекватность программно-информационных технологий условиям и требованиям работоспособности

1.1.2. Обеспечение доступности ресурсов программнно-информационных технологий

1.1.3. Анализ реализации корпоративного портала

1.2. Обеспечение гарантированной готовности программно-информационных технологий

1.2.1. Аппаратно-программная избыточность серверов

1.2.2. Платформа сервера гарантированной готовности п

1.2.3. Программно-информационная технология ATM обеспечения гарантированной готовности зз

1.3. Анализ задач управления корпоративными программноинформационными технологиями

1.3.1. Модель централизованного управления

1.3.2. Интеграция сетевого и системного администрирования в корпоративных структурах •

1.3.3. Программно-информационные технологии сетевого администрирования

1.3.4. Программно-информационные технологии системного администрирования

1.3.5. Возможности современных ПИТ для управления ИТ-услугами в корпорации

Выводы по разделу

2. Мультиверсионное формирование программноинформационных технологий с гарантированной доступностью ресурсов

2.1. Особенности проектной парадигмы мультиверсионного программирования

2.2. Формализация задачи мультиверсионного формирования ПИТ с гарантированной доступностью ресурсов

2.3. Оптимизация использования ресурсов при формировании ПИТ

2.3.1. Формирование вектора временной развертки

2.3.2. Формирование оптимального вектора конфигурации при стоимостных ограничениях

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

2.4.1. Общий алгоритм решения задачи и его параметры

2.4.2. Алгоритм проверки вектора конфигурации на ресурсные и временные ограничения

2.4.2.1. Матрица связности одноуровневой структуры мультиверсионных компонент

2.4.2.2. Формирование вектора следования и вектора путей

2.4.2.3. Формирование ресурсного вектора временной развертки 99 Выводы по разделу 2 ioi

3. Формирование программно-информационных технологий для корпоративных структур «ФОСАГРО» юз

3.1. Процедуры формирование ПИТ «ФОСАГРО»

3.1.1. Обеспечение функциональности

3.1.2. Обеспечение надежности и масштабируемости

3.1.3. Формирование ресурсных требований

3.1.4. Формирование топологии корпоративного кластера

3.1.5. Выбор серверов дисковых подсистем и соединений 1 ю

3.1.6. Корпоративная операционная система

3.1.7. RMS-программное обеспечение кластера

3.1.8. Средства централизованного архивирования и резервирования

3.1.9. Принципы корпоративной системы

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

3.2.1. Конструктор структуры мультиверсионных компонент

3.2.2. Объектная модель

3.2.3. Функциональные возможности системы

3.2.3.1. Создание и редактирование базы ресурсов

3.2.3.2. Создание и редактирование структурной модели компонент

3.2.2.3. Модуль оптимизации версионного состава

3.2.2.4. Описание оконного интерфейса программной системы

3.3. Использование программной системы поддержки для повышения доступности ресурсов корпоративной СУБД

3.3.1. Процедуры настройки и оптимизации СУБД ORACLE

3.3.2. Оптимизация быстродействия СУБД ORACLE, обеспечивающего гарантированную доступность ресурсов

3.3.3. Программная подсистема оптимизации быстродействия СУБД 144 Выводы по разделу

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

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

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

Проблеме формирования программных комплексов, проектируемых на основе принципов программной избыточности, в настоящее время уделяется значительное внимание. Проблематика проектирования программных комплексов с использованием методологии мультиверсионного программирования рассматривалась в работах А.Авижиениса, Н.Ашрафи, О.Бермана, М.Катлер, Дж.Ву, К.Яо, Р.К.Скотта, Д.МакАллистера, К.Е.Гросспитча и многих других. Разрабатываются новые методы оптимизации версионного состава программного комплекса, новые системы формирования структуры программного комплекса, но до сих пор не достаточное внимание уделяется созданию методов и систем формирования структуры мультиверсионного программного комплекса с учетом временных и ресурсных ограничений.

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

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

Поставленная цель достигается путем решения следующих задач: анализ современных методов обеспечения отказоустойчивости и доступности ресурсов программно-информационных технологий для корпоративных структур; исследование адекватности программно-информационных технологий условиям и требованиям работоспособности и анализ реальных возможностей современных программно-информационных технологий для управления ИТ-услугами в корпорации; формальное описание постановок оптимизационных задач мультиверсионного формирования программноинформационных технологий с гарантированной доступностью ресурсов; алгоритмизация процедур решения мультиверсионных моделей формирования программно-информационных технологий в интерактивном режиме; программная реализация и внедрение разработанной системы компьютерной поддержки в практику инженерного проектирования программно-информационных технологий для корпоративных структур «ФОСАГРО».

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

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

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

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

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

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

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

Реализация результатов работы. Под руководством и при непосредственном участии автора диссертации выполнены хоздоговорные НИР, в ходе которых разработаны и переданы в составе программно-информационных комплексов компоненты системы компьютерной поддержки мультиверсионного формирования программно-информационных технологий для корпоративных структур «ФОСАГРО». Программное приложение «DBaseOPTIM», разработанное автором диссертации, применено при оптимизации быстродействия СУБД ORACLE, что существенно повлияло на надежностные характеристики используемой в корпоративной среде программной архитектуры СУБД.

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

Апробация работы. Основные положения и результаты работы прошли всестороннюю апробацию на всероссийских и международных конференциях, научных семинарах и научно-практических конференциях. В том числе, на международной конференции «Modelling & Simulation, MS'99-Spain» (Сантьяго де Компостела, Испания, 1999), международной конференции «Modelling & Simulation in Technical and Social Sciences, MS'2002-Spain» (Жерона, Испания, 2002), научной конференции с международным участием «Модели и методы оптимизации сложных структур» (Томск, 2001), заочной научно-практической internet-конференции «Модернизация системы профессионального образования на основе регулируемого эволюционирования» (Челябинск, 2002), 5-й Всероссийской научной конференции молодых ученых и аспирантов «Новые информационные технологии: разработка и аспекты применения» (Таганрог, 2002), научных семинарах кафедры Системного анализа и исследования операций Сибирского государственного аэрокосмического университета (2000-2002) и научных семинарах НИИ Систем управления, волновых процессов и технологий Минобразования РФ (2000-2002).

Публикации. По теме диссертации опубликовано 17 печатных работ [214,41,66-68], список которых приводится также и в конце автореферата.

1. ПРОБЛЕМА ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММНО

ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ДЛЯ КОРПОРАТИВНЫХ СТРУКТУР

Компьютерные системы корпораций хранят сегодня основную информацию о работе предприятий и фирм и их выход из строя способен остановить работу корпорации. Очевидно, что такие жизненно важные (ВСС -Business Critical Computing) системы должны обладать адекватным уровнем отказоустойчивости в рамках отведенных бюджетов. В программных приложениях, к которым предъявляются предельно высокие требования по надежности, должны применяться особые решения, обеспечивающие отказоустойчивость и коэффициент готовности не менее 99,999% (т.е. не более 5 минут простоев в год).

Отказоустойчивость программно-информационных технологий в рамках корпоративных структур обходится очень недешево, и существующие отказоустойчивые решения базируются либо на операционных системах собственной разработки, либо на одном из клонов Unix [33]. Поставщики аппаратных платформ обеспечивают высокую надежность, заставляя платить за избыточность аппаратных и программных средств. Еще больше возрастает эта плата, когда необходимо решать программными средствами не нашедшие своего аппаратурного решения проблемы, возникающие в ходе неизбежных упущений в процессе разработки. Всегда ли может помочь решение, при котором в отказоустойчивом сервере, обеспечивающем непрерывную готовность приложений, дублируется каждый аппаратный компонент, включая процессоры (например, сервер Stratus)?. Как быть с ошибками, возникшими в ходе неизбежных упущений? В данном разделе анализируется проблема повышения надежности программно-информационных технологий и рассматриваются современные аппаратно-программные решения, обеспечивающие требуемую отказоустойчивость и доступность ресурсов.

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

Основные результаты и выводы по материалам диссертационной работы можно представить в следующем виде:

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

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

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

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

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

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

7. Выполнена программная реализация и внедрение разработанной системы компьютерной поддержки в практику инженерного проектирования программно-информационных технологий для корпоративных структур «ФОСАГРО».

Заключение

Список литературы диссертационного исследования кандидат технических наук Алимханов, Ахмет Минирович, 2003 год

1. Движение А., Лапри Ж.-К. Гарантоспособные вычисления: от идей до реализации в проектах.- ТИИЭР. 1986, Т. 74, № 5.

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

3. Алимханов A.M. Методы управления развитием корпоративных информационных технологий// Вестник НИИ СУВПТ: Сб. научн. трудов/ Под общей ред. профессора Н.В. Василенко; Красноярск: НИИ СУВПТ.2002. Выпуск 8.-С. 111-115.

4. Алимханов A.M., Джиоева Н.Н., Савин С.В. Обзор современных методологий автоматизированного управления производством// Вестник НИИ СУВПТ/ Под общей ред. профессора Н.В. Василенко; Красноярск: НИИ СУВПТ.- 2003. Выпуск 12.- С. 111-120.

5. Алимханов A.M., Савин С.В. Модель развития структуры корпоративной информационной среды// Молодежь и наука третье тысячелетие: Сб. материалов межрегионального научного фестиваля/ Сост. В.В. Сувейзда; КРО НС «Интеграция». - Красноярск, 2002. С. 201-202.

6. Антамошкин А.Н., Ковалев И.В. Определение оптимальной структуры мультиверсионного программного обемпечения при ограничениях по времени и стоимости. Вестник САА. № 1, 2000. С.

7. Антамошкин А.Н. Оптимизация функционалов с булевыми переменными. Томск: Изд-во Том. ун-та, 1987. 104 с.

8. Антамошкин А.Н. Регулярная оптимизация псевдобулевых функций. Красноярск: Изд-во Краснояр. ун-та, 1989. 160 с.

9. Ашимов А. А., Мамиконов А.Г., Кульба В.В. Оптимальные модульные системы обработки данных.// Алма-Ата: Наука. 1981. 186 с.

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

11. Боэм Б., Браун Дж., Каспар X., Липов М., Мак-Леод Г., Мерит М. Характеристики качества программного обеспечения.// М.: Мир, 1981, 208с.

12. Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ.- М.: Радио и связь. 1985.- 512 с.

13. Вальков В.М., Никаноров Р.А. Вопросы стандартизации математического обеспечения АСУ ТП// Электронная промышленность.-1985.- Вып. 12.- С. 27-29.

14. Воеводин В.В. Математические модели и методы в параллельных процессах.- М.: Наука, 1986, 328 с.

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

16. Вопросы анализа и процедуры принятия решений.// М.: Мир,1976.

17. Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ./ Под ред. Е.К.Масловского.- М.: Мир, 1981, 392 с.

18. Гласс Р. Руководство по надежному программированию.- М.: Финансы и статистика, 1982.

19. Губанов В.А. и др. Введение в системный анализ// Под ред. JI. А. Петросяна.- Л.: ЛГУ, 1988, 232 с.

20. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов// Пер. с англ. М.: Мир, 1981. 366 с.

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

22. Дилон Б., Сингх И. Инженерные методы обеспечения надежности систем.- М.: Мир, 1984.- 318 с.

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

24. Калянов Г.Н. CASE-технологии: консалтинг в автоматизации бизнес-процессов.М.: Горячая линия- Телеком, 2000.

25. Калянов Г.Н. Современные CASE-технологии. М.: ИПУ, 2000.

26. Козленко JT. Проектирование информационных систем.- М.: КомпьютерПресс, № 9-11, 2001.

27. Коржов В. Адекватные системы. «Открытые системы». 2001, № 12.

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

29. Ковалев И.В. Система мультиверсионного формирования программного обеспечения управления космическими аппаратами. Диссертация на соискание ученой степени доктора технических наук. Красноярск: КГТУ, 1997, 228 с.

30. Ковалев И.В., Юнусов Р.В. Оценка надежности аппаратно-программного информационно-управляющего комплекса. САКС-2002: Тез. докл. Междунар. науч.-практ. конф. (6-7 дек. 2002, г. Красноярск)/ СибГАУ. Красноярск, 2002. С. 352-353.

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

32. Липаев В.В. Качество программного обеспечения.// М.: Финансы и статистика, 1983, 264 с.

33. Липаев В.В. Проектирование математического обеспечения АСУ.// М.: Советское радио, 1977, 400 с.

34. В.В.Липаев, Л.А. Серебровский и др. Технология проектирования комплексов программ АСУ// М.: Радио и связь, 1983, 264 с.

35. Липаев В.В. Тестирование программ// М.: Радио и связь, 1986, 234с.

36. Майерс Г. Надежность программного обеспечения: Пер. с англ./ Под ред. В.Ш.Кауфмана.- М.: Мир, 1980, 360 с.

37. Мамиконов А.Г., Кульба В.В., Косяченко С.А. Типизация разработки модульных систем обработки данных.// М.: Наука, 1989, 165 с.

38. Мамиконов А.Г., Кульба В.В. Синтез оптимальных модульных систем обработки данных.- М.: Наука, 1986.

39. Мамиконов А.Г. Проектирование АСУ.- М.: Высш. шк., 1987, 304 с.

40. Орлов С.А. Технологии разработки программного обеспечения.-СПб.: Питер, 2002.

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

42. Попов А. А. Диссертация на соискание ученой степени кандидата технических наук на тему «Оптимизационные методы формирования мультиверсионного программного обеспечения критичных по надежности систем управления», Красноярск, САА, 2002.

43. Раинкшкс К., Ушаков И.А. Оценка надежности систем с использованием графов.// М.: Радио и связь. 1988.

44. Сапегин А. Информационные технологии и средства анализа и проектирования корпоративных информационных систем. 1999.http://www.citforum.ru/seminars/cis99/sap.shtml

45. Саркисян А.А. Повышение качества программ на основе автоматизированных методов.- М.: Радио и связь. 1991, 160 с.

46. Системный анализ: Проектирование, оптимизация и приложения. В 2 т., под общ. Ред. Антамошкина А.Н.// Красноярск, САА, 1996, 206 с.

47. Толковый словарь по вычислительным системам/ Под ред. В. Иллигуорта и др.: Пер с англ.- М.: Машиностроение, 1991.- 560 с.

48. Фокс Дж. Программное обеспечение и его разработка: Пер. с англ./ Под ред. Д.Б.Подшивалова.- М.: Мир, 1985, 268 с.

49. Хетагуров Я.А., Древе Ю.Г. Проектирование информационно-вычислительных комплексов.- М.: Высш. шк., 1987, 280 с.

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

51. Чжу У.У., Лян Ц.К. Копирование и размещение программных модулей в системе распределенной обработки в реальном времени// ТИИЭР, 1987, Т. 75, N5, С. 23-44.

52. Юдин Д.Б., Горяшко А.П., Немировский А.С. Математические методы оптимизации устройств и алгоритмов АСУ. М.: Радио и связь, 1982, 288 с.

53. Юнусов Р.В. Анализ надежности аппаратно-программного информационно-управляющего комплекса// Вестник НИИ СУВПТ: Сб. научн. трудов/ Под общей ред. профессора Н.В. Василенко; Красноярск: НИИ СУВПТ.- 2003. Выпуск 11.- С. 103-106.

54. Alimhanov A. Postindustrial forms of informational technology integration// Proceedings of the International AMSE Conference MS'99 (Santiago de Compostela, Spain), 2000. Pp. 1.23-1.25.

55. Alimhanov A. and Popov A. Decision support systems for the software engineering// Proceedings of the 11 workshop of the working group

56. Entscheidungstheorie und -praxis", Education Centre Kloster Banz, 2001. Pp. 1214.

57. Alimhanov A. and Popov A. The Mathematical Statement for the Problem of N-Version Software Systems Design// Proceedings of the International MS'2002 Congress (Girona, Spain), 2002. Pp.3.12-3.15.

58. Avizienis A. and Chen L. On the implementation of N-version programming for software fault-tolerance during execution. In Proc. IEEE COMPSAC 77, pp. 149-155, November 1977.

59. Avizienis A. Fault tolerance and fault intolerance: complementary approaches to reliable computing. In Proc. 1975 International Conference on Reliable Software, pp. 458-464, April 1975.

60. Boehm, B.W. Software Risk Management / IEEE CS Press Tutorial,1989.

61. Hecht, H. Fault tolerant software / IEEE Trans. Reliability, Vol. R-28, 1989.-P. 227-232.

62. Johnson, D.M. The systems engineer and the software crisis / ACM SIGSOFT: Software Engineering Notes, Vol. 21, no. 2, March 1996. P. 64-73.

63. Knight, C.J. An experimental evaluation of the assumption of independence in Multiversion programming / C.J. Knight, N.G. Levenson. IEEE Trans. Software Engineering, Vol. SE-12, 1986. - P. 96-109.

64. 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.

65. 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.

66. Kovalev, I. Software engineering of spacecraft control technological cycles / In: "Modelling, Measurement and Control, B". Vol.56, №3. -AMSE PRESS, 1994.-P. 45-49.

67. Levendel, Y. Reliability analysis of large software systems: Defect data modeling / IEEE Trans. Software Engineering, 1990. Vol. 16. - P. 141-152.

68. Oracle University. "Enterprise DBA Part 1: Performance and Tuning", volume 1: Students Guide, Production 1.0.

69. Oracle University. "Enterprise DBA Part 2: Performance and Tuning", volume 2: Students Guide, Production 1.0.

70. Oracle Education. "Введение в Oracle: SQL и PL/SQL", Том 1: Руководство слушателя, Издание 1.1.

71. Oracle Education. "Введение в Oracle: SQL и PL/SQL", Том 2: Руководство слушателя, Издание 1.1.

72. Shrivastava K.S. (editor). Reliable Computing Systems: Collected Papers of the Newcastle Reliability Project. Springer; Wien, New York, 1985.

73. Silayeva ,T. K.-E. An Innovative Method for Program Reliability Evaluation / T. Silayeva, K.-E. Grosspietsch. Euromicro '95. Como (Italy), September 1995.

74. Silayeva, Т., Grosspietsch K.-E. Eine Methode zur Zuverlaessigkeits-abschaetzung fuer Software / T. Silayeva, K.-E. Grosspietsch. In: Workshop des DGLR-Fachausschusses Software Ingineering am 17. Mai 1995 in Neubiberg. UniBW Munich, 1995. - P. 51-59.

75. 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.