Читать онлайн «Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем»

А. С. Кузнецов С. В. Ченцов Р. Ю. Царев МНОГОЭТАПНЫЙ АНАЛИЗ АРХИТЕКТУРНОЙ НАДЕЖНОСТИ И СИНТЕЗ ОТКАЗОУСТОЙЧИВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СЛОЖНЫХ СИСТЕМ В монографии предложен комплекс математических Монография моделей и алгоритмов анализа надежности про- граммного обеспечения сложных систем с учетом их многоуровневости и распределенности архитек- туры. Представлена система построения транслято- ров мультисинтаксических языков программирова- ния мультиверсионного программного обеспечения сложных систем. ISBN 978-5-7638-2730-9 Институт космических и информационных технологий 9 785763 827309 Министерство образования и науки Российской Федерации Сибирский федеральный университет А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев МНОГОЭТАПНЫЙ АНАЛИЗ АРХИТЕКТУРНОЙ НАДЕЖНОСТИ И СИНТЕЗ ОТКАЗОУСТОЙЧИВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СЛОЖНЫХ СИСТЕМ Монография Красноярск СФУ 2013 УДК 004. 052. 3 ББК 32. 973. 2-18 К891 Рецензенты: А. А. Ступина, доктор технических наук, профессор кафедры «Системный анализ и исследование операций» СибГАУ им. М. Ф. Решетнева; А. К. Шлепкин, доктор физико-математических наук, профессор, зав. кафедрой прикладной математики и информационной безопасности КрасГАУ Кузнецов, А. С. К891 Многоэтапный анализ архитектурной надежности и синтез от- казоустойчивого программного обеспечения сложных систем: мо- нография / А. С. Кузнецов, С. В. Ченцов, Р. Ю. Царев. – Красноярск: Сиб. федер. ун-т, 2013. – 143 c. ISBN 978-5-7638-2730-9 В монографии предложен комплекс математических моделей и алго- ритмов анализа надежности программного обеспечения сложных систем с уче- том их многоуровневости и распределенности архитектуры. Представлена сис- тема построения трансляторов мультисинтаксических языков программирова- ния мультиверсионного программного обеспечения сложных систем. Предназначена специалистам, работающим в области проектирования и разработки программного обеспечения, а также аспирантам и докторан- там. Материалы монографии рекомендуются к использованию при проведе- нии лекционных и практических занятий у магистрантов укрупненных групп 220000 «Автоматика и управление», 230000 «Информатика и вычис- лительная техника».