Главная страница « Спецсеминары «

Спецсеминар «Корректность программ»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

вернуться на страницу спецсеминара

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

АВИОНИКА


ГосНИИАС – наш партнер:

Про авионику:



Заинтересовались?
Напишите нам:
Хорошилов Алексей
khoroshilov@ispras.ru




Сейчас нам интересны такие исследования:

Проектировщики самолета пишут специальные модели ПО. Мы занимаемся задачами анализа этих моделей.

  1. Валидация моделей (одни модели описывают ПО, другие - то, как они должны работать, нужно проверить, будет ли ПО работать согласно этим требованиям);

  2. Симуляция AFDX сетей (это сеть, соединяющая различное ПО в самолете; нужно оценить время задержки в сети, заполняемость буферов в узлах сети, количество сбоев);

  3. Разработка языка описания ограничений (подзадача валидации модели, а именно, описание требований, описание внутренней непротиворечивости модели);

  4. Анализ надежности (определить влияние сбоев в некотором компоненте авиационного ПО на остальное ПО, определение вероятности сбоев).

Мы участвуем в разработке бортового ПО (пассажирский самолет МС-21, истребителя пятого поколения ПАК ФА Т-50 и других).


Присоединяйтесь!

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 06.04.2011