В этом вебинаре освещаются вопросы, связанные с применение методов формальной верификации в MATLAB, Simulink и Polyspace.
В этом вебинаре освещаются вопросы, связанные с применение методов формальной верификации в MATLAB, Simulink и Polyspace.
Формальная верификация применяется при разработке ПО с 1970х годов. Использование таких методов часто ограничено специализированными системами и исследовательскими проектами. Новые инструменты и интеграция с симуляцией, а также другими технологиями обещают открыть новую эру в разработке встраиваемого ПО и верификации.

Применения формальной верификации сегодня включают:
  • Верификация дизайна относительно функциональных требований;
  • Поиск ошибок проектирования;
  • Генерация тестов;
  • Анализ покрытия тестами;
  • Поиск ошибок времени выполнения;
  • Доказательство отсутствия ошибок времени выполнения.
03 декабря
Вторник

10:00

Прошло

Поделиться

${message}

${message}