MSc and PhD studies in Aerospace Critical Computing

Master

Оценка качества и экспертизы программного обеспечения

3
Average: 3 (1 vote)
Creators: Скляр В.В.
Type of document: course
Degree: Master

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

DEPENDABLE SYSTEMS, NETWORKS AND SERVICES

4
Average: 4 (1 vote)
Creators: Gorbenko A.
Type of document: course
Degree: Master

Object of Study - Concepts of dependability and dependable systems.

Subject of Study - Principles, methods and means of development of the dependable and fault-tolerant service-oriented systems.

Параллельные и распределенные вычисления

4
Average: 4 (1 vote)
Creators: Бохан К.А.
Type of document: course
Degree: Master

Об'єктом вивчення курсу є сучасні методи та засоби паралельного програмування. Методи та засоби розробки розподілених систем. Високопродуктивні обчислювальні системи.

Предметом вичення є процес розробки розподілених обчислювальних систем та їх компонентів. Методи, принципи та технології реалізації багатоланкових та багаторівневих розподілених систем. Методи, принципи та технології паралельного програмування для багатоядерних процесорів та багатовузлових кластерів.