主要内容

Stateflow图注意事项

hisf_0065:类型转换操作Stateflow提高代码合规

ID:标题 在Stateflow hisf_0065:铸型业务®提高代码合规
描述 在Stateflow图表,使用C语言,行动使用:=符号来防止Stateflow铸造整数和定点计算比输入数据类型更广泛的数据类型。
请注意

如果你遵循这个和其他建模指南,你增加生成代码的可能性,符合编码标准。
基本原理 避免隐式转换生成的代码可能违反编码标准。
模型顾问检查 检查作业操作Stateflow图表(金宝app仿真软件检查)
引用

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

  • IEC 61508 - 3、表(2)由强类型的编程语言
    IEC 61508 - 3、表各(3)防御性编程

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

  • ISO 26262 - 6,表1 (1 b)使用语言的子集
    ISO 26262 - 6,表1 (1 c)强类型的实施
    ISO 26262 - 6,表1 (1 d)使用防御性的实现技术

  • EN 50128表各(8)强类型的编程语言
    EN 50128表(1)由防御性编程

  • MISRA - C: 2012,规则10.1
    MISRA - C: 2012,规则12.2
先决条件 hisl_0060:配置参数改进MISRA - C: 2012
最后的改变 R2021a

hisf_0211:防止使用一元运算符Stateflow图表来改善代码合规

ID:标题 hisf_0211:防止Stateflow图表中使用一元操作符来改善代码合规
描述 提高合规生成的代码:
一个

不使用一元-运营商在无符号数据类型。
请注意

MATLAB®行动和C语言不限制使用一元-运营商无符号表达式。
基本原理 提高合规生成的代码。
模型顾问检查 一元操作符检查Stateflow图表(金宝app仿真软件检查)
引用

  • 做MB.6.3.1 - 331部分。b”高级需求是准确和一致的
    做MB.6.3.2 - 331部分。b的低级需求是准确和一致的

  • IEC 61508 - 3、表(2)由强类型的编程语言
    IEC 61508 - 3、表各(3)防御性编程

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

  • ISO 26262 - 6,表1 (1 b)使用语言的子集
    ISO 26262 - 6,表1 (1 c)强类型的实施
    ISO 26262 - 6,表1 (1 d)使用防御性的实现技术

  • EN 50128表各(8)强类型的编程语言
    EN 50128表(1)由防御性编程

  • MISRA - C: 2012,规则10.1
最后的改变 R2017b