• Разработка с использованием технологии UniTESK системы тестов для устройств проекта "Эльбрус-2S".
• Разработка расширяемой системы для динамического анализа и проверки модулей ядра Linux.
• Верификация реализаций расширяемых протоколов Интернета.
• Разработка инструмента ABI Compliance Checker.
• Разработка автоматического генератора основных модульных тестов для общих  библиотек C/C++.
• Разработка платформы для интеграции и апробации перспективных методов верификации компонентных систем.
• Разработка автоматизированного рабочего места системного интегратора.
• Система управления требованиями Requality.
• Верификация драйверов ОС Linux.
• Создание системы безопасности, обеспечивающей защищенное выполнение приложения в недоверенной ОС.
• Разработка инфраструктуры стандарта LSB.
• Тестирование моделей микропроцессоров.
• Разработка методов и инструментальной поддержки интеграции крупных информационных систем.
• Тестирование ОС реального времени.
• Разработка тестовых наборов для математических библиотек.
  

Развитие инструментов UniTESK было нацелено на поддержку работ в проектах и общее повышение надежности.

В 2011 году вышла монография И.Б.Бурдонова  «Теория конформности (функциональное тестирование программных систем на основе формальных моделей)», посвященная методам тестирования соответствия исследуемой системы заданным требованиям на основе формальных моделей.

Доклады о результатах исследований и отдельных проектов проводились на следующих конференциях и семинарах:

Microsoft  Summer School in Software Engineering and Verification 2011
International Space System Engineering Conference DASIA 2011
Spring Young Researchers Colloquium on Software Engineering (SYRCoSE 2011)
Open Cirrus Summit 2011
IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS 2011)
Eighth International Andrei Ershov Memorial Conference «Perspectives of System Informatics» (PSI 2011)
16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011)
Model-based Testing User Conference 2011
LinuxCon Europe 2011
Google EMEA Scholars’ Retreat 2011
12th IEEE Latin-American Test Workshop (LATW 2011)
Google Summer of Code (GSoC 2011)
7th Workshop on Advances in Model Based Testing (A-MOST 2011)
IUPAC International Congress on Analytical Sciences (ICAS 2011)
IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)
Yet another Conference (YAC-2011)
Восьмая конференция разработчиков свободных программ
Выставка Softtool 2011
Шестая конференция “Свободное программное обеспечение в высшей школе”
IX Всероссийская конференция “Преподавание информационных технологий в Российской Федерации”
Научная конференция «Ломоносовские чтения»
54-я научная конференция МФТИ "Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе".
Актуальные проблемы системной и программной инженерии (АПСПИ 2011)