ЗАКЛЮЧЕНИЕ. В книге изложены материалы лекционного курса, посвященного методам, инструментальным средствам (технологиям) и информационным технологиям построения

В книге изложены материалы лекционного курса, посвященного методам, инструментальным средствам (технологиям) и информационным технологиям построения современных систем высокой готовности (НАS&T), вычислительным ядром которых, являются отказоустойчивые компьютерные системы. Лекционный материал составлен в соответствии с программой учебной дисциплины «Системы и технологии высокой готовности» (High availability systems and technologies), подготовленной для докторов философии (кандидатов наук) в рамках проекта TEMPUS-SAFEGUARDE. Проект финансируется Европейским Союзом по программе TEMPUS-JPCR(2009-4697/001-001) « MSc and PhD Studies in Aerospace Critical Computing». При подготовке курса учтен опыт чтения отдельных разделов в университетах Украины и других европейских стран, прежде всего, партнеров по проекту, современное состояние научных исследований, а также опыт моделирования и оценки готовности отказоустойчивых компьютерных систем.

Основное внимание было уделено следующим вопросам.

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

Проведен анализ современного рынка СВГ и выделено два организационно-технических подхода к построению систем, обеспечивающих высокие требования к готовности.

Первый – применение серверов с высоким уровнем аппаратной и программной избыточности (технология fault tolerant (ft)-servers). Второй – на основе применения вычислительных кластеров, где под кластером понимается многомашинная система, обеспечивающая единый механизм управления и администрирования выполнения задач.

Большое внимание уделяется рассмотрению математических методов оценки готовности СВГ, вычислительным ядром которых, являются отказоустойчивые компьютерные системы. Изложены методы моделирования СВГ с учетом интенсивностей потоков отказов и восстановлений программных и аппаратных средств. Представлены методы, позволяющие оценить готовность систем в условиях обновления их программных средств. Приведены информационные технологии, позволящие оценивать готовность таких систем в условиях изменения надежности их программных средств, а также их обновления. Достаточно подробно описаны модели и методы оценивания надежности и живучести распределенных НАS&T и информационная технология, реализующая эти методы.

ЛИТЕРАТУРА

1. Б. П. Пальчун , Р. М. Юсупов. Оценка надежности программного обеспечения. – СПб.: Наука, 1994. – 84 с.

2. J. D. Musa. Software Reliability. Measurement. Prediction. Application. – McGraw-Hill Company, 1987.– 395 p.

3. Ю. Л. Поночовный, Е. Б. Одарущенко. Моделирование надежности обновляемых программных средств нерезервированных информационно-управляющих систем постоянной готовности // Радіоелектронні і комп’ютерні системи. – 2004. – № 4(8). – С.93-97.

4. О. Н. Одарущенко. Многофрагментные марковские модели и их использование для оценки надежности обслуживаемых программно-технических комплексов // Сб. науч. труд. НАН Украины. ПАНУ. – 1997. – Вып.1(5). – С.102-105.

5. Р. И. Полонников, А. В. Никандров. Методы оценки показателей надежности программного обеспечения. – СПб.: Политехника, 1992. – 78 с.

6. О. Н. Одарущенко, Ю. Л. Поночовный, Е. Б Одарущенко.. Терминологические аспекты теории надежности программных средств // Радіоелектронні та комп’ютерні системи. – 2004. – № 2(6). – С.88-94.

7. Программные средства ЕВМ. Показатели и методы оценки качества: ДСТУ 2850-94 (ISO/IEC 9126-91 Е) – [Введ. от 1994 – 01 – 01]. – К., 1994. – 33 с. (Госстандарт Украины).

8. Проектна оцінка надійності складних систем з урахуванням технічного і програмного забезпечення та оперативного персоналу: ДСТУ 3524-97 – [Чинний від 1998–01–01]. – К., 1997.– 20 с. (Держстандарт України).

9. А. А. Рыжкин, Б. Н. Слюсарь, К. Г. Шучев. Основы теории надежности: Учеб. пособ. – Ростов н/Д: Издательский центр ДГТУ, 2002. – 182 с.

10. M.R. Lyu. Handbook of Software Reliability Engineering. – Washington: McGraw-Hill Company, 1996. – 805 p.

11. J. Gray. Why do computers stop and what can be done about it // Reliability in Distributed Software and Database Systems. – 1986. – Vol.1, №4. – P.3-12.

12. Y. Liu, H. Levendel, K. S. Trivedi. Modeling and Analysis of Software Rejuvenation in Cable Modem Termination System // ISSRE. – 2002. – Vol.12, №17. – Р.159-170.

13. Military handbook. Electronic reliability design handbook: MIL-HDBK-338B. – Washington: DoD, 1998. – 1046 p.

14. М. Х. Гончарок. Информационная безопасность в телефонных сетях общего пользования // Защита информации. Конфидент. – 2003. – №5. – С.14-19.

15. Ю. Л. Поночовный. Определение параметров закона распределения времени между отказами восстанавливаемых обслуживаемых многопользовательских систем с учетом дефектов взаимодействия // Системи обробки інформації. – Харків: Харківський військовий університет, 2004. – Вип.10(38). – С.166-174.

16. Л. И. Волков. Управление эксплуатацией летательных комплексов: Учеб. пособ. – М.: Высш. Школа, 1981. – 368 с.

17. J. Gray, D. P. Siewiorek. High-Availability Computer Systems // IEEE Computer. – 1991. – Vol.9, №7. – P.39-48.

18. В.С. Харченко, Ф.А. Асидех. Методы повышения отказоустойчивости бизнес-критических компьютерных систем с использованием многоверсионных STRATUS-технологий // Открытые информационные и компьютерные интегрированные технологии. -Харьков: НАКУ «ХАИ», 2003.–№19. – С.45-54.

19. Д. А. Менаске , А. Ф. Виргилио. Производительность Web-служб. Анализ, оценка и планирование: Пер. с англ. – СПб.: ООО «ДиаСофтЮП», 2003. – 480 с.

20. О.Б. Арушанян, С.Ф. Залеткин. Численное решение обыкновенных дифференциальных уравнений на Фортране. – М.: Изд.МГУ, 1990 – 336 с.

21. B.C. Харченко, Г.М. Тимонькін, В.О. Сичов, І.В. Лисенко. Теорія надійності та живучості елементів і систем літальних комплексів. – Харків: МО України, Харківський військовий університет, 1999. - 403с.

22. Terms and definitions related to quality of service and network performance including dependability. ITU-T Recommendation E.800 – Geneva, 1994. – 65 р.

23. Ю. Л. Поночовный. Метод комплексной оценки надежности распределенных информационно-управляющих систем с учетом различных видов неисправностей // Системи обробки інформації. – Харків: Харківський військовий університет, 2005. – Вип.8(48). – С.110-114.

24. О. Н. Одарущенко, Е. Б. Одарущенко, Ю. Л. Поночовный. Применение численных методов для решения жестких систем линейных дифференциальных уравнений в задачах оценки надежности обслуживаемых систем // Авиационно-космическая техника и технология. – Харьков: Национальный аэрокосмический университет „ХАИ”, 2002. – Вып.35. – С.187-191.

25. Analysis and Implementation of Software Rejuvenation in Cluster Systems / K. Vaidyanathan, R. E. Harper, S. W. Hunter and K. S. Trivedi // ACM SIGMETRICS Performance Evaluation Review. – 2001. – Vol.29, №1. – P. 62-71.

26. A. Avizienis, J.-C. Laprie, B. Randell and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing // IEEE Transactions on dependable and secure computing. – 2004.– Vol.1, №1. – Р.11-33.

27. В. С. Харченко, И. В. Пискачева, В. В. Скляр. Метрики диверсности программных средств: Классификация, анализ и применение для оценки надежности и безопасности компьютерных систем управления // Открытые информационные и компьютерные интегрированные технологии. – Харьков: Национальный аэрокосмический университет «ХАИ»,2001. – Вып. 9. –
С.194-214.

28. Руководство оператора. Система «Ф-1500» цифровая коммутационная: ААЛХ.00001 – 01 34 01 – [Введ. от 1997 – 04 – 01]. – Одесса, 1997 – 216 с. (АОЗТ „ФАРЛЕП”).

ЛИТЕРАТУРА