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


О группе

Исследования в области технологий разработки и анализа программ, ведущиеся в институте, посвящены широкому спектру проблем программной и системной инженерии, теоретической и прикладной информатики. Они нацелены на развитие методов и создание инструментов, которые позволяют поддерживать или даже автоматизировать работы и процессы различных фаз жизненного цикла создания и эксплуатации программных и программно-аппаратных систем.

Основные темы исследований:

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

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

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

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

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

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

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

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

Исследовательские группы и руководители НИР:

1. Петренко А.К. – заведующий отделом Технологий программирования, профессор, д.ф.-м.н.

Хорошилов А.В. – ведущий научный сотрудник, к.ф.-м.н.

  • Операционные системы.
  • Встроенные системы и системы реального времени.

2. Омельченко В.А. - научный сотрудник.

Федотов В.Н. - научный сотрудник.

  • Тестирование инфраструктуры мобильной телефонии.

3. Бурдонов И.Б. - ведущий научный сотрудник, д.ф.-м.н.

Косачев А.С. - ведущий научный сотрудник, к.ф.-м.н.

  • Теория конформности программных моделей.

4. Камкин А.С. - ведущий научный сотрудник, к.ф.-м.н.

  • Верификация микропроцессоров.

5. Пакулин Н.В. - старший научный сотрудник, к.ф.-м.н.

  • Телекоммуникационные протоколы.
  • Гипервизоры, средства виртуализации для анализа и защиты программ.

Контакты

Петренко Александр Константинович, д.ф.- м.н., профессор, заведующий отделом.
E-mail: petrenko@ispras.ru
Телефон: +7(495) 912-56-59 (доб. 4404). Комната: 215.

Вивчарук Ирина.
E-mail: vivcharuk@ispras.ru
Телефон: +7(495) 912-56-59 (доб. 4422). Комната: 202.