Архитектура управляющих систем реального времени

Лектор 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.