Технологии программирования

Об отделе

В Отделе технологий программирования разрабатываются следующие темы исследований:

Моделирование программных систем

• Языки и средства моделирования архитектуры и поведения систем.
• Теоретические методы анализа конформности моделей поведения.
• Модели информационной безопасности.

Верификация программных и программно-аппаратных систем

• Тестирование на основе моделей.
• Тестирование математических библиотек.
• Инструменты и технологии верификации моделей программ (software model checking).
• Инструменты и технологии дедуктивной верификации.
• Конфигурационное тестирование.
• Инструменты тестирования моделей микропроцессоров.

Операционные системы

• Разработка операционных систем реального времени.
  
• Оптимизация ядра операционной системы Linux.
  
• Методы тестирования и верификации компонентов ядра ОС Linux, в том числе драйверов ОС.
• Гипервизоры, средства виртуализации для анализа и защиты программ.
• Методы спецификации и тестирования библиотек ОС Linux.
• Методы анализа совместимости развивающихся библиотек ОС Linux.
• Методы измерения временных характеристик ОС.
• Механизмы информационной безопасности и защиты ОС (SELinux, Astra Linux).

Встроенные системы и системы реального времени, телекоммуникационные протоколы, распределённые системы

• Инструменты управления требованиями.
• Моделирование и проектирование ответственных систем, включая системы авионики.
• Анализ функциональных, временных и ресурсных характеристик систем.
• Тестирование инфраструктуры мобильной телефонии.