金宝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支持基于这些设置的分析:
Machine-Parented数据
该软件不支持Stateflow软件允许的由机金宝app器生成的数据(即在Stateflow机器级别定义的数据)。
有关更多信息,请参见在图表中使用数据的最佳实践(Stateflow)。
带有文字字符串参数的文本函数
该软件不支持状态流程图中文本函数的文字字符串金宝app参数。