Checking Model Compliance

Checking Model Compliance

Runs Model Advisor checks for a named standard (or default configuration) and delivers a prioritized summary with fix suggestions.

When to Use

• Checking whether a Simulink model complies with a standard (MISRA, MAB, JMAAB, ISO 26262, DO-178C, etc.)
• Running Model Advisor checks against a named compliance standard
• Generating a compliance report with prioritized findings and fix suggestions
• Running a custom Model Advisor configuration file against a model
• Justifying or waiving specific compliance violations

When NOT to Use

• Building or editing model structure → building-simulink-models
• Writing behavioral tests → testing-simulink-models
• Structural validation only (unconnected ports) → model_check tool directly
• General model quality questions without a named standard (e.g., "is my model well decomposed?") — this requires a different workflow

Supported Standards

| Standard | Accepted Inputs |

|----------|----------------|

| MISRA C:2023 | MISRA_C, MISRA C, MISRA |

| MISRA Simulink/Stateflow | MISRA_SLSF, MISRA Simulink |

| MAB | MAB, MAAB |

| JMAAB v5.1 | JMAAB |

| JMAAB v6 | JMAAB_V6, JMAAB06 |

| ISO 26262 | ISO_26262, ISO 26262 |

| ISO 25119 | ISO_25119, ISO 25119 |

| DO-178C/DO-331 | DO_178C, DO-178C, DO-178B, DO-331 |

| DO-254 | DO_254, DO-254 |

| IEC 61508 | IEC_61508, IEC 61508 |

| IEC 62304 | IEC_62304, IEC 62304 |

| EN 50128/EN 50657 | EN_50128, EN 50128, EN_50657 |

| Secure Coding (CERT C, CWE) | SECURITY, CERT_C, CWE, secure coding |

| AUTOSAR | AUTOSAR |

Equivalent check sets (run once, report for both):

• ISO 26262, IEC 61508, IEC 62304, EN 50128/EN 50657, ISO 25119
• DO-178B, DO-178C, DO-331

Custom Checks and Configurations

Users may have custom Model Advisor checks or custom configuration files (.json exported from Model Advisor Configuration Editor). These are not standards — they are handled via:

• Custom configuration file: User provides a path → use model_advisor_run with 'configuration' parameter directly (Path B)
• Custom check IDs: User provides specific check IDs → use model_advisor_run with 'checks' parameter directly (skip resolution)

Prerequisites

All script functions are in the skill's scripts/ directory. Use evaluate_matlab_code with project_path set to the skill's scripts/ folder so MATLAB can find them. Never use addpath.

Tools provided (always use these — never improvise with raw Model Advisor API):

| Function | Inputs | Output | Example |

|----------|--------|--------|---------|

| model_advisor_resolve_checks | 'standard', '<NAME>' | struct with checks, checks_count, status | model_advisor_resolve_checks('standard', 'JMAAB') |

| model_advisor_run | system, 'checks', {ids} or system, 'configuration', path | YAML with findings, status, check_summary | model_advisor_run('MyModel', 'checks', checkIds, 'token_budget', 8000) |

| model_advisor_justify | model, checkId, blockPath, text | struct with status | model_advisor_justify('MyModel', 'mathworks.jmaab.db_0032', 'MyModel/Sub', 'Waived per review') |

| detect_default_config | modelName | struct with config_path or empty | detect_default_config('MyModel') |

Workflow

1. Identify Standard, Model, and Scope

Determine from user request:

• Standard — map to supported name (see table). Defaults: "MISRA" → MISRA_C. For "JMAAB" without version → ask user (v5.1 or v6)
• Model — .slx file (ask if ambiguous)
• Scope — full model (default) or subsystem path (e.g., Model/Controller)

Disambiguation rules:

• "JMAAB" without version specifier → ask (v5.1 or v6 — two distinct check sets)
• "ISO" without specifier → ask (multiple supported)
• "DO" without specifier → ask (178C vs 254)
• Multiple standards requested → resolve each, compare sets, run once if identical

2. Choose Path

Path A — Standard named: Proceed to step 3.

Path B — No standard, user says "run Model Advisor" / "check my model":

Run detect_default_config(modelName). If config found → skip to step 4. If empty → ask which standard (show supported list).

3. Resolve Checks (Path A only)

model_advisor_resolve_checks('standard', '<STANDARD_NAME>')

• status: success → note checks_count, inform user
• status: truncated → use returned config file path in step 4
• status: error → report and stop

Gate: If checks_count > 100, confirm with user before proceeding.

Shortcut: If the user already has specific check IDs, call model_advisor_run directly with those IDs and skip to step 5.

4. Run Checks

model_advisor_run('<system>', 'checks', {<check_ids>})          % inline checks
model_advisor_run('<system>', 'configuration', '<config_path>') % config file

Use 'token_budget', 8000. If truncated, read full results from full_results path.

5. Analyze Findings

Classify from YAML response:

• Critical (Failed) — must fix for compliance
• Warnings (Warning) — should fix, may be justifiable
• Informational — low priority

6. Present Compliance Report

## Compliance Summary: <Standard>
Model: <model> [Scope: <subsystem> if scoped]
Result: X passed, Y warnings, Z failures

### Critical Findings (must fix)
| Check | Blocks | Fix Type | Action |
|-------|--------|----------|--------|
| name  | N      | param/insert/config/routing/arch | what to change |

### Warnings (should fix)
| Check | Blocks | Fix Type | Action |
|-------|--------|----------|--------|

### Passed
N checks passed.

### Suggested Next Steps
[5-7 prioritized actions max]

Fix Type values: param (block parameter), insert (add block), config (model config), routing (reconnect signals), arch (restructure — recommend only)

Conciseness rules:

• One line per check; max 3-5 block paths shown per check (state total)
• Target 40-60 lines; max ~80
• Offer "I can list all affected blocks for check X" for detail

7. Agentic Review of Uncheckable Guidelines (JMAAB/MAB only)

For JMAAB, JMAAB_V6, or MAB standards → after Step 6, load and follow references/uncheckable-guidelines-review.md.

Skip this step for other standards (MISRA, ISO 26262, DO-178C, etc.).

8. Fix Mode

Ask: "Would you like me to fix these issues?"

• No → stop (report only)
• Yes → load and follow references/fix-mode.md workflow

9. Justification Mode

If user wants to justify/waive/suppress violations → load and follow the Justification section in references/fix-mode.md.

Guardrails

Always

• Show standard name + check count before running
• Include block paths in findings
• Follow Fix Order strictly (structural → diagnostic) to prevent cascading false failures
• Summarize, do not echo raw output
• Confirm with user before executing >=100 checks
• Ask the user for justification text before adding any justification — never fabricate rationale
• If a reference tool returns an error, report it verbatim — do not retry with alternative approaches
• Confirm which model to check if multiple .slx files are present or the name is ambiguous
• State the resolved standard name and version in the report header
• Report the exact check count from tool output
• When explaining failures, list all distinct root causes

Ask First

• Fix mode modifications — never modify model without per-batch confirmation
• Justification — always a human decision
• Running >100 checks — confirm scope is intentional

Never

• Claim "model IS compliant" — only report pass/fail; compliance determination is user's responsibility
• Escalate diagnostics before structural fixes
• Suppress findings without explicit request
• Guess parameter names — use exact parameter field from check output
• Modify the MATLAB path permanently (no savepath)
• Run slbuild or code generation without explicit user permission
• Re-run checks unnecessarily — reuse violation IDs from the most recent run if the model has not been modified since; only re-run to get fresh hashes if the model changed

Error Recovery

| Error | Action |

|-------|--------|

| UNKNOWN_STANDARD | Check for typo/alias (e.g., "MAAB" → MAB). If valid but unsupported standard, acknowledge and show supported list. |

| LICENSE_FAILED | Simulink Check license required |

| MODEL_NOT_FOUND | Ask for correct model path |

| CHECK_NOT_FOUND | Release mismatch — tell user which MATLAB release needed |

| CONFIG_NOT_FOUND | Stale path — ask for update or fall back to named standard |

| EXECUTION_FAILED | Model may have compilation errors — suggest fixing first |

| Token budget exceeded | Read full results from full_results field |

| HASH_NOT_FOUND (justify) | Model modified since last run — re-run checks for fresh ids |

| JUSTIFICATION_FILE_ERROR | Check file permissions and license |