В этом примере показано, как можно анализировать модель sldvexGlobalSimFcn
экспорта функций это состоит из глобального Simulink® Функция, которая будет использоваться в качестве выполнимого сервера AUTOSAR.
Добавьте папку в качестве примера в путь поиска файлов.
addpath(fullfile(docroot,'toolbox','sldv','examples'));
Откройте sldvexGlobalSimFcn
модель.
open_system('sldvexGlobalSimFcn');
Чтобы запустить анализ генерации тестов, на вкладке Design Verifier, нажимают Generate Tests.
Окно Simulink Design Verifier™ Results Summary указывает что модель sldvexGlobalSimFcn_sldvScheduler.slx
планировщика создается. Можно также сгенерировать модель планировщика при помощи
sldvextract
.
Модель планировщика состоит из блока MATLAB function _SldvExportFcnScheduler
и подсистема вызова функций, которая периодически вызывает вызовы функции. Этот блок MATLAB function управляется импортом, который представляет входные параметры Функции Simulink. Дополнительный блок Inport под названием FcnTriggerPort
, значение которого указывает, вызвать ли конкретную функцию во временном шаге.
После анализа генерации тестов, в окне Simulink Design Verifier Results Summary, вы видите результаты что 5/5
целями является Satisfied
.