Лектор: c.н.с. В.В. Балашов
В курсе излагаются: принципы построения аппаратных и программных средств информационно-управляющих систем реального времени (ИУС РВ); подходы к проектированию ИУС РВ; математические основы и алгоритмы планирования вычислений в ИУС РВ; математические основы и алгоритмы доказательства гарантированного выполнения требований реального времени в ИУС РВ.
Экзаменационные вопросы (24.12.2019)
Материалы лекций:
Лекция 1 — Введение в ИУС РВ
Лекция 2 — Динамическое планирование вычислений и оценка планируемости — Часть 1
Лекция 3 — Динамическое планирование вычислений и оценка планируемости — Часть 2
Лекция 4 — Оценка наихудшего времени выполнения программ (WCET) — Часть 1
Лекция 5 — Оценка наихудшего времени выполнения программ (WCET) — Часть 2
Лекция 6 — Процессоры ИУС РВ
Лекция 7 — Архитектура вычислительных блоков ИУС РВ
Лекция 8 — Каналы с централизованным управлением
Лекция 9 — Коммутируемые сети
Лекция 10 — Сквозное планирование вычислений и информационного обмена на примере системы ИМА
Лекция 11 — Тестирование и интеграция ИУС РВ — Часть 1
Лекция 11 — Тестирование и интеграция ИУС РВ — Часть 2
Лекция 12 — Мониторинг обмена данными в ИУС РВ
Лекция 13 — Жизненный цикл ПО ИУС РВ и инструментальные средства его поддержки
Литература:

  1. Burns, A., Wellings, A. Real-Time Systems and Programming Languages (Fourth Edition, 2009).
  2. Wilhelm, R., Engblom, J., et al. The worst-case execution-time problem — overview of methods and survey of tools. ACM Trans. on Embedded Computing Systems (TECS), Vol. 7, No. 3, 2008.
  3. Парамонов, П., Жаринов, И. Интегрированные бортовые вычислительные системы: обзор современного состояния и анализ перспектив развития в авиационном приборостроении. Научно-технический вестник информационных технологий, механики и оптики, 2013.
  4. Синицын, С., Налютин, Н. Верификация программного обеспечения. Курс лекций. Московский инженерно-физический институт, 2006.
Поступление на кафедру

Задайте Ваши вопросы о поступлении на кафедру АСВК в 2024 году в группе Telegram