Научно-исследовательские направления
- Теория и формальные модели бортовых вычислительных сетей реального времени с гарантированным качеством сервиса
- Разработка сетевых технологий высокоскоростных бортовых сетей
для космических аппаратов. SpaceWire/GigaSpaceWire/SpaceWire-RUS/SpaceFibre - Разработка архитектур бортовых сетей авиационного и космического назначения
- Разработка протоколов транспортного и прикладного уровня для аэрокосмических бортовых сетей, для встроенных сетей коммуникационного оборудования
- Методы построения самоорганизующихся аэрокосмических бортовых сетей, Plug-and-Play
- Методы и инструменты анализа, моделирования, проектирования и конфигурирования бортовых сетей авиационного и космического назначения
- Методы построения отказоустойчивых аэрокосмических бортовых сетей
- Разработка стандартов бортовых сетей авиационного и космического назначения
Основной профиль – разработка сетевых коммуникационных протоколов и сетей аэрокосмического назначения (SpaceWire, SpaceWire-RUS, GigaSpaceWire, SpaceFibre и др.) и комплексных систем для проектирования бортовых сетей космических аппаратов.
- Разработка коммуникационных протоколов
- Формальное и программное моделирование протоколов (SDL / SystemC)
- Формальная и программная верификация протоколов
Протоколы
- SpaceWire
Лаборатория встроенных компьютерных технологий для мобильных коммуникаций является одной из ведущих в России по разработке протокола SpaceWire. Занимается его активной разработкой более 10 лет. Участвует в ежегодных международных конференциях. Ведет совместные проекты с Университетом Данди (University of Dundee) и Европейским Космическим Агентством (ESA).
Статьи по теме
- SpaceWire-RUS
Разработка российского национального стандарта на основе SpaceWire с учетом специфики и требований отечественного рынка космонавтики.
- GigaSpaceWire
Разработка специализированной версии SpaceWire, обеспечивающей гигабитные скорости передачи данных.
Статьи по теме
- SpaceFibre
Разработка протокола в рамках проекта “SpaceWire-RT” 7 рамочной программы, активное участие в дальнейшем развитии протокола:
- Моделирование протокола на языке SystemC
- Спецификация и верификация протокола на языке SDL
- Анализ и коррекция спецификации
Статьи по теме - СТП-ИСС (Сетевой Транспортный Протокол для Информационно-Спутниковых Систем)
Комплексная разработка транспортного протокола СТП-ИСС для бортовых сетей SpaceWire, начиная со сбора требований и заканчивая реализацией референсных моделей и программного тестера.
Разработан совместно с АО «Информационные спутниковые системы» им. Академика М.Ф. Решетнева» для применения в российской космической промышленности.
Статьи по теме
Разработка рабочего места аппаратно-программной отработки транспортного протокола СТП-ИСС, предназначенного для проведения функционального тестирования бортовой аппаратуры с аппаратной или программной реализацией протокола СТП-ИСС.
Статьи по теме
САПР для проектирования бортовых сетей космических аппаратов
Разработка системы автоматизированного проектирования (САПР) для бортовых вычислительных сетей для космических аппаратов (БВС КА) длительного автономного функционирования. Разрабатывается совместно с ОАО «Информационные спутниковые системы» им. Академика М.Ф. Решетнева».
Поддерживаемые стандарты протоколов передачи данных:
- SpaceWire (ECSS-E-ST-50-12C)
- SpaceWire-RUS
- СТП-ИСС
- RMAP
Система обеспечивает полный цикл автоматизированной разработки и моделирования бортовых сетей:
- Проектирование и анализ физической сетевой топологии структуры БВС КА
- Прокладка маршрутов и генерация конфигурации сетевых компонентов БВС КА
- Планирование трафика в БВС КА
- Многоуровневое моделирование БВС КА