分析出口函数模型

Simulink^® Design Verifier™ 支持导出功能模型的设计错误检测、测试生成和属性证明。软件建立调用导出函数模型的调度模型，并对该调度模型进行分析。调度程序模型根据顶层模型中设置的采样时间和优先级来调用函数。默认情况下，软件将调度程序模型保存在 <current_folder>\sldv_output\<model_name>\<model_name>_SldvScheduler.slx 中。您可以分析具有周期和非周期函数调用组的导出函数模型。如果模型由非周期函数调用或全局 Simulink 函数调用组成，则调度程序有一个名为 FcnTriggerPort 的附加端口。有关更多信息，请参阅导出函数模型概述。

这些主题涵盖了解释周期性函数调用子系统和全局 Simulink 函数的示例，您可以将其用作 AUTOSAR 服务器可运行程序。