文档

金宝app支持限制Stateflow软件功能

金宝app®设计验证器™不支持以下状态流金宝app®软件功能。避免在您分析的模型中使用这些不受支持的特金宝app性。

ml命名空间操作符,ml函数,ml表达式

该软件不支持调用MATLAB金宝app®函数或访问MATLAB工作空间变量,这是Stateflow软件允许的。看到在C图表中访问MATLAB函数和工作空间数据(Stateflow)。

C或c++操作符

该软件不支持金宝app运算符Stateflow软件允许的操作符。

C数学函数

该软件支持调用以下C数学函金宝app数:

  • 腹肌

  • 装天花板

  • 晶圆厂

  • 地板上

  • 在你

  • 实验室

  • ldexp

  • 战俘(仅适用于整数指数)

该软件不支持调用Stateflow软件允许的金宝app其他C数学函数。如果在默认情况下启用了自动存根,软件将在分析过程中消除这些不支持的功能。金宝app

有关statflow中C数学函数的信息,请参见在C图表中调用C库函数(Stateflow)。

请注意

关于自动存根的详细信息,请参见使用自动存根处理不兼容

在子图外部调用导出图形函数的原子子图

该软件不支持调用导出图形函数的原子子图,而s金宝apptatflow软件允许这样做。

请注意

有关导出函数的信息,请参见导出状态流函数以供重用(Stateflow)。

原子子图输入和输出映射

如果原子子图中的输入或输出映射到不同范围的图表级数据,则软件不支持包含该原子子图的图表。金宝app

对于原子子图输入,当输入映射到输出、局部或参数范围的图级数据时,这种不兼容性就会应用。对于原子子图输出,当输出映射到本地范围的图级数据时,这种不兼容性就会应用。

递归和循环行为

该软件不支持递归函数,当一个函数通过另一个函金宝app数调用直接或间接地调用自身时,就会发生递归函数。状态流软件允许您使用图形化函数实现递归。

此外,该软件不支持Stateflow软件允许您使用事件广播和函数调用组金宝app合实现的递归。

请注意

有关在状态流程图中避免递归的信息,请参见避免图表中不必要的递归(Stateflow)。

状态流软件还允许您创建循环行为,其中一系列步骤被无限重复。如果你的模型有一个循环行为的图表,软件就不能分析它。

请注意

有关状态流程图中的循环行为的信息,请参见循环行为(Stateflow)。

但是,您可以修改具有循环行为的图表以使其兼容,如下面的示例所示。

下面的图表创建了循环行为。状态A调用状态A1,后者广播A清晰的事件到状态B,调用状态B2,后者广播a事件回到状态A,导致循环行为。

如果你改变发送函数调用使用定向事件广播,以便Set和Clear事件分别直接广播到状态B1和A1,循环行为消失,软件可以分析模型。

请注意

有关定向事件广播的好处的信息,请参见广播本地事件以同步并行状态(Stateflow)。

自定义C/ c++代码

如果你的模型由自定义C/ c++代码组成,金宝appSimulink设计验证器金宝app支持基于这些设置的分析:

  • 如果您启用导入自定义代码和自定义代码分析选项,该软件将支持自定义C/ c++代码进行分析。金宝app有关更多信息,请参见导入自定义代码(金宝app模型)和启用自定义代码分析(金宝app模型)。

  • 如果启用导入自定义代码选项,且自定义代码分析选项设置为,该模型与分析兼容,但在分析期间对自定义代码的调用是存根的。

  • 如果导入自定义代码选项设置为,则不支持自定义代码,且模型与分析不兼容。金宝app

Machine-Parented数据

该软件不支持Stateflow软件允许的由机金宝app器生成的数据(即在Stateflow机器级别定义的数据)。

有关更多信息,请参见在图表中使用数据的最佳实践(Stateflow)。

带有文字字符串参数的文本函数

该软件不支持状态流程图中文本函数的文字字符串金宝app参数。