Simulink建模规范 3.0(MAAB)-11部分-14部分

11.附录A：模型检查工具开发（Recommendations for Automation Tools）该部分适用于开发模型检查工具的公司。

MathWorks汽车咨询委员会（MAAB）为使用MathWorks工具箱开发工具的供应商制定了这些建议，工具供应商应该根据该部分开发模型检查工具。

为了向工具的潜在用户提供最大限度的信息，建议工具供应商提供一个合规性矩阵（compliance matrix），该矩阵可在工具运行时轻松访问。

无需购买工具即可获得此信息。

合规矩阵应包括以下信息：⏹检查使用的指南版本●包括MAAB指南标题页上的完整标题（完整标题和版本号）。

⏹每条指南应该包括如下信息：●指南ID●指南标题●合规性等级●详情注：指南ID和标题应与指南中ID和标题完全一致。

合规性等级包括：纠正（Correction）–工具检查并自动或半自动纠正不合规项。

检查（Check）–工具检查并标记不合规项。

由软件开发人员纠正。

部分检查（Partial）–工具检查指南的部分规则。

细节部分应明确指出检查了哪部分规则和哪部分规则未检查。

无（None）–工具未检查指南。

对于未检查项，强烈建议供应商提供如何手动检查的方法。

12.附录B：指南制定（Guideline Writing）该部分适用于指定新的指南。

具有以下特征的指南易于理解和使用，因此，指定指南时至少应包括以下特征：●可理解且明确的（Understandable and unambiguous）●易于查找（Easy to find）●最小化（Minimal）可理解且明确的（Understandable and unambiguous）：指南描述应准确、措辞清晰、简洁，并应定义模型（或模型的一部分）的属性特征。

小心地使用“必须”、“应当”、“应当”和“可以”等词；它们具有不同的含义，对模型开发人员和模型检查人员（人工和自动化）很重要。

如果指南作者描述了如何达到指南规范一致的操作（例如，通过选择特定选项或单击特定按钮），则对读者很有帮助。

示例、反例、图片、图表和屏幕截图也很有用，推荐使用。

最小化准则允许的例外情况；它们模糊了准则，使其更难应用。

如果一个准则有许多允许的例外情况，您可能试图用一个准则覆盖太多的特征-请参阅下面的“最小化（Minimal）”了解一些解决方案。

易于查找（Easy to find）：指南应该有一个清晰，稳定的标题，并放在指南的合适位置。

指南的标题应该描述所涵盖的主题，而不是具体的标准。

这使得标题不太可能随着时间的推移而改变，因此更容易找到。

具体的标准应包含在指南的描述中。

例如，如果一条准则涉及名称中允许的字符，则准则的标题应类似于“名称中允许的字符”，准则的说明应明确指出哪些字符是或不使用的。

如果指南具有先决条件，则它们应出现在从属指南之上或之前。

（如果先决条件在不同的部分中，先决条件可能不能总在从属指南之前。

）最小化（Minimal）：每条指南仅规定一个模型特征。

指南应该具有原子性（不可再分割）。

例如：与其编写一个同时处理错误预防和可读性的大准则，不如制定两个准则——一个处理错误预防，一个处理可读性。

此外，大的指导方针比小的指导方针更有可能要求妥协以获得广泛接受。

因此，大的指导方针可能会变得更弱、更不具体、更不有益。

小的、有重点的指导方针不太可能因为妥协而改变，而且更容易被采纳。

13.附录C StateFlow 参考（Flowchart Reference）IF THEN ELSEIF THEN ELSE IFCascade of IF THEN互斥条件CASE(CASE with exclusive conditions)FOR LOOP WHILE LOOP DO WHILE LOOPCascade of IF THEN14.过时的规则（Obsolete rules）14.1在2.2版本中删除规则JM_0013：注释：该指规则在最初版本R13中存在一个打印错误。

在R14 SP1中修改了该错误。

14.2在版本3.0中删除规则在版本3.0中没有规则被删除术语（Glossary）动作（Actions）动作（Actions）是Stateflow图执行的一部分。

动作可以从一个状态到另一个状态转移过程中执行，或者在活动状态中执行。

转移动作分为条件动作和转移动作。

例如：状态有进入（entry）,过程中（during）,退出（exit）和事件（on event_name）动作。

例如：如果输入名称和反斜杠，然后直接输入一个或多个动作（不带entry关键字），则该动作将被解释为输入动作。

如果仅指定进入（entry）动作，则此快捷方式很有用。

动作语言定义了您可以指定的动作类别及其相关符号。

动作可以是函数调用，要广播的事件，要赋值的变量等。

动作语言（Action Language）有时需要动作在Stateflow图执行过程中发生。

动作可以从一个状态到另一个状态转移过程中执行（称为转移动作）或者在活动状态中执行。

转移动作分为条件动作和转移动作。

状态（States）有进入（entry）,过程中（during）,退出（exit）和事件（on event_name）动作。

动作可以是函数调用，要广播的事件，要赋值的变量等。

动作语言定义了您可以指定的动作类别及其相关语法格式。

解析器将违反动作语言符号的行为标记为错误。

本节介绍动作语言符号规则。

表实例（Chart Instance）一个表实例是一个Stateflow模型到Simulink 库中表的连接。

Simulink 库中的表可以有多个实例（可以理解为库中的表时定义了一个类，模型中的表实例相当于类的一个对象，作者注）。

更新Simulink 库中的表会更新模型中表的实例。

条件（Condition）条件是一个布尔表达式，该表达式为真时转移发生。

例如：动作语言定义了转移条件的语法格式。

连接点（Connective Junction）连接点是系统中的逻辑判断点。

连接点是一个图形对象，它简化了Stateflow图的描述并促进高效代码的生成。

连接点提供了描述系统行为的替代方法。

下面示例说明了连接点（显示为小圆圈）如何描述if结构的流程。

也可以等效描述为：按钮数据（data）数据对象保存Stateflow 中使用的数据值。

定义数据（Defining Data）状态机可以存储和检索Stateflow内部的工作空间中的数据。

也可以访问嵌入状态机的Simulink模型或应用程序中的外部数据。

创建Stateflow模型时，必须定义状态动作引用的内部或外部数据。

数据字典（Data Dictionary）数据字典是一个管理Stateflow信息的数据库。

当创建一个Stateflow图形对象并保存该对象时，该对象的信息被保存在数据字典中。

分解（Decomposition）分解可以是一个状态由一个或多个子状态组成。

一个状态流图包含至少一个状态也是分解。

分解表示如何在层次结构中对状态进行分组的规则。

超级状态可以是并行（和）或互斥（或）分解。

层次结构中特定层的所有子状态必须具有相同的分解（即全部状态并行或互斥）。

并行状态分解（Parallel (AND) State Decomposition）当状态具有虚线边界时，表示并行（和）状态分解。

如果层次结构中处于同一层次的所有状态同时需要被激活，则此可以将该层次状态设置为并行状态分解。

平行状态中的活动本质上是独立的。

互斥状态分解（Exclusive (OR) State Decomposition）互斥（或）状态分解是由具有实边界的状态表示的。

互斥（或）分解用于描述互斥的系统模式。

一次只能激活层次结构中同一层次的一个状态。

缺省转移（Default Transition）缺省转移主要用于当存在多个互斥状态时，指定一个缺省状态。

例如：一个超级状态，包含几个互斥子状态。

超级状态被激活，在没有其他信息的情况下，Stateflow激活超级状态的缺省子状态。

缺省转移也可以指定缺省连接点（Connective Junction）。

缺省转移是通过从工具栏中选择缺省对象，然后将其拖放到目标对象来创建。

缺省转移对象是具有目标对象但没有源对象的转移。

按钮事件驱动状态流图的执行。

必须定义影响状态流图的所有事件。

事件的发生会导致对Stateflow图中状态的状态进行评估。

事件的广播可以触发转移和/或触发要执行的动作。

在层次结构中事件以自上而下的方式广播即从事件的父级开始广播。

有限状态机（Finite State Machine）有限状态机（FSM）是事件驱动系统的表示。

FSMs也被用来描述应答系统。

在事件驱动或应答系统中，如果转移条件为真，系统从一种模式或状态转移到另一种规定的模式或状态。

流图（Flow Graph）流图是一组流程图（Flowcharts）。

流程图开始于转移段。

转移段开始于一个状态或是转移段本身是缺省转移段。

流程图（Flowcharts）。

流程图是有序的转移段（transition segments）和连接点（junctions）序列，其中每个后续段从前一段的连接点（junctions）开始。

子流图（Flow Subgraph）子流图是从同一转移条件开始的一组流程图。

层次结构（Hierarchy）将一个状态放在另一个状态中构成层次结构，有利于构建复杂的系统。

层次化设计通常会减少转移的次数，并生成更整洁、更易于管理的图表（diagrams.）。

历史节点（History Junction）历史连接提供了根据历史信息指定转移目标子状态的方法。

如果超级状态具有历史连接点且再次激活时，则最近被激活的状态被激活。

在层次结构中历史连接作用于放置历史节点的层次（即只影响放置历史节点的层次子状态，孙状态不会被影响，作者注）。

按钮内部转移（Inner Transitions）内部转移不会退出源状态。

内部转移在并行（OR）分解中是非常有用的，能够很大程度简化Stateflow 图。

库链接（Library Link）库链接是一个模型chart实例到Simulink 块库的chart库模型的链接。

A library link is a link to a chart that is stored in a library model in a Simulink block library.库模型（Library Model）Stateflow库模型是存储在Simulink库中的Stateflow模型。

通过复制库中的图表(chart)，可以将图表添加到模型。

将图表从库复制到模型中时，Stateflow在物理上不包括该图表。

而是会创建指向库图表的链接。

可以创建指向单个图表的多个链接。

每个链接都称为图表实例。