Solver

ID: Title	hisl_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.
Rationale	A	Generate code that is valid for production code generation.
Model Advisor Checks	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	hisl_0048: Configuration Parameters > Math and Data Types > Application lifespan (days) Solver Pane in the Simulink documentation
Last Changed	R2017b

ID: Title	hisl_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.
Rationale	A, B	Generate code that is valid for production code generation.
Model Advisor Checks	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 Changed	R2017b

ID: Title	hisl_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.
Rationale	Support fully specified models and unambiguous code.
Model Advisor Checks	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 Changed	R2018a