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:

Start time to 0.0.

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

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

By default, Application lifespan (days) is inf. 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.

• IEC 61508-3, Table A.3 (3) 'Language subset'

• ISO/DIS 26262-6, Table 1 (b) 'Use of language subsets'

• hisl_0048: Configuration Parameters > Optimization > Application lifespan (days)

• Solver Pane section of the Simulink documentation

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

Type to Fixed-step.

Solver to discrete (no continuous states).

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

• IEC 61508-3, Table A.3 (3) 'Language subset'

• ISO/DIS 26262-6, Table 1 (b) 'Use of language subsets'

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:

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.

Tasking mode for periodic sample times to SingleTasking or MultiTasking.

Clear the parameter Automatically handle data transfers between tasks.

Selecting the Automatically handle data transfers between tasks 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.

• IEC 61508-3, Table A.3 (3) 'Language subset'

• ISO/DIS 26262-6, Table 1 (b) 'Use of language subsets'

• DO-178B, Section 6.3.4e 'Source code is traceable to low-level requirements'