MISRA C:2012 合规性注意事项

MISRA C:2012 合规性，包括建模风格、模块用法和配置设置

这些高完整性建模规范有助于您为系统建模，从而提高生成符合 MISRA C:2012 编码标准的代码的可能性。使用针对这些规范的模型顾问检查以及针对 MISRA C:2012 编码标准的模型顾问检查 (Simulink Check)来验证您的模型。

建模规范

建模风格

hisl_0032: Model element names

hisl_0061: Unique identifiers for clarity

hisl_0062: Global variables in graphical functions

hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance

模块用法

hisl_0020: Blocks not recommended for MISRA C:2012 compliance

hisl_0101: Prevent operations that result in dead logic to improve code compliance

hisl_0102: Data type of loop control variables to improve MISRA C:2012 compliance

配置设置

hisl_0060: Configuration parameters that improve MISRA C:2012 compliance

Stateflow 图注意事项

hisf_0065: Type cast operations in Stateflow to improve code compliance

hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance