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

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

  • Все 10
  • Вопросы 1
  • Статьи 9
Вопросы касающиеся верификации. Подробнее о верификации кода критических систем c LDRA
  • Публикация
  • 14.04.2020
Marat
Marat +1656.84
н/д
Запись доклада:  

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

  • Моделирование алгоритма
  • Оптимизация и автоматическая генерация HDL кода
  • Перевод в фиксированную точку
  • Веификация на ПЛИС
14.04.2020
  • Публикация
  • 07.04.2020
MiPe
MiPe +61.95
н/д
Запись доклада:

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

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

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

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

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

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

03.06.2019