This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English version of the page.

Note: This page has been translated by MathWorks. Click here to see
To view all translated materials including this page, select Country from the country navigator on the bottom of this page.

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

For models used to develop high-integrity systems, in the Configuration Parameters dialog box, on the Solver pane, clear 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.

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.

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