Харченко B.C., Боярчук A.B., Куланов С.А., Локазюк В.Н., Одарушенко О.Н., Поморова О.В., Фурманов A.A.

Под ред. Харченко B.C.

Министерство образования и науки Украины, Национальный аэрокосмический университет им. H.H. Жуковского «ХАИ», 2008. - 336 с.

ISSN/ISBN/UDC:  Информация автором не предоставлена

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

Лекционный курс соответствует программе дисциплины «Моделирование гарантоспособных систем и сетей» (Modeling of Dependable Systems and Networks), подготовленной для докторов философии (кандидатов наук) в рамках проекта TEMPUS-MASTAC. Этот проект, финансируемый Европейским Союзом по программе TEMPUS (JEP 26008 2005) «MSc and PhD Studies in Aerospace Critical Computing», посвящен разработке и внедрению учебных курсов для подготовки магистров и докторов философии (кандидатов наук) по направлению аэрокосмического критического компьютинга.

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

Библ.   157 наименований, рисунков   145, таблиц  27

--En--

Theoretical part of a lecture course devoted to methods and techniques of modeling of dependable computer systems, networks and Web-services are expounded in a book. Methods of modeling of computer systems arc considered taking into account software and hardware failure and recovery rates (FRR). Technique of computer systems modeling is proposed granting software FRR variation. It's described GRID-technology of distributed computing in networks and methods of GRID-systems and fault-tolerance means modeling, in particular, methods of requests stream parameters forecasting, recourses broker behavior, etc. Models of service-oriented architecture (SOA) dependability are developed and researched taking into consideration SOA component vulnerabilities and networks attacks parameters. Technique of dependable Web-services Markov-modeling is suggested. Methods and technologies of artificial intelligence (expert systems and neuronal nets) and features their application to simulate and develop dependable systems are analyzed.

A lecture course corresponds to the program of the discipline the «Modcling of Dependable Systems and Networks», which was prepared for PhD-students within the framework of project TEMPUS-MASTAC. This project, financed European Union according with the program TEMPUS (JEP_26008_2005) «MSc and PhD Studies in Aerospace Critical Computings is devoted to the development and the implementation of educational courses for preparation MS-and PhD-students in area of aerospace critical computing.