Управление требованиями с Simulink Requirements

Первое видео плейлиста "Верификация - просто о сложном". После вводной части рассмтривается вопрос связки требований к проекту и модели Simulink. В виде опорного примера рассмотрен счетчик, смоделированный в данном видео: https://youtu.be/5M7EAZjwPj0?list=PLmu_y3-DV2_l9jcTrJTKjChwMVYvrDyJE Все видео и описание https://exponenta.ru/news/verifikaciya-prosto-o-slozhnom