Основы анализа и проектирования управляющих систем реального времени
Source: https://asvk.cs.msu.ru/uchebnyj-process/chitaemye-kursy/osnovy-analiza-i-proektirovaniya-upravlyajushhih-sistem-realnogo-vremeni/ Parent: https://asvk.cs.msu.ru/
Основы анализа и проектирования управляющих систем реального времени
Лектор: c.н.с. В.В. Балашов
В курсе излагаются: принципы построения аппаратных и программных средств информационно-управляющих систем реального времени (ИУС РВ); подходы к проектированию ИУС РВ; математические основы и алгоритмы планирования вычислений в ИУС РВ; математические основы и алгоритмы доказательства гарантированного выполнения требований реального времени в ИУС РВ.
Экзаменационные вопросы (16.01.2025)
Материалы лекций
- Лекция 1 — Введение в ИУС РВ
- Лекция 2 — Динамическое планирование вычислений и оценка планируемости — Часть 1
- Лекция 3 — Динамическое планирование вычислений и оценка планируемости — Часть 2
- Лекция 4 — Оценка наихудшего времени выполнения программ (WCET) — Часть 1
- Лекция 5 — Оценка наихудшего времени выполнения программ (WCET) — Часть 2
- Лекция 6 — Процессоры ИУС РВ
- Лекция 7 — Архитектура вычислительных блоков ИУС РВ
- Лекция 8 — Каналы с централизованным управлением
- Лекция 9 — Коммутируемые сети
- Лекция 10 — Сквозное планирование вычислений и информационного обмена на примере системы ИМА
- Лекция 11 — Тестирование и интеграция ИУС РВ — Часть 1
- Лекция 11 — Тестирование и интеграция ИУС РВ — Часть 2
- Лекция 12 — Мониторинг обмена данными в ИУС РВ
- Лекция 13 — Обеспечение отказоустойчивости ИУС РВ
Литература
- 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.