Solver

hisl_0040: Configuration Parameters > Solver > Simulation time

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

Set these simulation time configuration parameters 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.

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

When configuration parameter Application lifespan (days) is set to auto (default), any positive value for Stop time is valid.

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 check details, see Check safety-related solver settings for simulation time (Simulink Check).

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 check details, see Check safety-related solver settings for solver options (Simulink Check).

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

Solver 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

Clear configuration parameterAutomatically handle rate transition for data transfer.

Notes

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

You can either 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.

RationaleSupport 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 check details, see Check safety-related solver settings for tasking and sample-time (Simulink Check).

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 Also

Solver Pane in the Simulink documentation

Last ChangedR2018a