Matlab Simulink Stateflow控制算法建模规范 中文

Matlab/Simulink/Stateflow控制算法建模规范

3.0版

Mathworks汽车咨询委员会

（MAAB）

1修订历史

2介绍

2.1动机

MAAB建模规范无论是在组织内部还是在与合作伙伴和分包商合作时都是项目成功与团队协作的重要基础。遵守建模规范是实现以下目标的重要前提：

●无问题的系统集成

●明确定义的界面

●统一的模型外观、编码及文件编制

●可重用模型

●可读的模型

●无问题的模型交换

●简单高效的过程

●专业的文件编制

●清晰易懂的展示

●快速的软件变更

●与分包商的合作

●将研究或重建项目移交给产品开发

2.2对

3.0版的批注

本规范的现行版本3.0版支持MATLAB算法，包括其R2007b至R2011b版。3.0版参考了《美国国家航空航天局猎户座指南》中的部分规则。参考的规则均在“参见”部分中标明了该规则在《美国国家

航空航天局猎户座指南》中的编号。

2.3规范模板

规范描述采用下列模板出具。建议想要附加其他规范的公司也采用下列模板进行添加。

注：本模板的各项元素是为使规范得到合理的理解与交流所必须提供的最小项。允许对本模板的项目或卖主部分进行补充，只要补充的部分不与原有部分在意义上重合即可。事实上，如果上述补充能有助于整合其他规范模板并促使核心模板本身达到更广泛的接收度，这样的补充是受到鼓励的。

2.3.1规范ID

●规范的ID由两个小写字母（表示规则的出处）和四位数字组

成，中间用一段下划线隔开。

●一旦一份新规范有了ID，该ID将不再改变。

●ID用来指代相应的规范。

●以“na”、“jp”、“jc”、“eu”开头的ID预留给未来的MAAB

规范使用。

●保留以“db”、“jm”、“hd”、“ar”开头的ID。

●新规则的ID不得以上述字母开头。

2.3.2规范标题

●规范的标题应对该规范的应用领域进行简短且唯一的描述

（例如，名字的长度）。

●规范的标题适用于前提条件部分及定制检测工具。

●规范的标题应与到该规范的超链接同时写出。

注：标题不应为对规范内容的多余的简要描述。对规范内容的描述未来可能发生改变，但规范的标题始终不得更改。

2.3.3优先级

每条规范都须根据下列优先顺序进行评级：

●强制要求

●强烈建议

●建议

优先级描述该规范的重要程度并决定违反该规范的后果严重程

度：

2.3.4适用范围

适用范围可以是以下三者之一：

MAAB (MathWorks汽车咨询委员会)

J-MAAB (日本MAAB)

NA-MAAB (北美MAAB)

“MAAB”是一个与MathsWorks紧密合作的汽车制造商及供应商的团队。MAAB包括两个子团队，即日本MAAB及北美MAAB。

“J-MAAB”是MAAB的子团队，包括与MathsWorks紧密合作的日

本汽车制造商及供应商。J-MAAB规则的适用范围为日本当地。

“NA-MAAB”是MAAB的子团队，包括与MathsWorks紧密合作的美国及欧洲的汽车制造商及供应商。该规则是美国及欧洲当地的规则。覆盖范围为美国和欧洲。

2.3.5M ATLAB版本

本规范适用于MATLAB及Simulink所有版本的产品。如果一条规则仅适用于MATLAB的某一个或某几个版本，则适用版本的信息应在MATLAB版本部分进行说明，说明格式为下列格式中的一种：

●全部：MATLAB的所有版本

●RX, RY, RZ：MATLAB的某一特定版本

●RX及其之前的版本：RX发布之前的MATLAB版本

●RX 及其之后的版本：RX发布之后直至现行版本发布期间的MATLAB版本

●RX至RY的版本: RX至RY之间的MATLAB版本

2.3.6前提

●该部分是到其他规范的链接，链接的规范均为本规范的前提

（逻辑关联）。

●每个链接须注明相应规范的ID（为了一致性）和标题（为了

可读性）。“前提”部分不应包括任何其他文本。

2.3.7描述

●该部分包括对规范的详细描述。

●如有需要，可添加图像和表格。

注：如果正式表达（数学符号、正规表达式、语法图及精确数值/范围）可用，应使用正式表达对规范进行清楚明白的描述并指定一项自动检测。此外，为了日常参考，还须提供一份人性化的、可理解的、非正式的描述。

2.3.8理由

规范的建议可出于以下一种或多种原因：

●可读性：易于理解的算法

●可读的模型

●统一的模型外观、编码及文件编制

●清洁的界面

●专业的文件编制

●工作流：高效的发展进程及工作流

●易于维护

●迅速的改型设计

●可重复使用的部件

●无问题的模型交换

●模型可携带型

●模拟：高效的模拟与分析

●模拟速率

●模拟内存

●模型检测

●验证&确认：有能力对模型及生成的代码就下列因素进行验证和确

认：

●需求的可追溯性

●测试

●无问题的系统集成

●清洁的界面

●代码生成：生成对内嵌系统有效的代码

●快速的软件变更

●生成的代码的稳健性

2.3.9最终更改

“最终更改部分”包括文件版本编号。

2.4文件使用

以下段落提供的信息是关于使用本文件作为参考以及参照本文件编写具体项目的规范文件的。附件A中可以找到关于对本规范进行自动校核的信息。

2.4.1规范交互作用语义

本文件的起始段“命名规范与模型架构”提供了适用于各种模型的基本规范。其后的“Simulink与Stateflow”部分提供上述环境中的具体规则。某些规范是依赖于其他规范的，模板中自始至终都对其作了明确说明。

2.4.2隐匿的子系统及可读性规则

如果用户没有查看模型内部隐匿子系统的内容，则关于可读性的规范不再适