主要内容

hisl_0037: Configuration Parameters > Model Referencing

R2026b

Configure model referencing parameters for consistent code generation

Usage: High-Integrity System Modeling

Guideline ID: hisl_0037

Rules

Set these Configuration Parameters as follows:

hisl_0037: Configuration Parameters > Model Referencing
A

Rebuild to Never or If any changes detected.

Rationale

To prevent unnecessary regeneration of the code, resulting in changing only the date of the file and slowing down the build process when using model references.

Verification

Check safety-related model referencing settings (Simulink Check)

B

Never rebuild diagnostic to Error if rebuild required.

Rationale

For safety-related applications, an error should alert model developers that the parent and referenced models are inconsistent.

Verification

Check safety-related model referencing settings (Simulink Check)

C

Clear Minimize artificial algebraic loop occurrences.

Rationale

To be compatible with the recommended setting of Single output / update function for embedded systems code.

Verification

Check safety-related model referencing settings (Simulink Check)

Industry Standards

  • DO-331, Section MB.6.3.1.b 'High-level requirements are accurate and consistent'

    DO-331, Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'

    DO-331, Section MB.6.3.3.b 'Software architecture is consistent'

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

    IEC 61508-3, Table A.4 (3) 'Defensive programming'

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

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

    ISO 26262-6, Table 1 (1d) 'Use of defensive implementation techniques'

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

    EN 50128, Table A.3 (1) 'Defensive Programming'

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

    EN 50657, Table A.3 (1) 'Defensive Programming'

  • EN 50716, Table A.3 (1) 'Defensive Programming'

Version History

Introduced in R2016b

expand all