Моделирование гарантоспособных систем и сетей. Практикум
- Category:
Изложены материалы практической части учебного курса «Моделирование гарантоспособных систем и сетей» (Modeling of Dependable Systems and Networks), подготовленного для магистров и докторов философии (кандидатов наук) по направлению аэрокосмического критического компьютинга в рамках проекта TEMPUS-MAST АС «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Курс посвящен изучению методов и средств моделирования гарантоспособных компьютерных систем, сетей и сервисов. Практикум включает комплекс лабораторных работ и семинаров по методике аналитического и имитационного моделирования надежности и безопасности компьютерных систем с учетом изменения параметров потоков отказов программных средств, GRID-систем, сервис-ориентированных Web-систем, систем искусственного интеллекта. Приводится учебная программа курса, дается описание лабораторных и практических работ, методические рекомендации по самостоятельному изучению материала курса.
Книга предназначена для студентов и аспирантов университетов, обучающихся по направлениям компьютерных наук, компьютерной и программной инженерии, при изучении проблем надежности и безопасности компьютерных систем, сетей и сервисов, а также может быть полезна для преподавателей, ведущих занятия по соответствующим курсам.
Ил. 52. Табл. 24. Библиогр.: 35 назв.



