Check safety-related optimization settings for specified minimum and maximum values
Check model configuration for optimization settings that can impact safety.
This check verifies that model optimization configuration parameters are set optimally for generating code for a safety-related application. Although highly optimized code is desirable for most real-time systems, some optimizations can have undesirable side effects that impact safety.
Available with Simulink® Check™.
Results and Recommended Actions
|The optimization that uses the specified minimum and maximum values for signals and parameters to optimize the generated code is selected. This might result in requirements without traceable code. (See DO-331 Section MB.6.3.4.e - Source code is traceable to low-level requirements.)||If you have an Embedded Coder® license and are using an ERT-based system target file,
clear Configuration Parameter Optimize using the
specified minimum and maximum values (Embedded Coder), or
Clicking Modify Settings configures model optimization settings that can impact safety.
Subchecks depend on the results of the subchecks noted with D in the results table in the Model Advisor window.
Capabilities and Limitations
Does not run on library models.
Does not allow exclusions of blocks or charts.
Does not highlight parameter names in report without Embedded Coder.
Optimize Generated Code Using Minimum and Maximum Values (Embedded Coder)
Radio Technical Commission for Aeronautics (RTCA) for information on the DO-178C Software Considerations in Airborne Systems and Equipment Certification and related standards