Разработка методов анализа функционирования встроенных систем управления сложными техническими объектам

У всех современных технически сложных объектов (транспортные средства, средства телекоммуникации, энергетические системы, производственные линии и т.п.) системы управления строят на основе встроенные компьютерных систем. Такие встроенные системы представляют собой распределенные вычислительные комплексы (РВС РВ), которые собирают, передают и обрабатывают информацию, а также принимают решения в режиме реального времени. Эти комплексы являются распределёнными вычислительными системами реального времени.
Разработка РВС РВ, как правило, ведётся разными, географически распределенными коллективами исполнителей с разным уровнем технологической культуры, использующих разные инструментальные средства. Взаимодействие этих коллективов на этапе разработки своих компонентов сильно ограничено. В результате проверка свойств конечной системы, их соответствие исходным требованиям к объекту возможны только на этапах натурных испытаний целевого объекта. При таком подходе повышается риск поставки на целевой объект некорректно функционирующей РВС РВ, применение которой может привести к авариям, а в некоторых случаях – к гибели людей.
Основные направления наших исследований в этой области связаны с развитием математических методов описания и применением имитационного моделирования для анализа функционирования РВС РВ. Основными среди них являются следующие:

  • Теория функционирования распределения вычислительных систем
  • Методология и средства имитационного моделирования, включая полунатурное моделирование;
  • Методы и средства анализа результатов имитационных экспериментов;
  • Методы и средства выявления не соответствия между спецификацией поведения РВС РВ и поведением ее модели.

Исследования в перечисленных направлениях проводятся с целями:

  • Разработки и анализа эффективности архитектуры РВС РВ
  • Оценка производительности
  • Оценка времени выполнения программ
  • Оценки и определения способов повышения надёжности РВС РВ;
  • Исследование методов компактирования программ
  • Развитие средств разработки программ для РВС РВ
  • Развитие средств поддержки принятия решений при выборе конфигурации РВС РВ

Разработанные методы и алгоритмы были положены в основу следующих прикладных разработок:

  • Среда моделирования ДИАНА;
  • Инструментальные средства поддержки проектирования программных и аппаратных средств спецвычислителей на основе процессоров Л1879ВМ1 (NM6403)
  • Стенд проверки корректности и интеграции РВС РВ с применением имитационного и полунатурного моделирования;
  • Инструментальные средства функционального тестирования РВС РВ;
  • Инструментальные средства мониторинга и анализа информационного обмена между устройствами РВС РВ;
  • Системное ПО для РВС РВ (видеочипсетов).

Участники группы участвовали в промышленных и НИР проектах по заказу как отечественных, так и международных организаций.

Password: