Формальная верификация в MATLAB и Simulink

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

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

10:00

Прошло

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля