Video Tutorials

Common EverCheck workflows,
one short video at a time

Nine tutorials on a real Simulink model. Watch in order for the full workflow, or jump straight to the topic you need. More videos on individual guidelines are on the way.

Getting Started with EverCheck

An overview of EverCheck — what it checks, how it works and what the verification report looks like. The right starting point before diving into the tutorials.

Watch → #

Checking a Simulink Model

See how to run EverCheck on a Simulink model, review violations with direct links to the noncompliant blocks, apply automated fixes and generate the verification report.

Watch → #

Checking a Stateflow Chart

See how EverCheck checks Stateflow charts — violations flagged with links to the noncompliant objects, automated fixes applied and the verification report generated.

Watch → #

Setting Up EverCheck

Point EverCheck at any Simulink subsystem or library — it reads the model structure and prepares the full analysis immediately. No scripts, no setup files, no waiting.

Watch → #

Automated Guideline Checks

Run static checks derived from MAAB, NASA, MISRA AC SLSF and ISO 26262. Every violation is reported with its exact model location and the correction required.

Watch → #

Configuring Your Check Set

Select which checks to run in the GUI, then export the configuration to a single file so the whole team runs exactly the same checks, every time.

Watch → #

One-Click Automated Fixes

EverCheck fixes most guideline violations automatically — one click applies the correction directly to the model. Re-run the checks to confirm it's clean.

Watch → #

Exclusion Handling by SID

Exclude specific violations with a documented justification, stored in the model and tracked by System ID — reused across libraries, flagged automatically if a change makes one obsolete.

Watch → #

The Verification Report

A single self-contained HTML report — opens in any browser, no MATLAB required. Full model hierarchy, color-coded results and every documented exclusion, ready for audit.

Watch → #

Go Deeper

Beyond the tutorials

Next: EverTest Tutorials

From your first test harness to back-to-back SIL verification — 24 short videos.

Continue → #

Tool qualification

What ISO 26262 tool qualification means in practice — Tool Impact, error detection and the resulting Tool Confidence Level — and what the EverCheck qualification kit delivers out of the box to simplify qualification on your side.

Read → #

The safe MBD workflow

Every stage of the ISO 26262 V-model in one guide, with EverCheck, EverTest and EverView mapped onto each clause — the big picture that connects all the tutorials on this page.

Open → #

EverCheck for Model-Based Design
— Static Analysis, Step by Step

Common EverCheck workflows,
one short video at a time

Getting Started with EverCheck

Checking a Simulink Model

Checking a Stateflow Chart

Setting Up EverCheck

Automated Guideline Checks

Configuring Your Check Set

One-Click Automated Fixes

Exclusion Handling by SID

The Verification Report

Beyond the tutorials

Next: EverTest Tutorials

Tool qualification

The safe MBD workflow

Talk to the people who build the tools

EverCheck for Model-Based Design— Static Analysis, Step by Step

Common EverCheck workflows,one short video at a time

Getting Started with EverCheck

Checking a Simulink Model

Checking a Stateflow Chart

Setting Up EverCheck

Automated Guideline Checks

Configuring Your Check Set

One-Click Automated Fixes

Exclusion Handling by SID

The Verification Report

Beyond the tutorials

Next: EverTest Tutorials

Tool qualification

The safe MBD workflow

Talk to the people who build the tools

EverCheck for Model-Based Design
— Static Analysis, Step by Step

Common EverCheck workflows,
one short video at a time