Архитектура управляющих систем реального времени
Лектор н.с. В.В. Балашов
В курсе излагаются: принципы построения аппаратных и программных средств информационно-управляющих систем реального времени (ИУС РВ); подходы к проектированию ИУС РВ; математические основы и алгоритмы планирования вычислений в ИУС РВ; математические основы и алгоритмы доказательства гарантированного выполнения требований реального времени в ИУС РВ.
Содержание дисциплины:
- Введение в информационно-управляющие системы реального времени (ИУС РВ).
- Динамическое планирование вычислений и оценка планируемости.
- Статико-динамическое планирование вычислений в системах интегрированной модульной авионики.
- Процессоры в ИУС РВ.
- Оценка времени наихудшего времени выполнения программ (WCET).
- Оптимизация наихудшего времени выполнения программ (WCET), измерение WCET
- Архитектура вычислительных блоков ИУС РВ.
- Каналы с централизованным управлением.
- Коммутируемые сети.
- Обеспечение отказоустойчивости в ИУС РВ.
- Тестирование и интеграция ИУС РВ.
- Жизненный цикл ПО ИУС РВ и инструментальные средства его поддержки.
Литература:
- Burns, A., Wellings, A. Real-Time Systems and Programming Languages (Fourth Edition, 2009).
- 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.
- Парамонов, П., Жаринов, И. Интегрированные бортовые вычислительные системы: обзор современного состояния и анализ перспектив развития в авиационном приборостроении. Научно-технический вестник информационных технологий, механики и оптики, 2013.
- Синицын, С., Налютин, Н. Верификация программного обеспечения. Курс лекций. Московский инженерно-физический институт, 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)