Documentation

Solver

hisl_0040: Configuration Parameters > Solver > Simulation time

ID: Titlehisl_0040: Configuration Parameters > Solver > Simulation time
Description

For models used to develop high-integrity systems, in the Configuration Parameters dialog box, on the Solver pane, set parameters for simulation time as follows:

A

Start time to 0.0.

B

Stop time to a positive value that is less than the value of Application lifespan (days).

Note

Simulink® allows nonzero start times for simulation. However, production code generation requires a zero start time.

By default, Application lifespan (days) is auto. If you do not change this setting, any positive value for Stop time is valid.

You specify Stop time in seconds and Application lifespan (days) is in days.

RationaleAGenerate code that is valid for production code generation.
Model Advisor Checks
  • By Task > Modeling Standards for DO-178C/DO-331 > High-Integrity Systems > Configuration > Check safety-related solver settings for simulation time

  • By Task > Modeling Standards for IEC 61508 > High-Integrity Systems > Configuration > Check safety-related solver settings for simulation time

  • By Task > Modeling Standards for IEC 62304 > High-Integrity Systems > Configuration > Check safety-related solver settings for simulation time

  • By Task > Modeling Standards for EN 50128 > High-Integrity Systems > Configuration > Check safety-related solver settings for simulation time

  • By Task > Modeling Standards for ISO 26262 > High-Integrity Systems > Configuration > Check safety-related solver settings for simulation time

For DO-178C/DO-331 check details, see Check safety-related solver settings for simulation time.

For IEC 61508, IEC 62304, EN 50128, and ISO 26262 check details, see Check safety-related solver settings for simulation time.

References
  • DO-331 Section MB.6.3.1.g—Algorithms are accurate
    DO-331 Section MB.6.3.2.g—Algorithms are accurate

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

See Also
Last ChangedR2017b

hisl_0041: Configuration Parameters > Solver > Solver options

ID: Titlehisl_0041: Configuration Parameters > Solver > Solver options
Description

For models used to develop high-integrity systems, in the Configuration Parameters dialog box, on the Solver pane, set parameters for solvers as follows:

A

Type to Fixed-step.

B

Solver to discrete (no continuous states).

Note

Generating code for production requires a fixed-step, discrete solver.

RationaleA, BGenerate code that is valid for production code generation.
Model Advisor Checks
  • By Task > Modeling Standards for DO-178C/DO-331 > High-Integrity Systems > Configuration > Check safety-related solver settings for solver options

  • By Task > Modeling Standards for IEC 61508 > High-Integrity Systems > Configuration > Check safety-related solver settings for solver options

  • By Task > Modeling Standards for IEC 62304 > High-Integrity Systems > Configuration > Check safety-related solver settings for solver options

  • By Task > Modeling Standards for EN 50128 > High-Integrity Systems > Configuration > Check safety-related solver settings for solver options

  • By Task > Modeling Standards for ISO 26262 > High-Integrity Systems > Configuration > Check safety-related solver settings for solver options

For DO-178C/DO-331 check details, see Check safety-related solver settings for solver options.

For IEC 61508, IEC 62304, EN 50128, and ISO 26262 check details, see Check safety-related solver settings for solver options.

References
  • DO-331 Section MB.6.3.1.g—Algorithms are accurate
    DO-331 Section MB.6.3.2.g—Algorithms are accurate

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

See AlsoSolver Pane in the Simulink documentation
Last ChangedR2017b

hisl_0042: Configuration Parameters > Solver > Tasking and sample time options

ID: Titlehisl_0042: Configuration Parameters > Solver > Tasking and sample time options
Description

For models used to develop high-integrity systems, in the Configuration Parameters dialog box, on the Solver pane, set parameters for tasking and sample time as follows:

A

Periodic sample time constraint to Specified and assign values to Sample time properties.

Caution

If you use a referenced model as a reusable function, set Periodic sample time constraint to Ensure sample time independent.

B

Clear the parameter Automatically handle rate transition for data transfer.

Notes

Selecting the Automatically handle rate transition for data transfer check box might result in inserting rate transition code without a corresponding model construct. This might impede establishing full traceability or showing that unintended functions are not introduced.

You can select or clear the Higher priority value indicates higher task priority check box . Selecting this check box determines whether the priority for Sample time properties uses the lowest values as highest priority, or the highest values as highest priority.

RationaleA, BSupport fully specified models and unambiguous code.
Model Advisor Checks
  • By Task > Modeling Standards for DO-178C/DO-331 > High-Integrity Systems > Configuration > Check safety-related solver settings for tasking and sample-time

  • By Task > Modeling Standards for IEC 61508 > High-Integrity Systems > Configuration > Check safety-related solver settings for tasking and sample-time

  • By Task > Modeling Standards for IEC 62304 > High-Integrity Systems > Configuration > Check safety-related solver settings for tasking and sample-time

  • By Task > Modeling Standards for EN 50128 > High-Integrity Systems > Configuration > Check safety-related solver settings for tasking and sample-time

  • By Task > Modeling Standards for ISO 26262 > High-Integrity Systems > Configuration > Check safety-related solver settings for tasking and sample-time

For DO-178C/DO-331 check details, see Check safety-related solver settings for tasking and sample-time.

For IEC 61508, IEC 62304, EN 50128, and ISO 26262 check details, see Check safety-related solver settings for tasking and sample-time.

References
  • DO-331, Section MB.6.3.4.e 'Source code is traceable to low-level requirements’

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

See AlsoSolver Pane in the Simulink documentation
Last ChangedR2017b
Was this topic helpful?