Волковой А., Лысенко И., Харченко В., Шурыгин О.

Под ред. Харченко В.С.

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

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

В книге изложены материалы лекционного курса, посвященного методам и средствам разработки программного обеспечения для критических систем с использо-ванием многоверсионных технологий (МВТ). Описываются базовые принципы ис-пользования избыточности для повышения надежности программных средств (ПС) и обеспечения разнообразия избыточных версий и компонент ПС при использовании многоверсионного подхода в программировании. Дается описание моделей жизненного цикла многоверсионного программного обеспечения, методик внесения и оценки степени разнообразия (независимости) версий. Рассматриваются примеры применения многоверсионных технологий в программной инженерии критических отраслей, таких как аэрокосмические системы и системы управления для атомных электростанций.
Лекционный курс соответствует программе дисциплины "Многоверсионные системы и технологии для критических приложений" (Multi-version systems and tech-nologies for critical applications), подготовленной для магистров в рамках проекта TEMPUS-MASTAC. Этот проект, финансируемый Европейским Союзом по программе TEMPUS (JEP_26008_2005) "MSc and PhD Studies in Aerospace Critical Computing", посвящен разработке и внедрению учебных курсов по подготовке магистров и докто-ров философии (кандидатов наук) по направлению аэрокосмического критического компьютинга.
Книга ориентирована на специалистов в области разработки программного обеспечения для бортовых авиационных и ракетно-космических систем, других объ-ектов, где возможно системное применение многоверсионных технологии программирования. Она может быть полезна студентам университетов, обучающимся по направлениям компьютерной и программной инженерии, преподавателям и научным работникам, занимающимся проблемами надежности и безопасности компьютерных систем.
Библ. - 62 наименований, рисунков - 70, таблиц - 37.