Средства автоматизированного планирования задач и обменов для систем реального времени

Области применения созданных инструментальных средств:

• • Распределение вычислительной нагрузки по модулям в системах ИМА
  • Построение расписаний выполнения функциональных задач в системах ИМА
  • Планирование обменов по каналам с централизованным управлением
  • Конфигурирование коммутационных сред обмена данными
  • Совместное планирование вычислений и обменов в КБО

   

  Классы применяемых алгоритмов:

   

  • Жадные алгоритмы
  • Метод ветвей и границ
  • Генетические алгоритмы
  • Алгоритмы имитации отжига

   

  Основные функциональные возможности:

  • Автоматическое построение расписаний
  • Визуализация расписаний
  • Ручная корректировка расписаний
  • Генерация кода для целевых устройств
  • Формирование отчетов для документации

   

  САПР циклограмм:

  • Построение расписаний для каналов с централизованным управлением:
    • MIL-STD-1553B / ГОСТ Р 52070-2003
    • Fibre Channel FC-AE-1553
  • Расчет конфигурации коммутаторов в сетях с виртуальными каналами:
    • AFDX / ARINC 664
    • Fibre Channel FC-AE-ASM-RRT
  • Автоматическая корректировка технологических ограничений

   

  САПР «Планировщик ИМА»:

  • Поддержка спецификации ARINC 653
  • Автоматическое распределение вычислительной нагрузки по модулям и ядрам
  • учет ограничений на загрузку ядер
  • минимизация сетевого обмена между модулями
  • Построение расписания окон выполнения разделов
  • Верификация расписания – проверка соблюдения директивных сроков
  • Адаптация расписаний к изменениям в исходных данных