Configuration Parameter Considerations

R2026b

Solver, diagnostics, and optimization settings

Apply high-integrity guidelines for solver, diagnostics, and optimization settings.

Modeling Guidelines

Solver

hisl_0040: Configuration Parameters > Solver > Simulation time	Set simulation start and stop time parameters for production code generation
hisl_0041: Configuration Parameters > Solver > Solver options	Configure fixed-step discrete solver for production code generation
hisl_0042: Configuration Parameters > Solver > Tasking and sample time options	Configure explicit rate transitions for multitasking models with preemptive operating systems

Math and Data Types

hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)	Enable Boolean type checking to support unambiguous logical operator behavior
hisl_0048: Configuration Parameters > Math and Data Types > Application lifespan (days)	Set application lifespan to infinity for systems that run continuously

Diagnostics

hisl_0013: Usage of data store memory	Set data store memory diagnostics to error to identify communication issues
hisl_0036: Configuration Parameters > Diagnostics > Saving	Set saving configuration parameters to error to prevent unexpected results
hisl_0043: Configuration Parameters > Diagnostics > Solver	Set solver diagnostic parameters to detect configuration issues that could impact code generation
hisl_0044: Configuration Parameters > Diagnostics > Sample Time	Set sample time diagnostic parameters to error to support robust code generation
hisl_0301: Configuration Parameters > Diagnostics > Compatibility	Set S-function upgrades diagnostic to error to improve design robustness
hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters	Set data validity parameter diagnostics to error to improve design robustness
hisl_0303: Configuration Parameters > Diagnostics > Data Validity > Merge blocks	Set Merge block driving blocks diagnostic to error to improve design robustness
hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization	Set underspecified initialization detection to simplified to improve design robustness
hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging	Set Model Verification block enabling to disable all to improve design robustness
hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals	Set connectivity signal diagnostics to error to improve design robustness
hisl_0307: Configuration Parameters > Diagnostics > Connectivity > Buses	Set connectivity bus diagnostics to error to improve design robustness
hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls	Set context-dependent inputs diagnostic to error to improve design robustness
hisl_0309: Configuration Parameters > Diagnostics > Type Conversion	Set type conversion diagnostics to detect unsafe conversions and improve design robustness
hisl_0310: Configuration Parameters > Diagnostics > Model Referencing	Set model referencing diagnostics to error to improve design robustness
hisl_0311: Configuration Parameters > Diagnostics > Stateflow	Set Stateflow diagnostics to error to improve design robustness and promote clear modeling style
hisl_0314: Configuration Parameters > Diagnostics > Data Validity > Signals	Set data validity signal diagnostics to error to improve design robustness

Hardware Implementation

hisl_0071: Configuration Parameters > Hardware Implementation > Inconsistent hardware implementation settings

Ensure consistent hardware implementation settings between production and test hardware

Model Referencing

hisl_0037: Configuration Parameters > Model Referencing

Configure model referencing parameters for consistent code generation

Code Generation

hisl_0052: Configuration Parameters > Code Generation > Optimization > Data initialization	Explicitly initialize data variables in generated code for fully defined data
hisl_0053: Configuration Parameters > Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values	Select removal of wrapping code to support verifiable generated code
hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against division arithmetic exceptions	Keep division protection code to guard against divide-by-zero exceptions
hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values	Clear min/max optimization to support traceability between model and generated code
hisl_0038: Configuration Parameters > Code Generation > Comments	Enable code generation comment parameters for traceability between code and model
hisl_0039: Configuration Parameters > Code Generation > Interface	Configure code generation interface parameters for high-integrity embedded systems
hisl_0047: Configuration Parameters > Code Generation > Code Style	Configure code style parameters for standards compliance and traceability
hisl_0049: Configuration Parameters > Code Generation > Identifiers	Set minimum mangle length to reduce identifier changes during code generation
hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants	Set variant-related diagnostic parameters to error for consistent simulation and code generation behavior