Статьи и вопросы по тегу "верификация"

Модельно-ориентированное проектирование систем на ПЛИС:

• Моделирование алгоритма
• Оптимизация и автоматическая генерация HDL кода
• Перевод в фиксированную точку
• Веификация на ПЛИС

Применение кастомных пакетов поддержки элементной базы существенно упрощает разработку встраиваемых систем:

• Автоматизация on-target тестирования
• Автоматическая генерация эффективного кода
• Профилирование кода
• Поддержка периферии отладочных плат

Методика разработки ПО радиоэлектронного комплекса:

• Моделирование системы в целом: комплекс, составные части, внешняя среда
• Настройка контуров управления
• Алгоритмы координатных преобразований
• Моделирование в реальном времени

Разработка комплексной системы управления самолета МС-21 с модельно-ориентированным проектированием

• Моделирование КСУ
• Модель динамики движения самолета
• Автоматизация тестирования КСУ

Технология запуска моделей Simulink в режиме жесткого реального времени для:

• Подмены натурных образцов моделью с целью испытаний контроллеров;
• Быстрого запуска алгоритмов в реальном времени без необходимости программирования.

Доклад посвящен подходам к тестированию системы автоматичсекого управления самолета с помощью модельно-ориентированного проектирования.

• Моделирование САУ самолета
• Трассирование требований к модели и тестовым сценариям
• Автоматизация тестирования моделей

Доклад посвящен подходам к системной инженерии и верификации требований с помощью инструментов модельно-ориентированного проектирования. 

• Введение в проблематику
• Основные подходы
• Полезные инструменты системного инженера