hisl_0047: Configuration Parameters > Code Generation > Code Style

R2026b

Configure code style parameters for standards compliance and traceability

Usage: High-Integrity System Modeling

Guideline ID: hisl_0047

Rules

In the Configuration Parameters dialog box, on the Code Generation > Code Style pane, set these parameters:

hisl_0047: Configuration Parameters > Code Generation > Code Style
A

Set Parentheses level (Embedded Coder) to Standards(Parentheses for Standards Compliance) or Maximum(Specify precedence with parentheses).

Rationale

To prevent unexpected results.

Verification

Check safety-related code generation settings for code style (Simulink Check)

B

Select Preserve operand order in expression (Embedded Coder).

Rationale

To improve traceability of the generated code.

Verification

Check safety-related code generation settings for code style (Simulink Check)

Tips

  • These configuration parameters are available when configuration parameter System target file (Simulink Coder) is set to ert.tlc.

Industry Standards

  • DO-331, Section MB.6.3.1.c 'High-level requirements are compatible with target computer'

    DO-331, Section MB.6.3.2.c 'Low-level requirements are compatible with target computer

    DO-331, Section MB.6.3.4.e 'Source code is traceable to low-level requirements'

  • IEC 61508-3, Table A.3 (3) 'Language subset'

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1b) 'Use of language subsets'

  • EN 50128, Table A.4 (11) 'Language Subset'

  • EN 50657, Table A.4 (11) 'Language Subset'

  • MISRA C:2012, Rule 12.1

  • MISRA C:2023, Rule 12.1

Version History

Introduced in R2010a

expand all

See Also

(Embedded Coder)