Metadata
Title
Основы анализа и проектирования управляющих систем реального времени
Category
general
UUID
01cb2077cdbe4b0c893b297506e5f0d9
Source URL
https://asvk.cs.msu.ru/uchebnyj-process/chitaemye-kursy/osnovy-analiza-i-proekti...
Parent URL
https://asvk.cs.msu.ru/
Crawl Time
2026-03-17T08:21:41+00:00
Rendered Raw Markdown
# Основы анализа и проектирования управляющих систем реального времени

**Source**: https://asvk.cs.msu.ru/uchebnyj-process/chitaemye-kursy/osnovy-analiza-i-proektirovaniya-upravlyajushhih-sistem-realnogo-vremeni/
**Parent**: https://asvk.cs.msu.ru/

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

[Как пойти учиться на АСВК](https://asvk.cs.msu.ru/uchebnyj-process/kak-pojti-uchitsya-na-asvk/)

[Об учебе](https://asvk.cs.msu.ru/uchebnyj-process/ob-uchebe/)

[Читаемые курсы](https://asvk.cs.msu.ru/uchebnyj-process/chitaemye-kursy/)

[Материалы для Гос. Экзамена](https://asvk.cs.msu.ru/uchebnyj-process/materialy-dlya-gos-ekzamena/)

[Требования к курсовой](https://asvk.cs.msu.ru/uchebnyj-process/trebovaniya-k-kursovoj/)

[Спецсеминары](https://asvk.cs.msu.ru/uchebnyj-process/specseminary/)

[Ознакомительный спецкурс](https://asvk.cs.msu.ru/uchebnyj-process/oznakomitelnyj-speckurs/)

[Вычислительные ресурсы](https://asvk.cs.msu.ru/uchebnyj-process/vychislitelnye-resursy/)

[Инструменты и сервисы](https://asvk.cs.msu.ru/uchebnyj-process/instrumenty-i-servisy/)

[Оформление работ](https://asvk.cs.msu.ru/uchebnyj-process/oformlenie-rabot/)

[Публикации студентов](https://asvk.cs.msu.ru/uchebnyj-process/publikacii-studentov/)

[Программа магистратуры](https://asvk.cs.msu.ru/uchebnyj-process/programma-magistratury/)

**Лектор:** c.н.с. В.В. Балашов

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

[Экзаменационные вопросы (16.01.2025)](https://cloud.asvk.cs.msu.ru/s/StLwSext2aJHiSE)

## Материалы лекций

- [Лекция 1 — Введение в ИУС РВ](https://cloud.asvk.cs.msu.ru/s/4zLjoWriEBjsJ8r)
- [Лекция 2 — Динамическое планирование вычислений и оценка планируемости — Часть 1](https://cloud.asvk.cs.msu.ru/s/NaQdEoBTpJHscai)
- [Лекция 3 — Динамическое планирование вычислений и оценка планируемости — Часть 2](https://cloud.asvk.cs.msu.ru/s/2xyWYoZpQjT6Fmq)
- [Лекция 4 — Оценка наихудшего времени выполнения программ (WCET) — Часть 1](https://cloud.asvk.cs.msu.ru/s/YKPjeaMRo2NxMM6)
- [Лекция 5 — Оценка наихудшего времени выполнения программ (WCET) — Часть 2](https://cloud.asvk.cs.msu.ru/s/5mETBTmLZ5E2kmp)
- [Лекция 6 — Процессоры ИУС РВ](https://cloud.asvk.cs.msu.ru/s/DS3zYzXfFwoGHdx)
- [Лекция 7 — Архитектура вычислительных блоков ИУС РВ](https://cloud.asvk.cs.msu.ru/s/CFkbj7Fi6igD8Dm)
- [Лекция 8 — Каналы с централизованным управлением](https://cloud.asvk.cs.msu.ru/s/CZKRSWqf43tn9Nd)
- [Лекция 9 — Коммутируемые сети](https://cloud.asvk.cs.msu.ru/s/Xg6ZRnyrLmBCXGe)
- [Лекция 10 — Сквозное планирование вычислений и информационного обмена на примере системы ИМА](https://cloud.asvk.cs.msu.ru/s/9LPXPBLR2P8i5FE)
- [Лекция 11 — Тестирование и интеграция ИУС РВ — Часть 1](https://cloud.asvk.cs.msu.ru/s/Zkkf4a2m6SpW9TK)
- [Лекция 11 — Тестирование и интеграция ИУС РВ — Часть 2](https://cloud.asvk.cs.msu.ru/s/Q6Go4nLHeN5H5yF)
- [Лекция 12 — Мониторинг обмена данными в ИУС РВ](https://cloud.asvk.cs.msu.ru/s/q3aMc5WziBeRMDx)
- [Лекция 13 — Обеспечение отказоустойчивости ИУС РВ](https://cloud.asvk.cs.msu.ru/s/XHpPxK2t4Rxdx5F)

## Литература

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.

[Как пойти учиться на АСВК](https://asvk.cs.msu.ru/uchebnyj-process/kak-pojti-uchitsya-na-asvk/)

[Об учебе](https://asvk.cs.msu.ru/uchebnyj-process/ob-uchebe/)

[Читаемые курсы](https://asvk.cs.msu.ru/uchebnyj-process/chitaemye-kursy/)

[Требования к курсовой](https://asvk.cs.msu.ru/uchebnyj-process/trebovaniya-k-kursovoj/)

[Спецсеминары](https://asvk.cs.msu.ru/uchebnyj-process/specseminary/)

[Ознакомительный спецкурс](https://asvk.cs.msu.ru/uchebnyj-process/oznakomitelnyj-speckurs/)

[Вычислительные ресурсы](https://asvk.cs.msu.ru/uchebnyj-process/vychislitelnye-resursy/)

[Оформление работ](https://asvk.cs.msu.ru/uchebnyj-process/oformlenie-rabot/)

[Инструменты и сервисы](https://asvk.cs.msu.ru/uchebnyj-process/instrumenty-i-servisy/)

[Публикации студентов](https://asvk.cs.msu.ru/uchebnyj-process/publikacii-studentov/)

[Программа магистратуры](https://asvk.cs.msu.ru/uchebnyj-process/programma-magistratury/)