SuperAPI AI 工具集

checking-model-compliance

通用与其它

查看项目

更新于 10-16 00:21

技能介绍

用途:检查 Simulink 模型是否符合指定合规标准,运行 Model Advisor 检查并生成带优先级和修复建议的合规报告,也可运行自定义 Model Advisor 配置或指定检查项,并对违规进行豁免说明。

主要能力:支持 MISRA C:2023、MISRA Simulink/Stateflow、MAB、JMAAB v5.1/v6、ISO 26262、ISO 25119、DO-178C/DO-331、DO-254、IEC 61508、IEC 62304、EN 50128/EN 50657、CERT C/CWE、AUTOSAR、SLCI 等标准;提供 model_advisor_resolve_checks、model_advisor_run、model_advisor_justify、detect_default_config 等函数;对 MAB/JMAAB 额外执行基于 LLM 的不可检查准则语义评审。

使用方式:脚本位于技能 scripts/ 目录,需用 evaluate_matlab_code 并设置 project_path 指向该目录,不要使用 addpath。先解析标准与检查项,再运行检查(token_budget 建议 8000),分析结果后按模板输出报告;超过 100 项检查需先确认。

适用场景:模型合规审查、生成合规报告、运行自定义配置、豁免违规。

限制:不用于建模、编写行为测试或仅做结构校验;需 Simulink Check 许可证;不得声称模型“已合规”,合规判定由用户负责;修复模型需逐批确认;不猜测参数名,不永久修改 MATLAB 路径,未经许可不运行 slbuild 或代码生成。