Информационно-управляющие системы реального времени
Информационно-управляющие системы реального времени (ИУС РВ) имеют следующую специфику:
- интеграция ИУС РВ с управляемым объектом,
- выполнение прикладных программ в реальном времени,
- повышенные требования к надежности,
- жесткие ограничения на массогабаритные характеристики для бортовых ИУС РВ,
- ограниченное участие оператора в работе ИУС РВ.
Работы по построению ИУС РВ ведутся в следующих основных направлениях:
- Структурный синтез и планирование вычислений. Структурный синтез ИУС РВ предполагает определение числа вычислительных модулей, числа ядер, объема памяти вычислительного модуля и построение сети обмена. Для гарантированного выполнения прикладных программ в реальном времени требуется построение согласованных расписаний выполнения функциональных задач и обменов данными. Основной областью практического применения разработанных методов, алгоритмов и инструментальных средств поддержки планирования вычислений и обмена в ИУС РВ являются бортовые управляющие системы современных самолетов, включая истребитель 5-го поколения Т-50 (ПАК ФА).
Алгоритмы построения расписаний для вычислительных систем реального времени, допускающие использование имитационных моделей. https://istina.msu.ru/publications/article/4872658/ - Разработка комплекса алгоритмов планирования вычислений в ИУС РВ с архитектурой интегрированной модульной авионики (ИМА). Алгоритмы решают такие задачи, как группировка прикладных задач в разделы, распределение разделов по модулям и процессорным ядрам с минимизацией загрузки сети передачи данных, построение расписаний окон выполнения разделов на процессорных ядрах.
Scheduling of computational tasks in switched network-based IMA systems.
Tool system and algorithms for scheduling of computations in integrated modular onboard embedded systems. - Проведение исследований по анализу путей развития и формированию обликов ИУС РВ.
Архитектура программно-аппаратных комплексов бортового оборудования. - Разработка подхода к автоматической корректировке ограничений на информационный обмен по каналу с централизованным управлением для обеспечения совместимости этих ограничений с конкретным набором планируемых обменов по каналу.
Обеспечение совместимости требований к расписанию обмена по каналу с централизованным управлением: дис. ... канд. физ.-мат. наук: 05.13.11. – Москва, 2010. - Разработка обобщенной модели функционирования модульных вычислительных систем реального времени (МВС РВ), основанной на математическом аппарате сетей временных автоматов с остановкой таймеров и позволяющая строить на своей базе конкретные модели МВС для оценки допустимости конфигураций таких систем и доказывать корректность этих моделей.
Glonina A., Bahmurov A. Stopwatch automata-based model for efficient schedulability analysis of modular computer systems. - Методы и средства тестирования и интеграции бортовых вычислительных систем реального времени.
A functional testing toolset and its application to development of dependable avionics software.
A family of testbenches to support testing of real-time avionics systems.