hisl_0025: Design min/max specification of input interfaces

R2026b

Provide design minimum and maximum ranges for inport interfaces to support precise input interface specification

Usage: High-Integrity System Modeling

Guideline ID: hisl_0025

Rules

hisl_0025: Design min/max specification of input interfaces
Provide design minimum and maximum interface ranges for each Root-level Inport block in Simulink^® model Root-level Input port of Architecture model Rationale Support precise specification of the input interface. Verification Check for root Inports with missing range definitions (Simulink Check)

hisl_0025: Design min/max specification of input interfaces

Provide design minimum and maximum interface ranges for each

Root-level Inport block in Simulink^® model
Root-level Input port of Architecture model

Rationale

Support precise specification of the input interface.

Verification

Check for root Inports with missing range definitions (Simulink Check)

Tips

Specifying the range of root level Input 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 use these design ranges for optimization, 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 Inport blocks are specified with the bus elements of the defining bus object. Simulink ignores range specifications provided directly at Inport 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.