Прикладной системный анализ

Магистратура 2021/2022

Статус: Курс обязательный (Системное программирование)

Направление: 09.04.04. Программная инженерия

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Где читается: Факультет компьютерных наук

Когда читается: 1-й курс, 3, 4 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Зеленов Сергей Вадимович

Прогр. обучения: Системное программирование

Язык: русский

Кредиты: 5

Контактные часы: 32

Полная версия программы учебной дисциплины

Аннотация

В курсе излагаются методы анализа программно-аппаратных систем. Курс состоит из трех частей: методы анализа сетей передачи данных; методы анализа надежности; методы анализа построения расписаний для периодических задач.

Цель освоения дисциплины

Целью освоения дисциплины является изучение основных принципов моделирования и анализа программно-аппаратных систем, а также получение навыков моделирования систем, анализа сетевых ресурсов, анализа рисков, анализа построения расписаний для встроенных операционных систем реального времени.

Планируемые результаты обучения

Анализирует AADL-модель программно-аппаратного комплекса.
Анализирует EMV2-модель ошибок программно-аппаратного комплекса.
Вычисляет вероятность безотказной работы последовательно-параллельной расчетно-логической схемы.
Вычисляет входящие кривые и максимальные задержки на оконечной системе и в коммутаторе AFDX методом сетевого исчисления.
Вычисляет задержки в коммутаторе методом Trajectory.
Вычисляет минимальные сечения и меры значимости для данного дерева неисправностей.
Производит анализ FMEA для данной EMV2-модели ошибок программно-аппаратного комплекса.
Строит FTA-деревья для данной EMV2-модели ошибок программно-аппаратного комплекса.
Строит графики функции отставания и функции задержки для данных функций входящей кривой и обслуживающей кривой.
Строит марковскую цепь для данной EMV2-модели ошибок программно-аппаратного комплекса.

Содержание учебной дисциплины

Моделирование систем. Язык AADL.
Тема 2. Сетевое исчисление. Сеть AFDX. Применение сетевого исчисления для анализа сетей AFDX.
Подход Trajectory и его применение для анализа сетей AFDX.
Введение в анализ рисков. Error Model Annex.
Логико-вероятностный анализ. Анализ дерева неисправностей.
Анализ видов и последствий отказов. Применение марковских цепей для анализа рисков.
Системы реального времени. Планирование периодических задач. Классические алгоритмы построения расписаний.
Построение расписаний для строго периодических задач.

Элементы контроля

Лабораторные работы (ЛР)
Экзамен (Э)
Оценка за дисциплину выставляется в соответствии с формулой оценивания от всех пройденных элементов контроля. Экзамен не проводится.

Промежуточная аттестация

2021/2022 учебный год 4 модуль
0.3 * Экзамен (Э) + 0.7 * Лабораторные работы (ЛР)

Программа дисциплины