• Регистрация
Статьи и вопросы по тегу "валидация"

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

  • Все 8
  • Статьи 8
Валидация - доказательство того, что требования конкретного продукта, услуги или системы удовлетворены.
Практический курс "Формальные методы верификации и валидации".
Подробнее о верификации и валидации в нашей документации.
  • Публикация
  • 07.04.2020
MiPe
MiPe +61.95
н/д
Запись доклада:

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

  • Подмена натурных образцов моделью с целью испытаний контроллеров
  • Быстрого запуск алгоритмов в реальном времени без необходимости программирования
07.04.2020
  • Публикация
  • 07.04.2020
PavelGR
PavelGR 0.00
н/д
Запись доклада:

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

  • Моделирование САУ самолета
  • Трассирование требований к модели и тестовым сценариям
  • Автоматизация тестирования моделей
07.04.2020
  • Публикация
  • 03.06.2019
Редактор-сообщества-Экспонента
Редактор-сообщества-Экспонента +230.08
н/д
По мере удешевления процессорных ресурсов и памяти встраиваемое программное обеспечение (ПО), применяемое повсеместно, значительно усложняется. Поэтому аспекты, связанные с разработкой систем повышенной надежности, начинают играть все более важную роль. О...

Авторы - Н.В. Богославский, В.М. Понятский, В.Г. Федорищева, П.В. Рословец

Рассмотрена технология проверки разрабатываемой системы управления на ранней стадии проектирования c использованием инструментов MathWorks. Технология поддерживает реализацию подхода «от модели к программе» и включает процедуры создания связи модели с документом требований; проверку модели на соответствие стандартам моделирования; функциональное тестирование модели; анализ на покрытие модели тестами; проверку на ошибки проектирования; доказательство свойств модели и автоматическую генерацию тестов для 100%-ого покрытия модели.

03.06.2019