Checking Model Compliance
Use this skill when the user asks to check Simulink model compliance against a standard...
Install
npx skills add matlab/simulink-agentic-toolkit --skill checking-model-compliance -g -a claude-code -y- Repository
- matlab/simulink-agentic-toolkit1.3k
- Category
- Engineering
- Updated
- 6d ago
- License
- See repository
- Context cost
- Mediumabout 2,983 tokens
- Runs scripts
- No, instructions only
What it does
Use this skill when the user asks to check Simulink model compliance against a standard (MISRA, MAB, JMAAB, ISO, DO, IEC, EN, CERT C/CWE, AUTOSAR, Simulink Code Inspector (SLCI)), wants to run Model Advisor checks, or needs a compliance report with fix suggestions. For JMAAB/MAB, supplement deterministic checks with agentic review of uncheckable guidelines.
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_checktool 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 |
| Simulink Code Inspector (SLCI) | SLCI, Simulink Code Inspector |
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
