表属性
hisf_0001:状态机类型
| ID:标题 | hisf_0001:状态机类型 | |
|---|---|---|
| 描述 | 创建Stateflow®图表,实现Stateflow语义一致,使用相同的状态机类型(经典,粉状的,或摩尔)所有图表模型。 |
|
| 请注意 | 在粉状的图表、行动与转换。摩尔的图表、动作与状态有关。在经典的图表,动作可以与过渡和状态有关。 在编译时,Stateflow验证图表符合正式的语义定义和规则所选类型的状态机。如果图表语义不合规,软件提供了一个诊断消息。 |
|
| 基本原理 | 促进一个明确的建模风格。 | |
| 模型顾问检查 | 检查状态机Stateflow图表的类型(金宝app仿真软件检查) | |
| 引用 |
|
|
| 另请参阅 |
|
|
| 最后的改变 | R2018b | |
hisf_0002:指定的国家/过渡执行顺序
| ID:标题 | hisf_0002:指定的国家/过渡执行顺序 | |
|---|---|---|
| 描述 | 做下面的显式地设置活动状态和有效转换的执行顺序Stateflow图表: |
|
| 一个 | 在图表属性对话框中,选择用户指定的国家/过渡执行顺序。 |
|
| 先决条件 | >诊断> Stateflow hisl_0311:配置参数 | |
| 请注意 | 选择用户指定的国家/过渡执行顺序限制Stateflow图的依赖语义的几何位置平行的状态和转换。 指定状态和转换的执行顺序允许您执行决定论在搜索为活跃状态和有效转换。你有控制的顺序并行执行状态和转换来自一个源的测试执行。如果不显式地设置执行顺序,Stateflow软件决定了确定性算法后执行顺序。 |
|
| 基本原理 | 一个 | 促进一个明确的建模风格。 |
| 模型顾问检查 | 检查Stateflow图表排序的状态和转换(金宝app仿真软件检查) | |
| 引用 | 这条指导原则支持坚持:金宝app
|
|
| 另请参阅 |
|
|
| 最后的改变 | R2018b | |
hisf_0011:Stateflow调试设置
| ID:标题 | hisf_0011: Stateflow调试设置 |
|
|---|---|---|
| 描述 | 防止遥不可及的代码和不确定的执行时间, |
|
| 一个 | 设置配置参数包装上溢出和模拟范围检查来 在模型中,打开调试选项卡并选择诊断>检测周期性行为 |
|
| B | 右键单击每个事实表模型和选择属性。设置这些参数
|
|
| 笔记 | 在仿真运行时诊断只是触发。如果错误条件没有达到在仿真中,错误消息不触发代码生成。 |
|
| 基本原理 | A、B | 防止遥不可及的代码和不可预知的执行时间。 |
| 模型顾问检查 | 检查Stateflow调试选项(金宝app仿真软件检查) | |
| 引用 |
|
|
| 另请参阅 | 指定属性的真值表的功能(Stateflow) | |
| 最后的改变 | R2017b | |
