配置参数注意事项

R2026b
求解器、诊断和优化设置

对求解器、诊断和优化设置应用高完整性规范。

建模规范

全部展开

hisl_0040:配置参数 > 求解器 > 仿真时间Set simulation start and stop time parameters for production code generation
hisl_0041:配置参数 > 求解器 > 求解器选项Configure fixed-step discrete solver for production code generation
hisl_0042:配置参数 > 求解器 > 任务和采样时间选项Configure explicit rate transitions for multitasking models with preemptive operating systems
hisl_0045:配置参数 > 数学和数据类型 > 将逻辑信号实现为布尔数据(而不是双精度数据)Enable Boolean type checking to support unambiguous logical operator behavior
hisl_0048:配置参数 > 数学和数据类型 > 应用程序生命周期(天)Set application lifespan to infinity for systems that run continuously
hisl_0013:数据存储内存的使用Set data store memory diagnostics to error to identify communication issues
hisl_0036:配置参数 > 诊断 > 保存Set saving configuration parameters to error to prevent unexpected results
hisl_0043:配置参数 > 诊断 > 求解器Set solver diagnostic parameters to detect configuration issues that could impact code generation
hisl_0044:配置参数 > 诊断 > 采样时间Set sample time diagnostic parameters to error to support robust code generation
hisl_0301:配置参数 > 诊断 > 兼容性Set S-function upgrades diagnostic to error to improve design robustness
hisl_0302:配置参数 > 诊断 > 数据有效性 > 参数Set data validity parameter diagnostics to error to improve design robustness
hisl_0303:配置参数 > 诊断 > 数据有效性 > Merge 模块Set Merge block driving blocks diagnostic to error to improve design robustness
hisl_0304:配置参数 > 诊断 > 数据有效性 > 模型初始化Set underspecified initialization detection to simplified to improve design robustness
hisl_0305:配置参数 > 诊断 > 数据有效性 > 调试Set Model Verification block enabling to disable all to improve design robustness
hisl_0306:配置参数 > 诊断 > 连接性 > 信号Set connectivity signal diagnostics to error to improve design robustness
hisl_0307:配置参数 > 诊断 > 连接性 > 总线Set connectivity bus diagnostics to error to improve design robustness
hisl_0308:配置参数 > 诊断 > 连接性 > 函数调用Set context-dependent inputs diagnostic to error to improve design robustness
hisl_0309:配置参数 > 诊断 > 类型转换Set type conversion diagnostics to detect unsafe conversions and improve design robustness
hisl_0310:配置参数 > 诊断 > 模型引用Set model referencing diagnostics to error to improve design robustness
hisl_0311:配置参数 > 诊断 > StateflowSet Stateflow diagnostics to error to improve design robustness and promote clear modeling style
hisl_0314:配置参数 > 诊断 > 数据有效性 > 信号Set data validity signal diagnostics to error to improve design robustness
hisl_0071:配置参数 > 硬件实现 > 不一致的硬件实现设置Ensure consistent hardware implementation settings between production and test hardware
hisl_0037:配置参数 > 模型引用Configure model referencing parameters for consistent code generation
hisl_0052:配置参数 > 代码生成 > 优化 > 数据初始化Explicitly initialize data variables in generated code for fully defined data
hisl_0053:配置参数 > 代码生成 > 优化 > 删除从浮点到整数转换中将超出范围值绕回的代码Select removal of wrapping code to support verifiable generated code
hisl_0054:配置参数 > 代码生成 > 优化 > 删除防止除法算术异常的代码Keep division protection code to guard against divide-by-zero exceptions
hisl_0056:配置参数 > 代码生成 > 优化 > 使用指定的最小值和最大值进行优化Clear min/max optimization to support traceability between model and generated code
hisl_0038:配置参数 > 代码生成 > 注释Enable code generation comment parameters for traceability between code and model
hisl_0039:配置参数 > 代码生成 > 接口Configure code generation interface parameters for high-integrity embedded systems
hisl_0047:配置参数 > 代码生成 > 代码样式Configure code style parameters for standards compliance and traceability
hisl_0049:配置参数 > 代码生成 > 标识符Set minimum mangle length to reduce identifier changes during code generation
hisl_0074:配置参数 > 诊断 > 与变体相关的建模问题Set variant-related diagnostic parameters to error for consistent simulation and code generation behavior