# Информационно-управляющие системы реального времени
**Source**: https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/napravleniya-issledovanij/informacionno-upravlyajushhie-sistemy-realnogo-vremeni/
**Parent**: https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/napravleniya-issledovanij/
# Информационно-управляющие системы реального времени
[Направления исследований](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/napravleniya-issledovanij/)
[Результаты и достижения](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/rezultaty-i-dostizheniya/)
[Лаборатории при кафедре АСВК](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/laboratorii-pri-kafedre-asvk/)
[Научный семинар](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/nauchnyj-seminar/)
[Кафедральный сборник](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/kafedralnyj-sbornik/)
[Публикации](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/publikacii/)
[Доклады](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/doklady/)
[Конференции](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/konferencii/)
[Консорциум](https://asvk.cs.msu.ru/konsorcium/)
Информационно-управляющие системы реального времени (ИУС РВ) имеют следующую специфику:
- интеграция ИУС РВ с управляемым объектом,
- выполнение прикладных программ в реальном времени,
- повышенные требования к надежности,
- жесткие ограничения на массогабаритные характеристики для бортовых ИУС РВ,
- ограниченное участие оператора в работе ИУС РВ.
Работы по построению ИУС РВ ведутся в следующих основных направлениях:
1. Структурный синтез и планирование вычислений. Структурный синтез ИУС РВ предполагает определение числа вычислительных модулей, числа ядер, объема памяти вычислительного модуля и построение сети обмена. Для гарантированного выполнения прикладных программ в реальном времени требуется построение согласованных расписаний выполнения функциональных задач и обменов данными. Основной областью практического применения разработанных методов, алгоритмов и инструментальных средств поддержки планирования вычислений и обмена в ИУС РВ являются бортовые управляющие системы современных самолетов, включая истребитель 5-го поколения Т-50 (ПАК ФА).
[Алгоритмы построения расписаний для вычислительных систем реального времени, допускающие использование имитационных моделей.](https://istina.msu.ru/publications/article/4872658)
[Семейство систем автоматизации проектирования бортовых вычислительных систем реального времени](https://istina.msu.ru/publications/article/86230566/)
2. Разработка комплекса алгоритмов планирования вычислений в ИУС РВ с архитектурой интегрированной модульной авионики (ИМА). Алгоритмы решают такие задачи, как группировка прикладных задач в разделы, распределение разделов по модулям и процессорным ядрам с минимизацией загрузки сети передачи данных, построение расписаний окон выполнения разделов на процессорных ядрах.
[Семейство систем автоматизации проектирования бортовых вычислительных систем реального времени](https://istina.msu.ru/publications/article/86230566/)
[Scheduling of computational tasks in switched network-based IMA systems](https://istina.msu.ru/publications/article/6907996/)
[Tool system and algorithms for scheduling of computations in integrated modular onboard embedded systems](https://istina.msu.ru/publications/article/27649436/)
3. Проведение исследований по анализу путей развития и формированию обликов ИУС РВ.
[Архитектура программно-аппаратных комплексов бортового оборудования](https://istina.msu.ru/publications/article/51263094/)
[Построение бортовых сетей реального времени на основе технологии ПКС](https://istina.msu.ru/publications/article/188294742/)
4. Разработка подхода к автоматической корректировке ограничений на информационный обмен по каналу с централизованным управлением для обеспечения совместимости этих ограничений с конкретным набором планируемых обменов по каналу.
[Алгоритмы формирования рекомендаций при планировании информационного обмена по каналу с централизованным управлением](https://istina.msu.ru/publications/article/2013644/)
5. Разработка обобщенной модели функционирования модульных вычислительных систем реального времени (МВС РВ), основанной на математическом аппарате сетей временных автоматов с остановкой таймеров и позволяющая строить на своей базе конкретные модели МВС для оценки допустимости конфигураций таких систем и доказывать корректность этих моделей.
[О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов](https://istina.msu.ru/publications/article/113252256/)
[Stopwatch automata-based model for efficient schedulability analysis of modular computer systems.](https://istina.msu.ru/publications/article/71635543/)
6. Методы и средства тестирования и интеграции бортовых вычислительных систем реального времени.
[A functional testing toolset and its application to development of dependable avionics software.](https://istina.msu.ru/publications/article/2014254/)
[A family of testbenches to support testing of real-time avionics systems.](https://istina.msu.ru/publications/article/5859891/)
[Направления исследований](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/napravleniya-issledovanij/)
[Результаты и достижения](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/rezultaty-i-dostizheniya/)
[Лаборатории при кафедре АСВК](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/laboratorii-pri-kafedre-asvk/)
[Научный семинар](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/nauchnyj-seminar/)
[Кафедральный сборник](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/kafedralnyj-sbornik/)
[Публикации](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/publikacii/)
[Доклады](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/doklady/)
[Конференции](https://asvk.cs.msu.ru/laboratorii-i-nauchnaya-deyatelnost/konferencii/)