hisl_0026: Design min/max specification of output interfaces

R2026b

Provide design minimum and maximum ranges for outport interfaces to support precise output interface specification

Usage: High-Integrity System Modeling

Guideline ID: hisl_0026

Rules

hisl_0026: Design min/max specification of output interfaces
Provide minimum and maximum interface ranges for each Root-level Outport block in Simulink^® model Root-level Outport ports of Architecture model Rationale Support precise specification of the output interface. Verification Check for root Output ports with missing range definitions (Simulink Check)

hisl_0026: Design min/max specification of output interfaces

Provide minimum and maximum interface ranges for each

Root-level Outport block in Simulink^® model
Root-level Outport ports of Architecture model

Rationale

Support precise specification of the output interface.

Verification

Check for root Output ports with missing range definitions (Simulink Check)

Tips

Specifying the range of root level Output ports enables additional capabilities.¹ Examples include:
- Detection of overflows through simulation range checking.
- Code optimizations using Embedded Coder^®.
- Design model verification using Simulink Design Verifier™.
- Fixed-point autoscaling using Fixed-Point Designer™.
Specified design ranges are used by Embedded Coder to optimize the generated code. To set these design ranges, select configuration parameter Optimize using the specified minimum and maximum values. This configuration parameter is applicable only when the System target file is an ERT-based target.
Ranges for bus-type Outport blocks are specified with the bus elements of the defining bus object. Simulink ignores range specifications provided directly at Outport blocks that are bus-type.

Industry Standards

DO-331, Section MB.6.3.2.d – 'Low-level requirements are verifiable'
DO-331 Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'
IEC 61508-3, Table B.9 (6) 'Fully defined interface'
IEC 62304, 5.5.3 - Software Unit acceptance criteria
ISO 26262-6, Table 1 (1c) – Enforcement of strong typing
ISO 26262-6, Table 7 (1e) – Formal verification
ISO 26262-6, Table 7 (1k) – Interface test
ISO 26262-6, Table 8 (1c) – Analysis of boundary values
ISO 26262-6, Table 3 (1c) – Restricted size of interfaces
EN 50128, Table A.1(11) – Software Interface Specifications
EN 50128 Table A.3 (19) 'Fully Defined Interface'
EN 50657, Table A.1(11) – Software Interface Specifications
EN 50657, Table A.3 (19) 'Fully Defined Interface'
EN 50716, Table A.1(11) – Software Interface Specifications
EN 50716, Table A.3 (17) 'Fully Defined Interface'

Version History

Introduced in R2013b

expand all

R2026a: Added EN 50657 references

The Industry Standards section has been updated to include EN 50657 references.

¹ These capabilities leverage design range information for different purposes. For more information, refer to the documentation for the tools you intend to use.