hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values
R2026bClear min/max optimization to support traceability between model and generated code
Usage: High-Integrity System Modeling
Guideline ID: hisl_0056
Rules
| hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values |
|---|
To support verifiable code, clear configuration parameter Optimize using the specified minimum and maximum values. Rationale Support traceability between a model and generated code. Verification Check safety-related optimization settings for specified minimum and maximum values (Simulink Check) |
Tips
Selecting Optimize using the specified minimum and maximum values can result in requirements without associated code and violates traceability objectives.
Industry Standards
DO-331 Section MB.MB.6.3.4.e 'Source code is traceable to low-level requirements''
IEC 61508-3, Table A.4 (3) 'Defensive Programming'
IEC 62304, 5.5.3 - Software Unit acceptance criteria
ISO 26262-6, Table 1 (1d) 'Use of defensive implementation techniques
EN 50128, Table A.3 (1) 'Defensive Programming'
EN 50657, Table A.3 (1) 'Defensive Programming'
EN 50716, Table A.3 (1) 'Defensive Programming'
