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

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

Содержание дисциплины:

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

Литература:

  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.



Экзаменационные вопросы (20.12.2017)


Лекция 1 (08.09.2017)
Лекция 2 (15.09.2017)
Лекция 3 (22.09.2017)
Лекция 4 (29.09.2017)
Лекция 5 (06.10.2017)
Лекция 6 (13.10.2017)
Лекция 7 (20.10.2017)
Лекция 8 (27.10.2017)
Лекция 9 (03.11.2017)
Лекция 10 (10.11.2017)
Лекция 11.Часть 1 (17.11.2017)
Лекция 11.Часть 2 (24.11.2017)
Лекция 12 (01.12.2017)
Лекция 13 (08.12.2017)