主要内容

hisl_0039: Configuration Parameters > Code Generation > Interface

R2026b

Configure code generation interface parameters for high-integrity embedded systems

Usage: High-Integrity System Modeling

Guideline ID: hisl_0039

Rules

For models used to develop high-integrity systems, in the Configuration Parameters dialog box, on the Code Generation > Interface pane, set the Software environment, Code interface, and Data exchange interface parameters as follows:

hisl_0039: Configuration Parameters > Code Generation > Interface
A

Clear Support: non-finite numbers.

Rationale

Support for non-finite numbers is not recommended for real-time safety-related systems.

Verification

Check safety-related code generation interface settings (Simulink Check)

B

Clear Support: continuous time.

Rationale

Support for continuous time is not recommended for real-time safety-related systems.

Verification

Check safety-related code generation interface settings (Simulink Check)

C

Clear Support: non-inlined S-functions.

Rationale

Support for non-inlined S-functions requires support of non-finite numbers, which is not recommended for real-time safety-related systems.

Verification

Check safety-related code generation interface settings (Simulink Check)

D

Clear Classic call interface.

Rationale

To eliminate model function calls compatible with the main program module of the pre-2012a GRT target that is not recommended for real-time safety-related systems; use an ERT based target instead.

Verification

Check safety-related code generation interface settings (Simulink Check)

E

Select Single output / update function.

Rationale

To simplify the interface to the real-time operating system (RTOS) and simplify verification of the generated code by creating a single call to both the output and update functions.

Verification

Check safety-related code generation interface settings (Simulink Check)

F

Clear Terminate function required.

Rationale

To eliminate model_terminate function, which is not recommended for real-time safety-related systems.

Verification

Check safety-related code generation interface settings (Simulink Check)

G

Select Remove error status field in real-time model data structure.

Rationale

To eliminate extra code for logging and monitoring error status that might not be reachable for testing.

Verification

Check safety-related code generation interface settings (Simulink Check)

H

Clear MAT-file logging.

Rationale

To eliminate extra code for logging test points to a MAT file that is not supported by embedded targets.

Verification

Check safety-related code generation interface settings (Simulink Check)

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

  • 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'

Version History

Introduced in R2016b

expand all