Системи реального часу та телеметрії

Робоча програма навчальної дисципліни (відповідно до вимог МОН України).
Документ містить мету, результати навчання, структуру змісту, систему оцінювання та літературу.

Код курсу: КВ-123-07

Кафедра: Кафедра теоретичної інформатики

Кількість кредитів ECTS: 6 (180 годин)

Рівень: Бакалавр / Магістр

Мета та завдання

Вивчення принципів побудови жорстких систем реального часу та телеметрії на прикладі стеку B-Media / B-Core / B-RTP (btron.pro). Акцент на детермінованих площинах з WCET-бюджетами, безблокувальних протоколах, формальній верифікації та медіа-телеметрії реального часу.

Результати навчання

• Проєктувати та аналізувати реальні часові площини з фіксованими періодами та бюджетами WCET.
• Розуміти та застосовувати безблокувальні протоколи (InterCore, CAS multicursor, seq-lock).
• Будувати детерміновані медіа-конвеєри (NuStream, B-RTP) з нульовим розподілом пам’яті.
• Інтерпретувати телеметрію (drop, heartbeat, jitter, sequence) та забезпечувати відповідність специфікації.
• Розуміти роль формальної верифікації (Coq/OCaml oracle) у критичних системах реального часу.

Структура курсу (модулі)

1. Вступ до систем реального часу. Жорсткий vs м’який реальний час. Площини та бюджети WCET
2. B-Core InterCore: зіркова топологія, п’ять викликів (pub/sub/spawn/snd/rcv), курсори, conservation
3. B-Media: абстрактні медіа-труби, площини (input/UI/AMP), CAS multicursor ring, seq-lock
4. Телеметрія та моніторинг: drop-лічильники, heartbeat/takeover, EVT-черги, метрики відповідності
5. B-RTP та NuStream: детермінований WebRTC MCU, leaky-черги, монотонність timestamp, нульове розподілення
6. Синхронізація та політики скидання (leaky queues, dilation, interpolation)
7. Формальна верифікація: Coq-інваріанти, OCaml-оракул, acceptance-метрики
8. Практична лабораторна: аналіз та запуск компонентів B-Media / B-Core

Система оцінювання (100 балів)

• Поточний контроль (лабораторні, аналіз протоколів, звіти): 40 балів
• Модульні контрольні роботи (2): 20 балів
• Підсумковий іспит / захист проєкту: 40 балів

Шкала: 90–100 — відмінно; 75–89 — добре; 60–74 — задовільно; <60 — незадовільно.

Рекомендована література

• B-Core InterCore Streaming Protocol — https://btron.pro/b-media/core.html
• B-Media (Abstract Media Pipes & Plane Budgets) — https://btron.pro/b-media/index.html
• B-RTP (WebRTC Core, NuStream) — https://btron.pro/b-media/rtp.html
• μITRON / BTRON специфікації та матеріали B-System.
• Класичні підручники з систем реального часу (Liu, Buttazzo) для порівняння.

← Назад до каталогу курсів