主要内容

架构图

hisf_0004:防止递归函数调用来改善代码合规

ID:标题 hisf_0004:防止递归函数调用来改善代码合规
描述 提高合规的生成的代码,不递归地调用函数。这包括任何组合的图形功能,真值表函数,MATLAB®函数或模型金宝app®功能。
先决条件
笔记 当存在递归函数调用本身直接或间接通过一个函数调用。
基本原理 促进有界函数调用的行为。
模型顾问检查 检查使用递归(金宝app仿真软件检查)
引用
  • IEC 61508 - 3、表责任(6)“有限使用递归的

  • 5.5.3 IEC 62304——软件单元验收标准

  • ISO 26262 - 6,表6 (1 j)“不递归”

  • EN 50128表A.12 (6)“有限使用递归的

  • ——331年,部分MB.6.3.2。g算法是准确的
    ——331年,部分MB.6.3.3。d '软件架构是可验证的

  • MISRA - C: 2012,规则17.2

最后的改变 R2021a
例子

有多个Stateflow中的模式®这可能导致递归。

递归函数调用

当默认状态,输入事件广播在入口的行动。结果解释算法的递归调用。因为是活跃的,即将离任的过渡测试。由于当前事件匹配的转变事件(因为没有条件)条件执行行动,广播一次。这个结果在一个新的调用解释算法的重复相同的步骤序列,直到堆栈溢出。

递归函数调用

hisf_0013:使用过渡路径(穿越平行状态边界)

ID:标题

hisf_0013:使用过渡路径(穿越平行状态边界)

描述

为了避免创建图表,很难理解,

一个 避免创建转换从一个平行交叉状态到另一个地方。
笔记

您可以使用这条指导原则来维护一个高度集成项目建模语言子集。

基本原理 一个 增强模型的可读性。
模型顾问检查

检查Stateflow图表过渡路径交叉并行状态边界(金宝app仿真软件检查)

引用
  • IEC 61508 - 3、表a (3)的语言子集

  • 5.5.3 IEC 62304——软件单元验收标准

  • ISO 26262 - 6,表1 (1 b)使用的语言子集的

  • EN 50128年,各表(11)的语言子集

  • ——331年,部分MB.6.3.2。b的低级需求是准确和一致的

最后的改变 R2017b
例子

在接下来的例子中,当Out_A是4,父状态(A_ParentB_Parent)进来。重返地球的父状态重置价值Out_AOut_B为零。

hisf_0014:使用过渡路径(通过状态)

ID:标题

hisf_0014:使用过渡路径(通过状态)

描述

为了避免创建图表,困惑,包括过渡路径没有好处,

一个 避免过渡路径进入的状态没有结束亚态。
笔记

您可以使用这条指导原则来维护一个高度集成项目建模语言子集。

基本原理 一个 增强模型的可读性。
模型顾问检查

检查转型路径的不当使用(金宝app仿真软件检查)

引用
  • IEC 61508 - 3、表a (3)的语言子集

  • 5.5.3 IEC 62304——软件单元验收标准

  • ISO 26262 - 6,表1 (1 b)使用的语言子集的

  • EN 50128年,各表(11)的语言子集

  • MB.6.3.2 ddo - 331,部分。b的低级需求是准确和一致的

最后的改变 R2018b
例子

hisf_0015:强大的数据类型(铸造变量和参数表达式)

ID:标题

hisf_0015:强大的数据类型(铸造变量和参数表达式)

描述

促进强劲的数据类型,

一个

显式类型转换不同数据类型的变量和参数:

  • 转换条件

  • 转换操作

  • 国家的行为

笔记

Stateflow软件自动将不同类型的变量为相同的数据类型。这条指导原则帮助阐明中间变量的数据类型。

基本原理 一个 应用强大的数据类型。
模型顾问检查

检查Stateflow图表强劲数据类型(金宝app仿真软件检查)

引用
  • IEC 61508 - 3、表(2)由“强类型的编程语言”

  • 5.5.3 IEC 62304——软件单元验收标准

  • ISO 26262 - 6,表1 (1 c)“强类型的执行”

  • 在50128年,表各(8)“强类型的编程语言”

  • ——331年,部分MB.6.3.2。g算法是准确的

  • MISRA - C: 2012,规则10.1
    MISRA - C: 2012,规则12.2

最后的改变 R2021a
例子

推荐

不推荐

hisf_0016: Stateflow港口名称

ID:标题

hisf_0016: Stateflow港口名称

描述 Stateflow的名称必须与相应的输入或输出信号。例外原则是可重用Stateflow模块可以有不同的港口名称。
基本原理 金宝app支持代跟踪代码。
模型顾问检查

检查端口的命名Stateflow图表(金宝app仿真软件检查)

引用
  • ——331年,部分MB.6.3.2。b的低级需求是准确和一致的

  • IEC 61508 - 3、表a (3)的语言子集

  • 5.5.3 IEC 62304——软件单元验收标准

  • ISO 26262 - 6,表1 (1 b)使用的语言子集的

  • EN 50128年,各表(11)的语言子集

最后的改变 2018年,一个

hisf_0017: Stateflow数据对象范围

ID:标题

hisf_0017: Stateflow数据对象范围

描述 Stateflow数据对象与当地范围必须定义在表级别以下。
基本原理 金宝app支持代跟踪代码。
模型顾问检查

检查Stateflow数据对象的范围(金宝app仿真软件检查)

引用
  • ——331年,部分MB.6.3.2。b的低级需求是准确和一致的

  • IEC 61508 - 3、表a (3)的语言子集

  • 5.5.3 IEC 62304——软件单元验收标准

  • ISO 26262 - 6,表1 (1 b)使用的语言子集的

  • EN 50128年,各表(11)的语言子集

最后的改变 2018年,一个
例子

推荐

不推荐