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

В этом вебинаре освещаются вопросы, связанные с применение методов формальной верификации в MATLAB, Simulink и Polyspace.

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

Применения формальной верификации сегодня включают:

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