用途：为 Simulink 和 System Composer 模型编写或升级 Model Advisor 检查，把建模约束（如“模块应……”“信号必须匹配……”）转化为可执行的合规规则，覆盖准则编写、检查规格、检查实现与测试验证的完整生命周期。
主要能力：支持编写建模准则文档、生成检查规格、按标准/编辑时/配置参数/格式模板等模式实现检查、注册到 sl_customization.m，并生成测试规格与测试用例进行验证；提供准则、检查规格、测试规格等模板，以及 blocks、signals、Stateflow、数据解析、代码分析、System Composer 等 API 参考。
使用方式：作为单一入口，按意图进入对应步骤。提到“测试/验证检查”进入测试步骤；提到“编写/创建检查”会先询问是否同时创建正式准则文档，再进入检查步骤；提到“创建准则/强制/编写标准”进入完整流程。流程中设有准则 ID 与范围、检查规格、测试计划三个评审点，以及准则与测试之间的条件门；用户可要求跳过确认直接执行。检查实现后需用 check_matlab_code 验证至 0 警告/错误；测试失败最多重试 3 次，仍失败则如实报告。用户中途说“停止”会删除当前未完成步骤的产物，保留已完成步骤产物并给出最终报告。
适用场景：需要把建模标准、合规规则或建模约束固化为 Model Advisor 检查，并希望同时获得准则文档与测试验证的工程团队。
限制：不适用于对已有模型做事后合规检查（应使用 checking-model-compliance）、无强制约束的普通建模（应使用 building-simulink-models），或运行已有检查与查看结果（应直接使用 Model Advisor）。具体安装命令、收费与平台信息暂未提供。