Solver

hisl_0040: Configuration Parameters > Solver > Simulation time

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

hisl_0041: Configuration Parameters > Solver > Solver options

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

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

ID: Title	hisl_0042: Configuration Parameters > Solver > Tasking and sample time options
Description	For multitasking models that are deployed with a preemptive (interruptable) operating system: Clear model configuration parameter Automatically handle rate transition for data transfer. Explicitly model rate transitions by using a Rate Transition block and selecting block parameter Ensure data integrity during data transfer. This guideline applies to rate-based models only.
Notes	Selecting the Automatically handle rate transition for data transfer parameter can insert rate transition code without a corresponding model construct. This can impede establishing full traceability or showing that only intended functions are included in generated code. You can select or clear the Higher priority value indicates higher task priority model configuration parameter. Selecting this parameter determines whether the Sample time properties parameter assumes lower values indicate higher priorities or higher values indicate higher priorities.
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
Last Changed	R2023a