图表属性- MATLAB和Simulink万博1manbetx - 万博1manbetx,s manbetx 845,万博尤文图斯

表属性

hisf_0001: Mealy和Moore语义

ID:标题	hisf_0001: Mealy和Moore语义
描述	创建状态流^®实现statflow语义子集的图表，
	一个	在“图表属性”对话框中，设置状态机类型来`粉状的`或`摩尔`．
	B	对模型中的状态流程图应用一致的设置。
请注意	设置状态机类型将状态流语义限制为纯Mealy或Moore语义。在高完整性的应用程序中，米利图和摩尔图可能更容易理解和使用。在米利图中，动作与过渡相关联。在摩尔图表中，行为与状态相关联。在编译时，Stateflow软件验证图表语义是否符合所选状态机类型的正式定义和规则。如果图表语义不符合，软件提供诊断消息。
基本原理	A、B	促进清晰的建模风格。
Model Advisor检查	按照任务>建模标准DO-178C/DO-331>高度集成的系统>Stateflow>检查状态流程图的状态机类型按照任务>IEC 61508建模标准>高度集成的系统>Stateflow>检查状态流程图的状态机类型按照任务>IEC 62304建模标准>高度集成的系统>Stateflow>检查状态流程图的状态机类型按照任务>ISO 26262建模标准>高度集成的系统>Stateflow>检查状态流程图的状态机类型按照任务>EN 50128的建模标准>高度集成的系统>Stateflow>检查状态流程图的状态机类型有关DO-178C/DO-331检查详细信息，请参见检查状态流程图的状态机类型．有关IEC 61508, IEC 62304, EN 50128和ISO 26262的详细信息，请参阅检查状态流程图的状态机类型．
参考文献	IEC 61508-3，表A.3(3) -语言子集 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)“语言子集的使用” EN 50128，表A.4 (11)的语言子集 DO-331, MB.6.3.1节。b“高层次的需求是准确和一致的” DO-331, MB.6.3.1节。e“高级需求符合标准” DO-331, MB.6.3.2节。b“低层次需求准确且一致” DO-331, MB.6.3.2节。e“低层次需求符合标准” DO-331, MB.6.3.3节。b“软件架构是一致的” DO-331, MB.6.3.3节。e“软件架构符合标准”
另请参阅	创建Mealy和Moore图表(Stateflow)
最后的改变	R2016a

hisf_0002:用户指定的状态/转换执行顺序

ID:标题	hisf_0002:用户指定的状态/转换执行顺序
描述	执行以下命令在状态流程图中显式设置活动状态和有效转换的执行顺序:
	一个	在“图表属性”对话框中，选择用户指定的状态/转换执行顺序．
	B	在状态流编辑器中，选择显示>图表>过渡执行令．
	C	将默认转换设置为最后评估。
请注意	选择用户指定的状态/转换执行顺序在“图表属性”对话框中，限制状态流图表语义对并行状态和转换的几何位置的依赖。指定状态和转换的执行顺序允许您在活动状态和有效转换的搜索顺序中强制执行确定性。您可以控制并行状态执行的顺序，以及测试来自源的转换的执行顺序。如果您没有显式地设置执行顺序，Stateflow软件将根据确定性算法确定执行顺序。选择显示>图表>过渡执行令显示转换测试顺序。
基本原理	A b c	提倡明确的建模风格。
Model Advisor检查	按照任务>建模标准DO-178C/DO-331>高度集成的系统>Stateflow>检查状态流程图以了解状态和转换的顺序按照任务>IEC 61508建模标准>高度集成的系统>Stateflow>检查状态流程图以了解状态和转换的顺序按照任务>IEC 62304建模标准>高度集成的系统>Stateflow>检查状态流程图以了解状态和转换的顺序按照任务>ISO 26262建模标准>高度集成的系统>Stateflow>检查状态流程图以了解状态和转换的顺序按照任务>EN 50128的建模标准>高度集成的系统>Stateflow>检查状态流程图以了解状态和转换的顺序有关DO-178C/DO-331检查详细信息，请参见检查状态流程图以了解状态和转换的顺序．有关IEC 61508, IEC 62304, EN 50128和ISO 26262的详细信息，请参阅检查状态流程图以了解状态和转换的顺序．
Model Advisor检查	按照任务>建模标准DO-178C/DO-331>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>IEC 61508建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>IEC 62304建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>ISO 26262建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>EN 50128的建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况有关DO-178C/DO-331检查详细信息，请参见检查状态流结构的使用情况．有关IEC 61508, IEC 62304, EN 50128和ISO 26262的详细信息，请参阅检查状态流结构的使用情况．
参考文献	本指南支持遵循:万博1manbetx DO-331, MB.6.3.2节。b“低层次需求准确且一致” DO-331, MB.6.3.3节。b“软件架构是一致的” DO-331, MB.6.3.3节。e“软件架构符合标准” IEC 61508-3，表A.3 (3)的语言子集 IEC 61508-3，表A.4 (5)“设计和编码标准” IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b)“语言子集的使用” ISO 26262-6，表1 (1e)“使用既定的设计原则” ISO 26262-6，表1 (1f)“使用明确的图形表示” ISO 26262-6，表1 (1g)“使用风格指南” ISO 26262-6，表1 (1h)“命名约定的使用” EN 50128，表A.4 (11)的语言子集 EN 50128，表A.12 (1)的编码标准 EN 50128，表A.12 (2)“编码风格指南”
另请参阅	状态流文档中的以下主题评估转换(Stateflow) 平行州的执行命令(Stateflow)
最后的改变	R2018a

hisf_0009:强数据类型(万博1manbetx而且Stateflow边界)

ID:标题	hisf_0009:强数据类型万博1manbetx^®和状态流边界)
描述	为了支万博1manbetx持Simulink和statflow之间的强数据类型，万博1manbetx
描述	一个	选择使用Simulink I/O强数据类型万博1manbetx．
笔记	默认情况下，状态流程图的输入和输出都是类型`双`．与数据类型以外的Simulink信号直接接口万博1manbetx`双`中,选择使用Simulink I/O强数据类型万博1manbetx．在这种模式下，Simulink和statflow边界之间的数据类型是强类型万博1manbetx的，并且Simulink软件不会将数据类型视为强类型`双`．状态流图接受Simulink软件支持的任何数据类型的输入信号，只要输入信号的类型与相应的状态流输入数据对象的类型匹配。万博1manbetx万博1manbetx否则，软件报告类型不匹配错误。
基本原理	一个	万博1manbetx支持强类型代码。
Model Advisor检查	按照任务>建模标准DO-178C/DO-331>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>IEC 61508建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>IEC 62304建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>ISO 26262建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况按照任务>EN 50128的建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况有关DO-178C/DO-331检查详细信息，请参见检查状态流结构的使用情况．有关IEC 61508, IEC 62304, EN 50128和ISO 26262的详细信息，请参阅检查状态流结构的使用情况．
参考文献	DO-331, MB.6.3.1节。b“高层次的需求是准确和一致的” DO-331, MB.6.3.1节。e“高级需求符合标准” DO-331, MB.6.3.1节。g“算法是准确的” DO-331, MB.6.3.2节。b“低层次需求准确且一致” DO-331, MB.6.3.2节。e“低层次需求符合标准” DO-331, MB.6.3.2节。g“算法是准确的” IEC 61508-3，表A.3(2)“强类型编程语言” IEC 61508-3，表A.3(3) -语言子集 IEC 61508-3，表A.4(5) -设计和编码标准 IEC 62304, 5.5.3 -软件单元验收标准 ISO 26262-6，表1 (1b) -语言子集的使用 ISO 26262-6，表1 (1c)“强类型强制执行” ISO 26262-6，表1 (1d) -使用防御性实现技术 ISO 26262-6，表1 (1e) -使用既定的设计原则 ISO 26262-6，表1 (1f) -使用明确的图形表示 ISO 26262-6，表1 (1g) -样式指南的使用 ISO 26262-6，表1 (1h) -命名约定的使用 EN 50128，表A.3(1) -防御性编程 EN 50128，表A.4 (8)“强类型编程语言” EN 50128，表A.4(11) -语言子集
最后的改变	R2017b

hisf_0011:Stateflow调试设置

ID:标题

hisf_0011:状态流调试设置

描述

为了防止不可达代码和不确定的执行时间，

一个

在“配置参数”对话框中设置:
- 诊断>数据的有效性>换行溢出来错误．
- 诊断>数据的有效性>模拟距离检查来错误．
在模型窗口中，选择:
- 模拟>调试>MATLAB和状态流错误检查选项>检测周期．

对于模型中的每个真值表，在设置在“真值表编辑器”菜单中，将以下参数设置为错误：

未指定

Overspecified

笔记

运行时诊断仅在模拟期间触发。如果在模拟过程中没有达到错误条件，则不会触发错误消息以生成代码。

基本原理 A、B 防止不可访问的代码和不可预测的执行时间。

Model Advisor检查

按照任务>建模标准DO-178C/DO-331>高度集成的系统>Stateflow>检查Stateflow调试选项
按照任务>IEC 61508建模标准>高度集成的系统>Stateflow>检查Stateflow调试选项
按照任务>IEC 62304建模标准>高度集成的系统>Stateflow>检查Stateflow调试选项
按照任务>ISO 26262建模标准>高度集成的系统>Stateflow>检查Stateflow调试选项
按照任务>EN 50128的建模标准>高度集成的系统>Stateflow>检查Stateflow调试选项

有关DO-178C/DO-331检查详细信息，请参见检查Stateflow调试选项．

有关IEC 61508, IEC 62304, EN 50128和ISO 26262的详细信息，请参阅检查Stateflow调试选项．

按照任务>建模标准DO-178C/DO-331>高度集成的系统>Stateflow>检查状态流结构的使用情况
按照任务>IEC 61508建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况
按照任务>IEC 62304建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况
按照任务>ISO 26262建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况
按照任务>EN 50128的建模标准>高度集成的系统>Stateflow>检查状态流结构的使用情况

有关DO-178C/DO-331检查详细信息，请参见检查状态流结构的使用情况．

有关IEC 61508, IEC 62304, EN 50128和ISO 26262的详细信息，请参阅检查状态流结构的使用情况．

参考文献

DO-331, MB.6.3.1节。b“高层次的需求是准确和一致的”
DO-331, MB.6.3.1节。e“高级需求符合标准”
DO-331, MB.6.3.2节。b“低层次需求准确且一致”
DO-331, MB.6.3.2节。e“低层次需求符合标准”
IEC 61508-3，表A.3(2)“强类型编程语言”
IEC 61508-3，表A.3(3) -语言子集
IEC 61508-3，表A.4(5) -设计和编码标准
IEC 62304, 5.5.3 -软件单元验收标准
ISO 26262-6，表1 (1b) -语言子集的使用
ISO 26262-6，表1 (1c)“强类型强制执行”
ISO 26262-6，表1 (1d) -使用防御性实现技术
ISO 26262-6，表1 (1e) -使用既定的设计原则
ISO 26262-6，表1 (1f) -使用明确的图形表示
ISO 26262-6，表1 (1g) -样式指南的使用
ISO 26262-6，表1 (1h) -命名约定的使用
EN 50128，表A.3(1) -防御性编程
EN 50128，表A.4 (8)“强类型编程语言”
EN 50128，表A.4(11) -语言子集

最后的改变 R2017b

这个话题有用吗?

文档

表属性

hisf_0001: Mealy和Moore语义

hisf_0002:用户指定的状态/转换执行顺序

hisf_0009:强数据类型(万博1manbetx而且Stateflow边界)

hisf_0011:Stateflow调试设置

万博1manbetx仿真软件文档

万博1manbetx

试试MATLAB、Sim万博1manbetxulink和其他产品s manbetx 845