Скляр В.В.

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

Андрашов А.А., Гордеев А.А., Лобачева Е.И., Харченко В.С.

Изложены материалы практической части учебного курса «Оценка качества и экспертиза программного обеспечения» (Software Quality Assessment and Expertise), подготовленного для магистров в рамках проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005, посвященного методам и средствам оценки качества программного обеспечения (ПО).
Приведена учебная программа курса, дастся описание лабораторных работ и семинарских занятий, методические рекомендации по самостоятельному изучению материала курса.

A.B. Горбенко, О.M. Тарасюк

Изложены материалы практической части учебного курса «Гарантоспособные системы, сети и сервисы» (Dependable Systems, Networks and Services), подготовленного для аспирантов в рамках проекта TEMPUS-MASTAC «MSc and PhD Studies in Aerospace Critical Computing» (JEP_26008_2005). Посвящена методологии и практике анализа, оценивания, архитектурирования и экспериментальных исследований гарантоспособных сервис-ориентированных систем и компьютерных сетей.

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

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

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

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

Тарасюк О.М., Горбенко А.В.

В книге изложены материалы для лекционного курса, посвященного формальным методам разработки, верификации и анализа надежности программного обеспечения и информационно-управляющих систем (ИУС) для критических приложений. Анализируются требования к программному обеспечению, методы формулирования и спецификации требований, а также процесс управления требованиями. Рассматривается задача гармонизации и профилирования требований на примере компьютерных сетей ИУС критического применения.

Бохан К., Боярчук А., Харченко В.

В руководстве пользователя учебно-информационного центра критического компьютинга приведено описание Web-системы, разработанной в рамках проекта TEMPUS-MASTAC для поддержки подготовки специалистов в области критического компьютинга, с использованием технологий Web-образование 2.0. Описаны состав сервисов учебно-информационного центра, порядок работы с ними, технические характеристики разработанной системы, а так же вопросы администрирования Web-системы.