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

АВИОНИКА

ГосНИИАС – наш партнер: Про авионику:

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

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

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

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

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

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

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

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

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